A survey of cyber attacks on cyber physical systems: Recent advances and challenges
W Duo, MC Zhou, A Abusorrah - IEEE/CAA Journal of …, 2022 - ieeexplore.ieee.org
A cyber physical system (CPS) is a complex system that integrates sensing, computation,
control and networking into physical processes and objects over Internet. It plays a key role …
control and networking into physical processes and objects over Internet. It plays a key role …
A Survey on Resilience in Information Sharing on Networks: Taxonomy and Applied Techniques
AS Batista, AL Santos - ACM Computing Surveys, 2024 - dl.acm.org
Information sharing is vital in any communication network environment to enable network
operating services take decisions based on the information collected by several deployed …
operating services take decisions based on the information collected by several deployed …
Synthesis of covert actuator and sensor attackers
In this work, we shall investigate the problem of covert attacker synthesis in the framework of
supervisory control of discrete-event systems. Intuitively, the covertness property says that …
supervisory control of discrete-event systems. Intuitively, the covertness property says that …
Detection of actuator enablement attacks by Petri nets in supervisory control systems
Z Yu, X Duan, X Cong, X Li, L Zheng - Mathematics, 2023 - mdpi.com
The feedback control system with network-connected components is vulnerable to
cyberattacks. We study a problem of attack detection in supervisory control of discrete-event …
cyberattacks. We study a problem of attack detection in supervisory control of discrete-event …
Assessing the impact of cybersecurity attacks on energy systems
This paper investigates the cyber resiliency of future power systems with high penetration of
distributed energy resources using advanced distributed and (or) hierarchical control …
distributed energy resources using advanced distributed and (or) hierarchical control …
Synthesis of covert actuator attackers for free
In this paper, we shall formulate and address a problem of covert actuator attacker synthesis
for cyber-physical systems that are modeled by discrete-event systems. We assume the …
for cyber-physical systems that are modeled by discrete-event systems. We assume the …
Sensor deception attacks against security in supervisory control systems
J Yao, S Li, X Yin - Automatica, 2024 - Elsevier
This paper investigates the problem of synthesizing sensor deception attacks against
security in the context of supervisory control of discrete-event systems (DES). We consider a …
security in the context of supervisory control of discrete-event systems (DES). We consider a …
Supervisor obfuscation against actuator enablement attack
In this paper, we propose and address the problem of supervisor obfuscation against
actuator enablement attack, in a common setting where the actuator attacker can eavesdrop …
actuator enablement attack, in a common setting where the actuator attacker can eavesdrop …
Towards bounded synthesis of resilient supervisors
In this paper, we investigate the security approach of synthesizing resilient supervisors
against combined actuator and sensor attacks, for the subclass of cyber-physical systems …
against combined actuator and sensor attacks, for the subclass of cyber-physical systems …
Synthesis of optimal multiobjective attack strategies for controlled systems modeled by probabilistic automata
R Meira-Góes, RH Kwong… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
In this article, we study the security of control systems in the context of the supervisory
control layer of stochastic discrete-event systems. Control systems heavily rely on correct …
control layer of stochastic discrete-event systems. Control systems heavily rely on correct …