Abstraction Based Model-Checking of Stability of Hybrid Systems
Abstract elided by the publisher.
Related papers
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems VMCAI 2015
- Deductive Stability Proofs for Ordinary Differential Equations TACAS 2021
- STLmc: Robust STL Model Checking of Hybrid Systems Using SMT CAV 2022
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Symbolic Model Checking for Rectangular Hybrid Systems TACAS 2000
- Model-Checking for Hybrid Systems by Quotienting and Constraints Solving CAV 2000
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra TACAS 2008