TY  - CPAPER
AU  - Prabhakar, Pavithra
AU  - García Soto, Miriam
PY  - 2015
DO  - 10.1007/978-3-662-46081-8_18
UR  - https://hdl.handle.net/20.500.14352/116391
AB  - We investigate the formal connections between “quantitative predicate abstractions” for stability analysis of hybrid systems and “continuous simulation relations”. It has been shown recently that stability is not bisimulation invariant, and hence,...
LA  - eng
KW  - Stability Analysis
KW  - Simulations/Bisimulations
KW  - Hybrid Systems
KW  - Abstraction-Refinement
TI  - Foundations of quantitative predicate abstraction for stability analysis of hybrid systems
TY  - conference paper
ER  -