Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916176000450560 |
|---|---|
| author | Zhang, Changjian Kapoor, Parv Meira-Goes, Romulo Garlan, David Kang, Eunsuk Ganlath, Akila Mishra, Shatadal Ammar, Nejib |
| author_facet | Zhang, Changjian Kapoor, Parv Meira-Goes, Romulo Garlan, David Kang, Eunsuk Ganlath, Akila Mishra, Shatadal Ammar, Nejib |
| contents | The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities. A critical attribute of CPS is robustness, denoting its capacity to operate safely despite potential disruptions and uncertainties in the operating environment. This paper proposes a novel specification-based robustness, which characterizes the effectiveness of a controller in meeting a specified system requirement, articulated through Signal Temporal Logic (STL) while accounting for possible deviations in the system. This paper also proposes the robustness falsification problem based on the definition, which involves identifying minor deviations capable of violating the specified requirement. We present an innovative two-layer simulation-based analysis framework designed to identify subtle robustness violations. To assess our methodology, we devise a series of benchmark problems wherein system parameters can be adjusted to emulate various forms of uncertainties and disturbances. Initial evaluations indicate that our falsification approach proficiently identifies robustness violations, providing valuable insights for comparing robustness between conventional and reinforcement learning (RL)-based controllers |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_07462 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations Zhang, Changjian Kapoor, Parv Meira-Goes, Romulo Garlan, David Kang, Eunsuk Ganlath, Akila Mishra, Shatadal Ammar, Nejib Systems and Control Logic in Computer Science Software Engineering The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities. A critical attribute of CPS is robustness, denoting its capacity to operate safely despite potential disruptions and uncertainties in the operating environment. This paper proposes a novel specification-based robustness, which characterizes the effectiveness of a controller in meeting a specified system requirement, articulated through Signal Temporal Logic (STL) while accounting for possible deviations in the system. This paper also proposes the robustness falsification problem based on the definition, which involves identifying minor deviations capable of violating the specified requirement. We present an innovative two-layer simulation-based analysis framework designed to identify subtle robustness violations. To assess our methodology, we devise a series of benchmark problems wherein system parameters can be adjusted to emulate various forms of uncertainties and disturbances. Initial evaluations indicate that our falsification approach proficiently identifies robustness violations, providing valuable insights for comparing robustness between conventional and reinforcement learning (RL)-based controllers |
| title | Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations |
| topic | Systems and Control Logic in Computer Science Software Engineering |
| url | https://arxiv.org/abs/2311.07462 |