Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing Symbolic-numeric reachability analysis of closed-loop control software. (English) Zbl 1364.93058 Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 135-144 (2016). MSC: 93B03 93B40 93C30 93C10 PDF BibTeX XML Cite \textit{A. Zutshi} et al., in: Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12--14, 2016. New York, NY: Association for Computing Machinery (ACM). 135--144 (2016; Zbl 1364.93058) Full Text: DOI
Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos Simulation-guided Lyapunov analysis for hybrid dynamical systems. (English) Zbl 1362.93108 Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 133-142 (2014). MSC: 93D05 93D30 93C10 93C30 PDF BibTeX XML Cite \textit{J. Kapinski} et al., in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 133--142 (2014; Zbl 1362.93108) Full Text: DOI