@inproceedings{Dug,
author = {Duggirala, Parasara Sridhar and Mitra, Sayan},
title = {Lyapunov abstractions for inevitability of hybrid systems},
year = {2012},
isbn = {9781450312202},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2185632.2185652},
doi = {10.1145/2185632.2185652},
pages = {115–124},
numpages = {10},
location = {Beijing, China},
series = {HSCC '12}
}