Sherif Abdelwahed

CoRR, 2020

Model-based risk assessment for cyber physical systems security.

[BibT_eX]

[DOI]

Comput. Secur., 2020

A Review of Non-Lane Road Marking Detection and Recognition.

[BibT_eX]

[DOI]

Adam Morrissett

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

A Neural Network-based Model Predictive Control Approach for Buildings Comfort Management.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Smart Cities Conference, 2020

2019

Learning-based Model Predictive Control for Smart Building Thermal Management.

[BibT_eX]

[DOI]

CoRR, 2019

Optimized energy utilization in small and large commercial loads and residential areas.

[BibT_eX]

[DOI]

Hayder O. Alwan

Hamidreza Sadeghian

CoRR, 2019

Urban Traffic Network Control in Smart Cities; a Distributed Model-based Control Approach.

[BibT_eX]

[DOI]

CoRR, 2019

Indirect Adaptive Fuzzy Model Predictive Control of a Rotational Inverted Pendulum.

[BibT_eX]

[DOI]

CoRR, 2019

Distributed Model Predictive Control based on Goal Coordination for Multi zone Building Temperature Control.

[BibT_eX]

[DOI]

CoRR, 2019

Distributed Model Predictive Control for Intelligent Traffic System.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

A Modified Layer of Protection Analysis for Cyber-Physical Systems Security.

[BibT_eX]

[DOI]

Ashraf Tantawy

Proceedings of the 4th International Conference on System Reliability and Safety, 2019

A Physical Testbed for Intelligent Transportation Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Human System Interaction, 2019

Rotational Inverted Pendulum Controller Design using Indirect Adaptive Fuzzy Model Predictive Control.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019

A testbed for a smart building: design and implementation.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on International Science of Smart City Operations and Platforms Engineering, 2019

Health Monitoring in Smart Homes Utilizing Internet of Things.

[BibT_eX]

[DOI]

Lauren Linkous

Nasibeh Zohrabi

Proceedings of the 4th IEEE/ACM International Conference on Connected Health: Applications, 2019

2018

Model-Based Response Planning Strategies for Autonomic Intrusion Protection.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2018

A Survey on Fault Detection, Isolation, and Reconfiguration Methods in Electric Ship Power Systems.

[BibT_eX]

[DOI]

Maziar Babaei

Jian Shi

IEEE Access, 2018

Indirect Adaptive fuzzy Controller Design for a Rotational Inverted Pendulum.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

A Physical Testbed for Smart City Research.

[BibT_eX]

[DOI]

Adam Morrissett

Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, 2018

2017

An Evaluation of Selection Method in the Classification of Scada Datasets Based on the Characteristics of the Data and Priority of Performance.

[BibT_eX]

[DOI]

Jaime Yeckle

Proceedings of the International Conference on Compute and Data Analysis, 2017

Towards Realizing a Distributed Event and Intrusion Detection System.

[BibT_eX]

[DOI]

Proceedings of the Future Network Systems and Security - Third International Conference, 2017

Active Malware Countermeasure Approach for Mission Critical Systems.

[BibT_eX]

[DOI]

Zachary Thomas

Proceedings of the 15th IEEE Intl Conf on Dependable, 2017

A Comparison of Graph-Based Synthetic Data Generators for Benchmarking Next-Generation Intrusion Detection Systems.

[BibT_eX]

[DOI]

Hisham A. Kholidy

Amrita Dhakal Ghimire

Rui Jia

Ioana Banicescu

Proceedings of the 2017 IEEE International Conference on Cluster Computing, 2017

On the application of distributed control structure for medium-voltage DC shipboard power system.

[BibT_eX]

[DOI]

Nasibeh Zohrabi

Proceedings of the IEEE Conference on Control Technology and Applications, 2017

2016

Model-based autonomic security management for cyber-physical infrastructures.

[BibT_eX]

[DOI]

Int. J. Crit. Infrastructures, 2016

Towards an autonomic performance management approach for a cloud broker environment using a decomposition-coordination based methodology.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2016

A risk mitigation approach for autonomous cloud intrusion response system.

[BibT_eX]

[DOI]

Computing, 2016

High-Performance Intrusion Response Planning on Many-Core Architectures.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Computer Communication and Networks, 2016

Towards Autonomic Intrusion Response Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

A Probabilistic Approach to Autonomic Security Management.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

Towards Autonomic Security Management of Healthcare Information Systems.

[BibT_eX]

[DOI]

Jonathan Lambright

Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

Robust integral sliding mode control for Markovian jump systems: A singular system approach.

[BibT_eX]

[DOI]

Nasibeh Zohrabi

Amir Hossein Abolmasoumi

Hamid Reza Momeni

Proceedings of the 2016 American Control Conference, 2016

2015

A Power-Aware Autonomic Approach for Performance Management of Scientific Applications in a Data Center Environment.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Data Centers, 2015

A Predictive Control Approach for Fault Management of Computing Systems.

[BibT_eX]

[DOI]

Rui Jia

SIGMETRICS Perform. Evaluation Rev., 2015

Towards Proactive Fault Management of Enterprise Systems.

[BibT_eX]

[DOI]

Rui Jia

Proceedings of the 2015 International Conference on Cloud and Autonomic Computing, 2015

2014

A Model-Based Validated Autonomic Approach to Self-Protect Computing Systems.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2014

Towards autonomic performance management of large scale data centers using interaction balance principle.

[BibT_eX]

[DOI]

Rajat Mehrotra

Clust. Comput., 2014

An Interaction Balance Based Approach for Autonomic Performance Management in a Cloud Computing Environment.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Resource Management and Scheduling for Cloud Computing, 2014

QoS Optimization for Cloud Service Composition Based on Economic Model.

[BibT_eX]

[DOI]

Proceedings of the Internet of Things. User-Centric IoT, 2014

A Model-based Approach to Self-Protection in SCADA Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Feedback Computing, 2014

A Finite Context Intrusion Prediction Model for Cloud Systems with a Probabilistic Suffix Tree.

[BibT_eX]

[DOI]

Proceedings of the 2014 European Modelling Symposium, Pisa, Italy, October 21-23, 2014, 2014

A Finite State Hidden Markov Model for Predicting Multistage Attacks in Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 12th International Conference on Dependable, 2014

Towards realizing self-protecting SCADA systems.

[BibT_eX]

[DOI]

Proceedings of the Cyber and Information Security Research Conference, 2014

A component-based framework for autonomic performance management in a distributed computing environment.

[BibT_eX]

[DOI]

Rajat Mehrotra

Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

Online risk assessment and prediction models for Autonomic Cloud Intrusion srevention systems.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

2013

A Distributed Control Approach for Autonomic Performance Management in Cloud Computing Environment.

[BibT_eX]

[DOI]

Rajat Mehrotra

Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

Towards Model-based Management of Database Fragmentation.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Feedback Computing, 2013

Towards automatic security management: a model-based approach.

[BibT_eX]

[DOI]

Weston Monceaux

Proceedings of the Cyber Security and Information Intelligence, 2013

HA-CIDS: A Hierarchical and Autonomous IDS for Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Computational Intelligence, 2013

A model-based approach to self-protection in computing system.

[BibT_eX]

[DOI]

Proceedings of the ACM Cloud and Autonomic Computing Conference, 2013

2012

Power-Aware Modeling and Autonomic Management Framework for Distributed Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Energy-Aware and Green Computing - Two Volume Set., 2012

2010

Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS 2010, 2010

2009

On the application of predictive control techniques for adaptive performance management of computing systems.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2009

Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models.

[BibT_eX]

[DOI]

Nagabhushan Mahadevan

Stanley C. Ofsthun

IEEE Trans. Instrum. Meas., 2009

Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2009

Performance modeling of distributed multi-tier enterprise systems.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2009

A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata.

[BibT_eX]

[DOI]

Nikil D. Dutt

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems.

[BibT_eX]

[DOI]

Abhishek Dubey

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Modeling and Analysis of Probabilistic Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

An Efficient Finite-Input Receding Horizon Control Method and Its Application for the Pneumatic Hopping Robot.

[BibT_eX]

[DOI]

Jian Wu

J. Comput., 2008

2007

A self-managing wide-area data streaming service.

[BibT_eX]

[DOI]

Clust. Comput., 2007

Discrete-input receding horizon control applied to pneumatic hopping robot energy regulation.

[BibT_eX]

[DOI]

Jian Wu

Proceedings of the IEEE International Conference on Systems, 2007

Fault-Adaptive Control for Robust Performance Management of Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Autonomic Computing (ICAC'07), 2007

Performance estimation of distributed real-time embedded systems by discrete event simulations.

[BibT_eX]

[DOI]

Nikil D. Dutt

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

Verifying distributed real-time properties of embedded systems via graph transformations and model checking.

[BibT_eX]

[DOI]

Douglas C. Schmidt

Real Time Syst., 2006

A Semantic Unit for Timed Automata Based Modeling Languages.

[BibT_eX]

[DOI]

Kai Chen

Janos Sztipanovits

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

A Hierarchical Optimization Framework for Autonomic Performance Management of Distributed Computing Systems.

[BibT_eX]

[DOI]

Mohit Khandekar

Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

Enabling Self-Managing Applications using Model-based Online Control Strategies.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Autonomic Computing, 2006

A practical stability analysis for a class of switching systems with uncertain parameters.

[BibT_eX]

[DOI]

Rong Su

Proceedings of the American Control Conference, 2006

2005

An online predictive control framework for designing self-managing computing systems.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2005

Model-based analysis of distributed real-time embedded system composition.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

Semantic Anchoring with Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2005

An Online Control Framework for Designing Self-Optimizing Computing Systems: Application to Power Management.

[BibT_eX]

[DOI]

Proceedings of the Self-star Properties in Complex Information Systems, 2005

A model-based design framework to achieve end-to-end QoS management.

[BibT_eX]

[DOI]

Sujata Mujumdar

Nagabhushan Mahadevan

Sandeep Neema

Proceedings of the 43nd Annual Southeast Regional Conference, 2005

2004

A control-based framework for self-managing distributed computing systems.

[BibT_eX]

[DOI]

Sandeep Neema

Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

A Model-Based Approach to Designing QoS Adaptive Applications.

[BibT_eX]

[DOI]

Nagabhushan Mahadevan

Michael A. Koets

Denise Varner

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Automatic Verification of Component-Based Real-Time CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Online Control for Self-Management in Computing Systems.

[BibT_eX]

[DOI]

Sandeep Neema

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Self-Optimization in Computer Systems via On-Line Control: Application to Power Management.

[BibT_eX]

[DOI]

John P. Hayes

Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

2003

Discrete abstraction and supervisory control of switching systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2003

Interacting DES: modelling and analysis.

[BibT_eX]

[DOI]

Walter Murray Wonham

Proceedings of the IEEE International Conference on Systems, 2003

Online control design for QoS management.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2003

A Hybrid Control Design for QoS Management.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Blocking detection in discrete event systems.

[BibT_eX]

[DOI]

Walter Murray Wonham

Proceedings of the American Control Conference, 2003

2002

Supervisory control of interacting discrete event systems.

[BibT_eX]

[DOI]

W. M. Wonham

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Online safety control of a class of hybrid systems.

[BibT_eX]

[DOI]