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 …
Fast random walk with restart and its applications
How closely related are two nodes in a graph? How to compute this score quickly, on huge,
disk-resident, real graphs? Random walk with restart (RWR) provides a good relevance …
disk-resident, real graphs? Random walk with restart (RWR) provides a good relevance …
Robust online monitoring of signal temporal logic
Signal temporal logic (STL) is a formalism used to rigorously specify requirements of
cyberphysical systems (CPS), ie, systems mixing digital or discrete components in …
cyberphysical systems (CPS), ie, systems mixing digital or discrete components in …
Mining requirements from closed-loop control models
A significant challenge to the formal validation of software-based industrial control systems
is that system requirements are often imprecise, non-modular, evolving, or even simply …
is that system requirements are often imprecise, non-modular, evolving, or even simply …
A decision tree approach to data classification using signal temporal logic
G Bombara, CI Vasile, F Penedo, H Yasuoka… - Proceedings of the 19th …, 2016 - dl.acm.org
This paper introduces a framework for inference of timed temporal logic properties from data.
The dataset is given as a finite set of pairs of finite-time system traces and labels, where the …
The dataset is given as a finite set of pairs of finite-time system traces and labels, where the …
Quantitative monitoring of STL with edit distance
In cyber-physical systems (CPS), physical behaviors are typically controlled by digital
hardware. As a consequence, continuous behaviors are discretized by sampling and …
hardware. As a consequence, continuous behaviors are discretized by sampling and …
Time robustness in MTL and expressivity in hybrid system falsification
T Akazaki, I Hasuo - International Conference on Computer Aided …, 2015 - Springer
Building on the work by Fainekos and Pappas and the one by Donzé and Maler, we
introduce AvSTL, an extension of metric interval temporal logic by averaged temporal …
introduce AvSTL, an extension of metric interval temporal logic by averaged temporal …
Offline and online learning of signal temporal logic formulae using decision trees
G Bombara, C Belta - ACM Transactions on Cyber-Physical Systems, 2021 - dl.acm.org
In this article, we focus on inferring high-level descriptions of a system from its execution
traces. Specifically, we consider a classification problem where system behaviors are …
traces. Specifically, we consider a classification problem where system behaviors are …
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 …
Reflections on surrogate-assisted search-based testing: A taxonomy and two replication studies based on industrial ADAS and simulink models
Context: Surrogate-assisted search-based testing (SA-SBT) aims to reduce the
computational time for testing compute-intensive systems. Surrogates enhance testing …
computational time for testing compute-intensive systems. Surrogates enhance testing …