Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908804030922752 |
|---|---|
| author | Oliveira, Samuel Anbarani, Mostafa Tavakkoli Beal, Gregory Kovalenko, Ilya Teixeira, Marcelo Leal, André B. Meira-Góes, Rômulo |
| author_facet | Oliveira, Samuel Anbarani, Mostafa Tavakkoli Beal, Gregory Kovalenko, Ilya Teixeira, Marcelo Leal, André B. Meira-Góes, Rômulo |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_11405 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks Oliveira, Samuel Anbarani, Mostafa Tavakkoli Beal, Gregory Kovalenko, Ilya Teixeira, Marcelo Leal, André B. Meira-Góes, Rômulo Systems and Control 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. |
| title | Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2510.11405 |