Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
Abstract elided by the publisher.
Related papers
- Abstraction Based Model-Checking of Stability of Hybrid Systems CAV 2013
- Abstraction Modulo Stability for Reverse Engineering CAV 2022
- Deductive Stability Proofs for Ordinary Differential Equations TACAS 2021
- Counter-Example Guided Predicate Abstraction of Hybrid Systems TACAS 2003
- Quantitative Supermartingale Certificates CAV 2025
- Counterexample Guided Abstraction Refinement for Stability Analysis CAV 2016
- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness CAV 2021
- Reachability for Nonsmooth Systems with Lexicographic Jacobians TACAS 2025