S-TaLiRo: a tool for temporal logic falsification for hybrid systems
DOI10.1007/978-3-642-19835-9_21zbMATH Open1316.68069OpenAlexW2131399618MaRDI QIDQ3000653FDOQ3000653
Yashwanth Annpureddy, Georgios E. Fainekos, Sriram Sankaranarayanan, Che Liu
Publication date: 19 May 2011
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19835-9_21
Recommendations
- Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Stochastic local search for falsification of hybrid systems
- Falsification of temporal properties of hybrid systems using the cross-entropy method
- Localizing Faults in Simulink/Stateflow Models with STL
- STL model checking of continuous and hybrid systems
Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
Cited In (30)
- Survey on mining signal temporal logic specifications
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
- Mining of extended signal temporal logic specifications with ParetoLib 2.0
- Clairvoyant monitoring for signal temporal logic
- TeLEx: learning signal temporal logic from positive examples using tightness metric
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Quantifying conformance using the Skorokhod metric
- An automated system repair framework with signal temporal logic
- On checking equivalence of simulation scripts
- System design of stochastic models using robustness of temporal properties
- Title not available (Why is that?)
- Proving the existence of fair paths in infinite-state systems
- Quantitative monitoring of STL with edit distance
- Time robustness in MTL and expressivity in hybrid system falsification
- Stealthy attacks formalized as STL formulas for Falsification of CPS Security
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- Computation of feedback control laws based on switched tracking of demonstrations
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
- Solving reachability problems by a scalable constrained optimization method
- Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification
- Online causation monitoring of signal temporal logic
- Robust online monitoring of signal temporal logic
- Adaptive testing for specification coverage and refinement in CPS models
- Multi-Requirement Testing Using Focused Falsification
- Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing
- Compositional falsification of cyber-physical systems with machine learning components
Uses Software
This page was built for publication: S-TaLiRo: a tool for temporal logic falsification for hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000653)
