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 …
Adaptive stress testing: Finding likely failure events with reinforcement learning
Finding the most likely path to a set of failure states is important to the analysis of safety-
critical systems that operate over a sequence of time steps, such as aircraft collision …
critical systems that operate over a sequence of time steps, such as aircraft collision …
Reasoning about safety of learning-enabled components in autonomous cyber-physical systems
We present a simulation-based approach for generating barrier certificate functions for
safety verification of cyber-physical systems (CPS) that contain neural network-based …
safety verification of cyber-physical systems (CPS) that contain neural network-based …
Safety verification of cyber-physical systems with reinforcement learning control
This paper proposes a new forward reachability analysis approach to verify safety of cyber-
physical systems (CPS) with reinforcement learning controllers. The foundation of our …
physical systems (CPS) with reinforcement learning controllers. The foundation of our …
Reachability analysis for safety assurance of cyber-physical systems against cyber attacks
This technical note proposes an algorithm to assess the safety of the cyber-physical system
(CPS) in the presence of cyber attacks, which can be designed intelligently to avoid the …
(CPS) in the presence of cyber attacks, which can be designed intelligently to avoid the …
Verifiably safe off-model reinforcement learning
The desire to use reinforcement learning in safety-critical settings has inspired a recent
interest in formal methods for learning algorithms. Existing formal methods for learning and …
interest in formal methods for learning algorithms. Existing formal methods for learning and …
[图书][B] Verifying Cyber-Physical Systems: A Path to Safe Autonomy
S Mitra - 2021 - books.google.com
A graduate-level textbook that presents a unified mathematical framework for modeling and
analyzing cyber-physical systems, with a strong focus on verification. Verification aims to …
analyzing cyber-physical systems, with a strong focus on verification. Verification aims to …
[HTML][HTML] An integrated safety and security analysis for cyber-physical harm scenarios
Increasing digitalization and autonomous solutions in physical systems promise to enhance
their performance, cost-efficiency and reliability. However, the integration of novel …
their performance, cost-efficiency and reliability. However, the integration of novel …
Verification for machine learning, autonomy, and neural networks survey
This survey presents an overview of verification techniques for autonomous systems, with a
focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents …
focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents …
Artificial intelligence for safety-critical systems in industrial and transportation domains: A survey
Artificial Intelligence (AI) can enable the development of next-generation autonomous safety-
critical systems in which Machine Learning (ML) algorithms learn optimized and safe …
critical systems in which Machine Learning (ML) algorithms learn optimized and safe …