Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks
Preprint
Abstract
Critical real-world applications strongly rely on Cyber-physical systems (CPS), but their dependence on communication networks introduces significant security risks, as attackers can exploit vulnerabilities to compromise their integrity and availability. This work explores the topic of cybersecurity in the context of CPS modeled as discrete event systems (DES), focusing on recovery strategies following the detection of cyberattacks. Specifically, we address actuator enablement attacks and propose a method that preserves the system's full valid behavior under normal conditions. Upon detecting an attack, our proposed solution aims to guide the system toward a restricted yet robust behavior, ensuring operational continuity and resilience. Additionally, we introduce a property termed AE-robust recoverability, which characterizes the necessary and sufficient conditions for recovering a system from attacks while preventing further vulnerabilities. Finally, we showcase the proposed solution through a case study based on a manufacturing system.Keywords
All Related Versions
This publication has 15 references indexed in Scilit:
- Integrity of Cyber-Physical Discrete Event Systems under covert actuator attacksIFAC-PapersOnLine, 2024
- Synthesis of resilient fallback control system under cyber-attacks via supervisory controlAdvanced Robotics, 2024
- A classification of cybersecurity strategies in the context of Discrete Event SystemsAnnual Reviews in Control, 2023
- Model verification of fallback control system under cyberattacks via UPPAALAdvanced Robotics, 2022
- Dealing with sensor and actuator deception attacks in supervisory controlAutomatica, 2022
- Synthesis of sensor deception attacks at the supervisory layer of Cyber–Physical SystemsAutomatica, 2020
- Synthesis of covert actuator attackers for freeDiscrete Event Dynamic Systems, 2020
- Detection and mitigation of classes of attacks in supervisory control systemsAutomatica, 2018
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterationsAutomatica, 2018
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observationMathematics of Control, Signals, and Systems, 1989