Control of cyber-physical-systems with logic specifications: A formal methods approach

G Pola, MD Di Benedetto - Annual Reviews in Control, 2019 - Elsevier
There is a growing interest in Industry and Academia in large scale composite systems
where a number of physical processes are interfaced with intelligent units that control them …

Control of cyber-physical systems

DC Tarraf - Proc. of Lecture Notes in Control and Information …, 2013 - Springer
This volume brings together 19 invited papers presented at the Workshop on Control of
Cyber-Physical Systems, held at The Johns Hopkins University in Baltimore, USA on March …

Guest editorial special issue on secure control of cyber-physical systems

P Cheng, L Shi, B Sinopoli - IEEE Transactions on Control of …, 2017 - ieeexplore.ieee.org
The papers in this special section focus on inititives to security cyber-physical systems. The
integration of computation, communication, and control units has led to the birth and rapid …

Recent advances on formal methods for safety and security of cyber-physical systems

X Yin, S Li - Control Theory and Technology, 2020 - Springer
Cyber-physical systems (CPSs) are engineering systems with both computational and
physical components [1]. Typical CPSs include energy systems, transportation systems …

Position paper on the challenges posed by modern applications to cyber-physical systems theory

F Allgöwer, JB de Sousa, J Kapinski… - Nonlinear Analysis …, 2019 - Elsevier
Cyber-physical systems theory offers a powerful framework for modeling, analyzing, and
designing real engineering systems integrating communication, control, and computation …

[PDF][PDF] Cyber-physical systems: a confluence of cutting edge technological streams

P Guturu, B Bhargava - … conference on advances in computing and …, 2011 - cs.purdue.edu
Cyber-Physical Systems (CPS), the complex closed-loop control system that operates by
close coordination of the physical components and computational entities through …

A brief survey of security approaches for cyber-physical systems

E Bou-Harb - 2016 8th IFIP International Conference on New …, 2016 - ieeexplore.ieee.org
The security of Cyber-Physical Systems (CPS) has been recently receiving significant
attention from the research community. To this end, this paper sheds the light on a number of …

[PDF][PDF] Analysis and design of cyber-physical systems. a hybrid control systems approach

RG Sanfelice - Cyber-physical systems: From theory to …, 2016 - hybrid.soe.ucsc.edu
Cyber-physical systems combine digital and analog devices, interfaces, networks, computer
systems, and the like with the natural and man-made physical world. The inherent …

A comprehensive overview of cyber-physical systems: From perspective of feedback system

X Guan, B Yang, C Chen, W Dai… - IEEE/CAA Journal of …, 2016 - ieeexplore.ieee.org
Cyber-physical systems (CPS) are characterized by integrating cybernetic and physical
processes. The theories and applications of CPS face the enormous challenges. The aim of …

Cyber-physical systems-concept, challenges and research areas

T Sanislav, L Miclea - Journal of Control Engineering and Applied …, 2012 - ceai.srait.ro
Abstract Cyber-Physical Systems (CPSs) represent an emerging research area that has
attracted the attention of many researchers. Starting from the definition of CPS, the paper …