Extracting counterexamples induced by safety violation in linear hybrid systems
From MaRDI portal
Publication:2184551
DOI10.1016/j.automatica.2020.109005zbMath1442.93020OpenAlexW3021309330WikidataQ124861349 ScholiaQ124861349MaRDI QIDQ2184551
Manish Goyal, Parasara Sridhar Duggirala
Publication date: 29 May 2020
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2020.109005
Linear programming (90C05) Linear systems in control theory (93C05) Dynamic programming (90C39) Pole and zero placement problems (93B55) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Robustness of temporal logic specifications for continuous-time signals
- Simulation-equivalent reachability of large linear systems with inputs
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Counterexample-guided predicate abstraction of hybrid systems
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Lyapunov abstractions for inevitability of hybrid systems
- Falsification of temporal properties of hybrid systems using the cross-entropy method
- Reactive synthesis from signal temporal logic specifications
- Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
- SAT-Based Model Checking without Unrolling
- Linear Hybrid System Falsification through Local Search
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems
- Automatic Abstraction Refinement for Timed Automata
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- A common Lyapunov function for stable LTI systems with commuting A-matrices
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Basic problems in stability and design of switched systems
- Parsimonious, Simulation Based Verification of Linear Systems
- Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control