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 …
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 …
Efficient guiding strategies for testing of temporal properties of hybrid systems
Techniques for testing cyberphysical systems (CPS) currently use a combination of
automatic directed test generation and random testing to find undesirable behaviors …
automatic directed test generation and random testing to find undesirable behaviors …
Effortless creation of safe robots from modules through self-programming and self-verification
Industrial robots cannot be reconfigured to optimally fulfill a given task and often have to be
caged to guarantee human safety. Consequently, production processes are meticulously …
caged to guarantee human safety. Consequently, production processes are meticulously …
Motion planning with complex goals
A Bhatia, MR Maly, LE Kavraki… - IEEE Robotics & …, 2011 - ieeexplore.ieee.org
This article describes approach for solving motion planning problems for mobile robots
involving temporal goals. Traditional motion planning for mobile robotic systems involves the …
involving temporal goals. Traditional motion planning for mobile robotic systems involves the …
[PDF][PDF] Checking and establishing reachset conformance in CORA 2023
M Althoff - Proc. of 10th International Workshop on Applied …, 2023 - mediatum.ub.tum.de
Tool presentation: When formally verifying models of cyber-physical systems, it is obviously
important that their verification results can be transferred to all previous observations of the …
important that their verification results can be transferred to all previous observations of the …
Notions of conformance testing for cyber-physical systems: Overview and roadmap
N Khakpour, MR Mousavi - 26th International Conference on …, 2015 - drops.dagstuhl.de
We review and compare three notions of conformance testing for cyber-physical systems.
We begin with a review of their underlying semantic models and present conformance …
We begin with a review of their underlying semantic models and present conformance …
Falsification of LTL safety properties in hybrid systems
This paper develops a novel approach for the falsification of safety properties given by a
syntactically safe linear temporal logic (LTL) formula ϕ for hybrid systems with nonlinear …
syntactically safe linear temporal logic (LTL) formula ϕ for hybrid systems with nonlinear …
Model conformance for cyber-physical systems: A survey
H Roehm, J Oehlerking, M Woehrle… - ACM Transactions on …, 2019 - dl.acm.org
Model-based development is an important paradigm for developing cyber-physical systems
(CPS). The underlying assumption is that the functional behavior of a model is related to the …
(CPS). The underlying assumption is that the functional behavior of a model is related to the …
Multiple shooting, cegar-based falsification for hybrid systems
In this paper, we present an approach for finding violations of safety properties of hybrid
systems. Existing approaches search for complete system trajectories that begin from an …
systems. Existing approaches search for complete system trajectories that begin from an …