Data-Driven Safety Verification of Complex Cyber-Physical Systems
| Title | Data-Driven Safety Verification of Complex Cyber-Physical Systems |
| Publication Type | Book Chapter |
| Year of Publication | 2019 |
| Authors | Chuchu Fan, Sayan Mitra |
| Secondary Authors | Al Faruque, Mohammad Abdullah, Canedo, Arquimedes |
| Book Title | Design Automation of Cyber-Physical Systems |
| Pagination | 107–142 |
| Publisher | Springer International Publishing |
| City | Cham |
| ISBN Number | 978-3-030-13050-3 |
| ISBN | 978-3-030-13050-3 |
| Keywords | 2019: October, Metrics, Resilient Architectures, Resilient Control of Cyber-Physical Systems with Distributed Learning, UIUC |
| Abstract | Data-driven verification methods utilize execution data together with models for establishing safety requirements. These are often the only tools available for analyzing complex, nonlinear cyber-physical systems, for which purely model-based analysis is currently infeasible. In this chapter, we outline the key concepts and algorithmic approaches for data-driven verification and discuss the guarantees they provide. We introduce some of the software tools that embody these ideas and present several practical case studies demonstrating their application in safety analysis of autonomous vehicles, advanced driver assist systems (ADAS), satellite control, and engine control systems. |
| URL | https://doi.org/10.1007/978-3-030-13050-3_5 |
| DOI | 10.1007/978-3-030-13050-3_5 |
| Citation Key | Fan2019 |