@inproceedings{duggirala2012lyapunov,
  title={Lyapunov abstractions for inevitability of hybrid systems},
  author={Duggirala, Parasara Sridhar and Mitra, Sayan},
  booktitle={Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control},
  pages={115--124},
  year={2012},
  organization={ACM}
}