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 …
Simulation-based adversarial test generation for autonomous vehicles with machine learning components
Many organizations are developing autonomous driving systems, which are expected to be
deployed at a large scale in the near future. Despite this, there is a lack of agreement on …
deployed at a large scale in the near future. Despite this, there is a lack of agreement on …
Requirements-driven test generation for autonomous vehicles with machine learning components
Autonomous vehicles are complex systems that are challenging to test and debug. A
requirements-driven approach to the development process can decrease the resources …
requirements-driven approach to the development process can decrease the resources …
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 …
Mining parametric temporal logic properties in model-based design for cyber-physical systems
One of the advantages of adopting a model-based development process is that it enables
testing and verification at early stages of development. However, it is often desirable to not …
testing and verification at early stages of development. However, it is often desirable to not …
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic
We introduce in this paper AMT\; 2.0 AMT 2.0, a tool for qualitative and quantitative analysis
of hybrid continuous and Boolean signals that combine numerical values and discrete …
of hybrid continuous and Boolean signals that combine numerical values and discrete …
Mithra: Anomaly detection as an oracle for cyberphysical systems
A Afzal, C Le Goues… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
Testing plays an essential role in ensuring the safety and quality of cyberphysical systems
(CPSs). One of the main challenges in automated and software-in-the-loop simulation …
(CPSs). One of the main challenges in automated and software-in-the-loop simulation …
A compositional framework for quantitative online monitoring over continuous-time signals
We investigate online monitoring algorithms over dense-time and continuous-time signals
for properties written in metric temporal logic (MTL). We consider an abstract algebraic …
for properties written in metric temporal logic (MTL). We consider an abstract algebraic …
Reinforcement learning informed evolutionary search for autonomous systems testing
Evolutionary search-based techniques are commonly used for testing autonomous robotic
systems. However, these approaches often rely on computationally expensive simulator …
systems. However, these approaches often rely on computationally expensive simulator …
A compositional framework for algebraic quantitative online monitoring over continuous-time signals
We investigate online monitoring algorithms over dense-time and continuous-time signals
for properties written in metric temporal logic (MTL). We consider an abstract algebraic …
for properties written in metric temporal logic (MTL). We consider an abstract algebraic …