TY  - CPAPER
AU  - Prabhakar, Pavithra
AU  - García Soto, Miriam
PY  - 2016
DO  - 10.1007/978-3-319-41528-4_27
UR  - https://hdl.handle.net/20.500.14352/116098
AB  - In this paper, we present a counterexample guided abstraction refinement (Cegar) algorithm for stability analysis of polyhedral hybrid systems. Our results build upon a quantitative predicate abstraction and model-checking algorithm for stability...
LA  - eng
TI  - Counterexample Guided Abstraction Refinement for Stability Analysis
TY  - conference paper
ER  -