TY  - CPAPER
AU  - Prabhakar, Pavithra
AU  - García Soto, Miriam
PY  - 2013
DO  - 10.1007/978-3-642-39799-8_20
UR  - https://hdl.handle.net/20.500.14352/116092
AB  - In this paper, we present a novel abstraction technique and a model-checking algorithm for verifying Lyapunov and asymptotic stability of a class of hybrid systems called piecewise constant derivatives. We propose a new abstract data structure,...
LA  - eng
TI  - Abstraction Based Model-Checking of Stability of Hybrid Systems
TY  - conference paper
ER  -