TY  - CPAPER
AU  - Prabhakar, Pavithra
AU  - García Soto, Miriam
PY  - 2016
DO  - 10.1145/2968478.2968483
UR  - https://hdl.handle.net/20.500.14352/116095
AB  - In this paper, we present an algorithmic approach to global asymptotic stability (GAS) verification of hybrid systems. Our broad approach consists of reducing the GAS verification to the verification of a region stability (RS) analysis problem and an...
LA  - eng
TI  - An algorithmic approach to global asymptotic stability verification of hybrid systems
TY  - conference paper
ER  -