A survey of algorithms for black-box safety validation of cyber-physical systems
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …
critical applications, but require rigorous testing before deployment. The complexity of these …
A survey on automated driving system testing: Landscapes and trends
Automated Driving Systems (ADS) have made great achievements in recent years thanks to
the efforts from both academia and industry. A typical ADS is composed of multiple modules …
the efforts from both academia and industry. A typical ADS is composed of multiple modules …
Formal verification of neural network controlled autonomous systems
In this paper, we consider the problem of formally verifying the safety of an autonomous
robot equipped with a Neural Network (NN) controller that processes LiDAR images to …
robot equipped with a Neural Network (NN) controller that processes LiDAR images to …
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification
Black-box testing has been extensively applied to test models of Cyber-Physical systems
(CPS) since these models are not often amenable to static and symbolic testing and …
(CPS) since these models are not often amenable to static and symbolic testing and …
[HTML][HTML] Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
Hybrid system falsification is an important quality assurance method for cyber-physical
systems with the advantage of scalability and feasibility in practice than exhaustive …
systems with the advantage of scalability and feasibility in practice than exhaustive …
FalsifAI: Falsification of AI-enabled hybrid control systems guided by time-aware coverage criteria
Modern Cyber-Physical Systems (CPSs) that need to perform complex control tasks (eg,
autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep …
autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep …
Falsification of cyber-physical systems with robustness-guided black-box checking
M Waga - Proceedings of the 23rd International Conference on …, 2020 - dl.acm.org
For exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often
too large and complex, and lightweight alternatives (eg, monitoring and testing) have …
too large and complex, and lightweight alternatives (eg, monitoring and testing) have …
[PDF][PDF] Arch-comp 2020 category report: Falsification
This report presents the results from the 2020 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
[PDF][PDF] ARCH-COMP 2019 Category Report: Falsification.
This report presents the results from the 2019 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We describe …
the falsification of temporal logic specifications over Cyber-Physical Systems. We describe …
Fast falsification of hybrid systems using probabilistically adaptive input
We present an algorithm that quickly finds falsifying inputs for hybrid systems, ie, inputs that
steer the system towards violation of a given temporal logic requirement. Our method is …
steer the system towards violation of a given temporal logic requirement. Our method is …