{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:52:04Z","timestamp":1771573924716,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T00:00:00Z","timestamp":1365379200000},"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":[[2013,4,8]]},"DOI":"10.1145\/2461328.2461340","type":"proceedings-article","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T12:19:32Z","timestamp":1365509972000},"page":"63-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares"],"prefix":"10.1145","author":[{"given":"Michael","family":"Posa","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"given":"Mark","family":"Tobenkin","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"given":"Russ","family":"Tedrake","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"V. Bhatt and J. Koechling. Three-dimensional frictional rigid-body impact. Journal of applied mechanics 62:893 1995.  V. Bhatt and J. Koechling. Three-dimensional frictional rigid-body impact. Journal of applied mechanics 62:893 1995.","DOI":"10.1115\/1.2896017"},{"issue":"1","key":"e_1_3_2_1_3_1","first-page":"31","article-title":"A unified framework for hybrid control: model and optimal control theory. Automatic Control","volume":"43","author":"Branicky M.","year":"1998","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_4_1","volume-title":"Springer Verlag","author":"Brogliato B.","year":"1999"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.2791938"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/02681119708806242"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1107799"},{"key":"e_1_3_2_1_8_1","volume-title":"ICRA","author":"Desbiens A. L.","year":"2010"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225361"},{"key":"e_1_3_2_1_10_1","volume-title":"Positive Polynomials in Control. Lecture Notes in Control and Information Sciences. Springer-Verlag","author":"Henrion D.","year":"2005"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1137\/080730287"},{"key":"e_1_3_2_1_12_1","volume-title":"Springer Verlag","author":"Leine R.","year":"2008"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11071-007-9244-z"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1994.735077"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2017144"},{"issue":"1","key":"e_1_3_2_1_17_1","first-page":"2","article-title":"Dynamical properties of hybrid automata. Automatic Control","volume":"48","author":"Lygeros J.","year":"2003","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"A. Majumdar A. A. Ahmadi and R. Tedrake. Control design along trajectories with sums of squares programming. Under review 2013.  A. Majumdar A. A. Ahmadi and R. Tedrake. Control design along trajectories with sums of squares programming. Under review 2013.","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.03063"},{"key":"e_1_3_2_1_20_1","unstructured":"A. Megretski. Systems polynomial optimization tools (SPOT) available online: http:\/\/web.mit.edu\/ameg\/www\/. 2010.  A. Megretski. Systems polynomial optimization tools (SPOT) available online: http:\/\/web.mit.edu\/ameg\/www\/. 2010."},{"issue":"6","key":"e_1_3_2_1_21_1","first-page":"1322","article-title":"Stability and completion of zeno equilibria in lagrangian hybrid systems. Automatic Control","volume":"56","author":"Or Y.","year":"2011","journal-title":"IEEE Transactions on"},{"issue":"5","key":"e_1_3_2_1_22_1","first-page":"1035","article-title":"Robust stability analysis of nonlinear hybrid systems. Automatic Control","volume":"54","author":"Papachristodoulou A.","year":"2009","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0387-5"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1137\/050645178"},{"key":"e_1_3_2_1_25_1","volume-title":"London","author":"Routh E.","year":"1891"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2033760"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144599360110"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1990.0125"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"J. F. Sturm. Using SeDuMi 1.02 a Matlab toolbox for optimization over symmetric cones. Optimization Methods and Software 11(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(1--4):625 -- 653 1999.","DOI":"10.1080\/10556789908805766"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.010"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0962492911000067"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.2893771"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1201\/9781420053739"}],"event":{"name":"HSCC '13: Computation and Control","location":"Philadelphia Pennsylvania USA","acronym":"HSCC '13","sponsor":["IEEE Signal Processing Society","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 16th international conference on Hybrid systems: computation and control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2461328.2461340","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2461328.2461340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:43Z","timestamp":1750234723000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2461328.2461340"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,8]]},"references-count":35,"alternative-id":["10.1145\/2461328.2461340","10.1145\/2461328"],"URL":"https:\/\/doi.org\/10.1145\/2461328.2461340","relation":{},"subject":[],"published":{"date-parts":[[2013,4,8]]},"assertion":[{"value":"2013-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}