Nguyen, Luan Viet; Kapinski, James; Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Butts, Ken; Johnson, Taylor T. Abnormal data classification using time-frequency temporal logic. (English) Zbl 1366.94120 Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 237-242 (2017). MSC: 94A12 68T05 PDF BibTeX XML Cite \textit{L. V. Nguyen} et al., in: Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18--20, 2017. New York, NY: Association for Computing Machinery (ACM). 237--242 (2017; Zbl 1366.94120) Full Text: DOI
Aréchiga, Nikos; Kapinski, James; Deshmukh, Jyotirmoy V.; Platzer, André; Krogh, Bruce Numerically-aided deductive safety proof for a powertrain control system. (English) Zbl 1351.68150 Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 19-25 (2015). MSC: 68Q60 68T15 93C30 PDF BibTeX XML Cite \textit{N. Aréchiga} et al., Electron. Notes Theor. Comput. Sci. 317, 19--25 (2015; Zbl 1351.68150) Full Text: DOI
Kapinski, James; Deshmukh, Jyotirmoy Discovering forward invariant sets for nonlinear dynamical systems. (English) Zbl 1327.37027 Cojocaru, Monica G. (ed.) et al., Interdisciplinary topics in applied mathematics, modeling and computational science. Selected papers based on the presentations at the 2nd conference, AMMCS 2013, Waterloo, Canada, August 26–30, 2013. Cham: Springer (ISBN 978-3-319-12306-6/hbk; 978-3-319-12307-3/ebook). Springer Proceedings in Mathematics & Statistics 117, 259-264 (2015). MSC: 37M25 PDF BibTeX XML Cite \textit{J. Kapinski} and \textit{J. Deshmukh}, in: Interdisciplinary topics in applied mathematics, modeling and computational science. Selected papers based on the presentations at the 2nd conference, AMMCS 2013, Waterloo, Canada, August 26--30, 2013. Cham: Springer. 259--264 (2015; Zbl 1327.37027) Full Text: DOI
Deshmukh, Jyotirmoy; Jin, Xiaoqing; Kapinski, James; Maler, Oded Stochastic local search for falsification of hybrid systems. (English) Zbl 06527571 Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). Lecture Notes in Computer Science 9364, 500-517 (2015). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. Deshmukh} et al., Lect. Notes Comput. Sci. 9364, 500--517 (2015; Zbl 06527571) Full Text: DOI
Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken Powertrain control verification benchmark. (English) Zbl 1362.93070 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). 253-262 (2014). MSC: 93C30 93A30 93C95 03B80 PDF BibTeX XML Cite \textit{X. Jin} 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). 253--262 (2014; Zbl 1362.93070) 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