G Wu, J Sun, J Chen - Control Theory and Technology, 2016 - Springer
Cyber-physical systems (CPSs) are integrations of computation, communication, control and physical processes. Typical examples where CPSs are deployed include smart grids, civil …
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, ie, attacks targeting physical …
This paper presents a bibliographical review of definitions, classifications and applications concerning cyber attacks in networked control systems (NCSs) and cyber-physical systems …
H Sandberg, S Amin… - IEEE Control Systems …, 2015 - ieeexplore.ieee.org
This special issue provides an introduction to cyberphysical security of networked control systems (NCSs) and summarizes recent progress in applying fundamentals of 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 …
Cyber-physical systems are integrations of computation, networking, and physical processes. Due to the tight cyber-physical coupling and to the potentially disrupting …
Attacker models are a fundamental part of research on security of any system. For different application scenarios, suitable attacker models have to be chosen to allow comprehensive …
Y Chen, S Kar, JMF Moura - IEEE Transactions on Control of …, 2017 - ieeexplore.ieee.org
This paper studies an attacker against a cyber-physical system (CPS) whose goal is to move the state of a CPS to a target state while ensuring that his or her probability of being detected …
The last years have elevated the importance of cyber–physical systems like IoT applications, smart cars, or industrial control systems, and, therefore, these systems have also come into …