Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
From MaRDI portal
Publication:2985883
DOI10.1145/1755952.1755983zbMath1361.68149OpenAlexW2112656403WikidataQ57581803 ScholiaQ57581803MaRDI QIDQ2985883
Georgios E. Fainekos, Truong Nghiem, George J. Pappas, Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta
Publication date: 10 May 2017
Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1755952.1755983
Monte Carlo methods (65C05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (11)
Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Falsification of combined invariance and reachability specifications in hybrid control systems ⋮ Stealthy attacks formalized as STL formulas for Falsification of CPS Security ⋮ S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems ⋮ Proving the existence of fair paths in infinite-state systems ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Monitoring bounded LTL properties using interval analysis ⋮ Adaptive testing for specification coverage and refinement in CPS models ⋮ Survey on mining signal temporal logic specifications ⋮ \textsc{LTL} falsification in infinite-state systems
Cites Work
- Unnamed Item
- Unnamed Item
- What's decidable about hybrid automata?
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Discrete-time control for rectangular hybrid automata
- Unfoldings: A partial-order approach to model checking.
- Marked directed graphs
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
