{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:27:46Z","timestamp":1778498866500,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,15]],"date-time":"2014-04-15T00:00:00Z","timestamp":1397520000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,15]]},"DOI":"10.1145\/2562059.2562139","type":"proceedings-article","created":{"date-parts":[[2014,4,11]],"date-time":"2014-04-11T17:50:00Z","timestamp":1397238600000},"page":"133-142","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":84,"title":["Simulation-guided lyapunov analysis for hybrid dynamical systems"],"prefix":"10.1145","author":[{"given":"James","family":"Kapinski","sequence":"first","affiliation":[{"name":"Toyota Technical Center, Gardena, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[{"name":"Toyota Technical Center, Gardena, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[{"name":"University of Colorado, Boulder, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikos","family":"Arechiga","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The MathWorks","author":"Simulink Using","year":"2007","unstructured":"Using Simulink . The MathWorks , 2007 . Using Simulink. The MathWorks, 2007."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9149-2"},{"key":"e_1_3_2_1_3_1","series-title":"SIAM Studies in Applied Mathematics","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970777","volume-title":"Linear Matrix Inequalities in System and Control Theory","author":"Boyd S.","year":"1994","unstructured":"S. Boyd , L. E. Ghaoui , E. Feron , and V. Balakrishnan . Linear Matrix Inequalities in System and Control Theory , volume 15 of SIAM Studies in Applied Mathematics . SIAM , 1994 . S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory, volume 15 of SIAM Studies in Applied Mathematics. SIAM, 1994."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80152-6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_7_1","volume-title":"Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. JSAT, 1(3--4):209--236","author":"Fr\u00e4nzle M.","year":"2007","unstructured":"M. Fr\u00e4nzle , C. Herde , T. Teige , S. Ratschan , and T. Schubert . Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. JSAT, 1(3--4):209--236 , 2007 . M. Fr\u00e4nzle, C. Herde, T. Teige, S. Ratschan, and T. Schubert. Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. JSAT, 1(3--4):209--236, 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31365-3_23"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_24"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctvcm4hws","volume-title":"Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach","author":"Haddad W.","year":"2011","unstructured":"W. Haddad and V. Chellaboina . Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach . Princeton University Press , 2011 . W. Haddad and V. Chellaboina. Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach. Princeton University Press, 2011."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580266"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36801-9","volume-title":"Piecewise Linear Control Systems","author":"Johansson M.","year":"2003","unstructured":"M. Johansson . Piecewise Linear Control Systems , volume 284 of Lecture Notes in Control and Information Sciences . Springer , 2003 . M. Johansson. Piecewise Linear Control Systems, volume 284 of Lecture Notes in Control and Information Sciences. Springer, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/37.793443"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of Computatational Aspects of Control System Design","author":"L\u00f6fberg J.","year":"2004","unstructured":"J. L\u00f6fberg . Yalmip : A toolbox for modeling and optimization in MATLAB . In Proc. of Computatational Aspects of Control System Design , Taipei, Taiwan , 2004 . J. L\u00f6fberg. Yalmip : A toolbox for modeling and optimization in MATLAB. In Proc. of Computatational Aspects of Control System Design, Taipei, Taiwan, 2004."},{"key":"e_1_3_2_1_15_1","volume-title":"Natick","author":"MATLAB.","year":"2011","unstructured":"MATLAB. version 7.12.0 (R2011a). The MathWorks Inc ., Natick , Massachusetts , 2011 . MATLAB. version 7.12.0 (R2011a). The MathWorks Inc., Natick, Massachusetts, 2011."},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/10997703_2","volume-title":"Positive Polynomials in Control","author":"Papachristodoulou A.","year":"2005","unstructured":"A. Papachristodoulou and S. Prajna . Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition . In D. Henrion and A. Garulli, editors, Positive Polynomials in Control , volume 312 of Lecture Notes in Control and Information Sciences , pages 23 -- 43 . Springer Berlin \/ Heidelberg , 2005 . A. Papachristodoulou and S. Prajna. Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition. In D. Henrion and A. Garulli, editors, Positive Polynomials in Control, volume 312 of Lecture Notes in Control and Information Sciences, pages 23--43. Springer Berlin \/ Heidelberg, 2005."},{"key":"e_1_3_2_1_19_1","volume-title":"Applied nonlinear control","author":"Slotine J.","year":"1991","unstructured":"J. Slotine and W. Li . Applied nonlinear control . Prentice Hall , 1991 . J. Slotine and W. Li. Applied nonlinear control. Prentice Hall, 1991."},{"key":"e_1_3_2_1_20_1","volume-title":"A MATLAB Toolbox for Optimization over Symmetric Cones. Optimization Methods and Software, 11\/12(1-4):625--653","author":"Sturm J. F.","year":"1999","unstructured":"J. F. Sturm . Using SeDuMi 1.02 , A MATLAB Toolbox for Optimization over Symmetric Cones. Optimization Methods and Software, 11\/12(1-4):625--653 , 1999 . J. F. Sturm. Using SeDuMi 1.02, A MATLAB Toolbox for Optimization over Symmetric Cones. Optimization Methods and Software, 11\/12(1-4):625--653, 1999."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.010"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0109998"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"},{"key":"e_1_3_2_1_24_1","volume-title":"Version 4","author":"Wolfram S.","year":"1999","unstructured":"S. Wolfram . The Mathematica\u00ae Book , Version 4 . Cambridge University Press , 1999 . S. Wolfram. The Mathematica\u00ae Book, Version 4. Cambridge University Press, 1999."}],"event":{"name":"HSCC'14: 17th International Conference on Hybrid Systems: Computation and Control","location":"Berlin Germany","acronym":"HSCC'14","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 17th international conference on Hybrid systems: computation and control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2562059.2562139","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2562059.2562139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:52Z","timestamp":1750277692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2562059.2562139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,15]]},"references-count":22,"alternative-id":["10.1145\/2562059.2562139","10.1145\/2562059"],"URL":"https:\/\/doi.org\/10.1145\/2562059.2562139","relation":{},"subject":[],"published":{"date-parts":[[2014,4,15]]},"assertion":[{"value":"2014-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}