Causality for Cyber-Physical Systems
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912382897356800 |
|---|---|
| author | Araujo, Hugo Chockler, Hana Mousavi, Mohammad Reza Carvalho, Gustavo Sampaio, Augusto |
| author_facet | Araujo, Hugo Chockler, Hana Mousavi, Mohammad Reza Carvalho, Gustavo Sampaio, Augusto |
| contents | We present a formal theory for analysing causality in cyber-physical systems. To this end, we extend the theory of actual causality by Halpern and Pearl to cope with the continuous nature of cyber-physical systems. Based on our theory, we develop an analysis technique that is used to uncover the causes for examples of failures resulting from verification, which are represented as continuous trajectories. We develop a search-based technique to efficiently produce such causes and provide an implementation for such a technique. Moreover, we apply our solution to case studies (a suspension system and a connected platoon) and benchmark systems to evaluate its effectiveness; in the experiment, we show that we were able to detect causes for inserted faults. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_13475 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Causality for Cyber-Physical Systems Araujo, Hugo Chockler, Hana Mousavi, Mohammad Reza Carvalho, Gustavo Sampaio, Augusto Logic in Computer Science Cryptography and Security Systems and Control We present a formal theory for analysing causality in cyber-physical systems. To this end, we extend the theory of actual causality by Halpern and Pearl to cope with the continuous nature of cyber-physical systems. Based on our theory, we develop an analysis technique that is used to uncover the causes for examples of failures resulting from verification, which are represented as continuous trajectories. We develop a search-based technique to efficiently produce such causes and provide an implementation for such a technique. Moreover, we apply our solution to case studies (a suspension system and a connected platoon) and benchmark systems to evaluate its effectiveness; in the experiment, we show that we were able to detect causes for inserted faults. |
| title | Causality for Cyber-Physical Systems |
| topic | Logic in Computer Science Cryptography and Security Systems and Control |
| url | https://arxiv.org/abs/2505.13475 |