Falsification of LTL Safety Properties in Hybrid Systems

DOI10.1007/978-3-642-00768-2_31zbMath1234.68264OpenAlexW1548600288MaRDI QIDQ3617769

Moshe Y. Vardi, Lydia E. Kavraki, Erion Plaku

Publication date: 31 March 2009

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-00768-2_31

Mathematics Subject Classification ID

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)

Related Items

CASP solutions for planning in hybrid domains, Falsification of combined invariance and reachability specifications in hybrid control systems, Optimal mixed discrete-continuous planning for linear hybrid systems, Stealthy attacks formalized as STL formulas for Falsification of CPS Security, Extended beam search for non-exhaustive state space analysis, S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems, Proving the existence of fair paths in infinite-state systems, Monitoring bounded LTL properties using interval analysis, Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Hybrid systems: From verification to falsification by combining motion planning and discrete search
• Safety, liveness and fairness in temporal logic
• GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
• Robust Test Generation and Coverage for Hybrid Systems
• Comparing Forward and Backward Reachability as Tools for Safety Analysis
• Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Test Coverage for Continuous and Hybrid Systems
• Hybrid Systems: From Verification to Falsification
• Planning Algorithms
• Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
• Model checking of safety properties