All topologies come from generalized metrics
American Mathematical Monthly
Specifying real-time properties with metric temporal logic
Real-Time Systems
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
WSC '96 Proceedings of the 28th conference on Winter simulation
Mathematical control theory: deterministic finite dimensional systems (2nd ed.)
Mathematical control theory: deterministic finite dimensional systems (2nd ed.)
What's decidable about hybrid automata?
Journal of Computer and System Sciences
Introduction to algorithms
Understanding Molecular Simulation: From Algorithms to Applications
Understanding Molecular Simulation: From Algorithms to Applications
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Convex Optimization
An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Rapidly Mixing Markov Chains with Applications in Computer Science and Physics
Computing in Science and Engineering
SIAM Journal on Computing
Statistical probabilistic model checking with a focus on time-bounded properties
Information and Computation
State space exploration using feedback constraint generation and Monte-Carlo sampling
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Simulation and the Monte Carlo Method (Wiley Series in Probability and Statistics)
Simulation and the Monte Carlo Method (Wiley Series in Probability and Statistics)
Verification of Supervisory Control Software Using State Proximity and Merging
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Falsification of LTL Safety Properties in Hybrid Systems
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
Robustness of Model-Based Simulations
RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
Dynamical properties of hybrid systems simulators
Automatica (Journal of IFAC)
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Systematic simulation using sensitivity analysis
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Robust test generation and coverage for hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Progress on reachability analysis of hybrid systems using predicate abstraction
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
On systematic simulation of open continuous systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Test coverage for continuous and hybrid systems
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Hybrid systems: from verification to falsification
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Model-Based Design for Embedded Systems
Model-Based Design for Embedded Systems
Generalized Distance Functions in the Theory of Computation
The Computer Journal
S-taliro: a tool for temporal logic falsification for hybrid systems
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
SpaceEx: scalable verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Linear hybrid system falsification through local search
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Temporal logic verification using simulation
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |
We present a Monte-Carlo optimization technique for finding system behaviors that falsify a metric temporal logic (MTL) property. Our approach performs a random walk over the space of system inputs guided by a robustness metric defined by the MTL property. Robustness is guiding the search for a falsifying behavior by exploring trajectories with smaller robustness values. The resulting testing framework can be applied to a wide class of cyber-physical systems (CPS). We show through experiments on complex system models that using our framework can help automatically falsify properties with more consistency as compared to other means, such as uniform sampling.