Simulation-based approaches for verification of embedded control systems: An overview of traditional and advanced modeling, testing, and verification techniques
Designers of industrial embedded control systems, such as automotive, aerospace, and
medical-device control systems, use verification and testing activities to increase their …
medical-device control systems, use verification and testing activities to increase their …
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 …
Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …
and biological systems monitored and/or controlled by an embedded computational core …
Compositional falsification of cyber-physical systems with machine learning components
Abstract Cyber-physical systems (CPS), such as automotive systems, are starting to include
sophisticated machine learning (ML) components. Their correctness, therefore, depends on …
sophisticated machine learning (ML) components. Their correctness, therefore, depends on …
Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic
TR Torben, JA Glomsrud, TA Pedersen… - Proceedings of the …, 2023 - journals.sagepub.com
A methodology for automatic simulation-based testing of control systems for autonomous
vessels is proposed. The work is motivated by the need for increased test coverage and …
vessels is proposed. The work is motivated by the need for increased test coverage and …
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 …
Combining model checking and runtime verification for safe robotics
A major challenge towards large scale deployment of autonomous mobile robots is to
program them with formal guarantees and high assurance of correct operation. To this end …
program them with formal guarantees and high assurance of correct operation. To this end …
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 …
Rapidly-exploring random trees for testing automated vehicles
CE Tuncali, G Fainekos - 2019 IEEE Intelligent Transportation …, 2019 - ieeexplore.ieee.org
One of the expectations from fully or partially automated vehicles is to never cause an
accident and actively avoid dangerous situations. However, an automated vehicle may not …
accident and actively avoid dangerous situations. However, an automated vehicle may not …
Testing cyber-physical systems through bayesian optimization
Many problems in the design and analysis of cyber-physical systems (CPS) reduce to the
following optimization problem: given a CPS which transforms continuous-time input traces …
following optimization problem: given a CPS which transforms continuous-time input traces …