{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:31Z","timestamp":1750306591393,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,14]],"date-time":"2015-04-14T00:00:00Z","timestamp":1428969600000},"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":[[2015,4,14]]},"DOI":"10.1145\/2728606.2728611","type":"proceedings-article","created":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T18:13:36Z","timestamp":1430504016000},"page":"209-218","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["First steps toward formal controller synthesis for bipedal robots"],"prefix":"10.1145","author":[{"given":"Aaron D.","family":"Ames","sequence":"first","affiliation":[{"name":"Texas A&M University"}]},{"given":"Paulo","family":"Tabuada","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles"}]},{"given":"Bastian","family":"Sch\u00fcrmann","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles"}]},{"given":"Wen-Loong","family":"Ma","sequence":"additional","affiliation":[{"name":"Texas A&M University"}]},{"given":"Shishir","family":"Kolathaya","sequence":"additional","affiliation":[{"name":"Texas A&M University"}]},{"given":"Matthias","family":"Rungger","sequence":"additional","affiliation":[{"name":"TU M\u00fcnchen"}]},{"given":"Jessy W.","family":"Grizzle","sequence":"additional","affiliation":[{"name":"University of Michigan"}]}],"member":"320","published-online":{"date-parts":[[2015,4,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AMBER-Lab. Human-inspired robotic walking with AMBER 2.0. http:\/\/youtu.be\/d6oM5sLI9vA.  AMBER-Lab. Human-inspired robotic walking with AMBER 2.0. http:\/\/youtu.be\/d6oM5sLI9vA."},{"issue":"5","key":"e_1_3_2_1_2_1","first-page":"1115","article-title":"Human-inspired control of bipedal walking robots. Automatic Control","volume":"59","author":"Ames A. D.","year":"2014","unstructured":"A. D. Ames . Human-inspired control of bipedal walking robots. Automatic Control , IEEE Transactions on , 59 ( 5 ): 1115 -- 1130 , May 2014 . A. D. Ames. Human-inspired control of bipedal walking robots. Automatic Control, IEEE Transactions on, 59(5): 1115--1130, May 2014.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185655"},{"issue":"4","key":"e_1_3_2_1_4_1","first-page":"876","article-title":"Rapidly exponentially stabilizing control Lyapunov functions and hybrid zero dynamics. Automatic Control","volume":"59","author":"Ames A. D.","year":"2014","unstructured":"A. D. Ames , K. Galloway , K. Sreenath , and J. Grizzle . Rapidly exponentially stabilizing control Lyapunov functions and hybrid zero dynamics. Automatic Control , IEEE Transactions on , 59 ( 4 ): 876 -- 891 , 2014 . A. D. Ames, K. Galloway, K. Sreenath, and J. Grizzle. Rapidly exponentially stabilizing control Lyapunov functions and hybrid zero dynamics. Automatic Control, IEEE Transactions on, 59(4): 876--891, 2014.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160759"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669178"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2014.0611"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2008.931718"},{"issue":"1","key":"e_1_3_2_1_10_1","first-page":"51","article-title":"Asymptotically stable walking for biped robots: Analysis via systems with impulse effects","volume":"46","author":"Grizzle J. W.","year":"2001","unstructured":"J. W. Grizzle , G. Abba , and F. Plestan . Asymptotically stable walking for biped robots: Analysis via systems with impulse effects . IEEE TAC , 46 ( 1 ): 51 -- 64 , Jan. 2001 . J. W. Grizzle, G. Abba, and F. Plestan. Asymptotically stable walking for biped robots: Analysis via systems with impulse effects. IEEE TAC, 46(1): 51--64, Jan. 2001.","journal-title":"IEEE TAC"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3182\/20100901-3-IT-2016.00302"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562143"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1177\/027836499401300106"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.831184"},{"issue":"1","key":"e_1_3_2_1_15_1","first-page":"100","article-title":"Lyapunov theory for Zeno stability. Automatic Control","volume":"58","author":"Lamperski A.","year":"2013","unstructured":"A. Lamperski and A. Ames . Lyapunov theory for Zeno stability. Automatic Control , IEEE Transactions on , 58 ( 1 ): 100 -- 112 , Jan. 2013 . A. Lamperski and A. Ames. Lyapunov theory for Zeno stability. Automatic Control, IEEE Transactions on, 58(1): 100--112, Jan. 2013.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"},{"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","unstructured":"J. Lygeros , K. H. Johansson , S. N. Simic , J. Zhang , and S. S. Sastry . Dynamical properties of hybrid automata. Automatic Control , IEEE Transactions on , 48 ( 1 ): 2 -- 17 , 2003 . J. Lygeros, K. H. Johansson, S. N. Simic, J. Zhang, and S. S. Sastry. Dynamical properties of hybrid automata. Automatic Control, IEEE Transactions on, 48(1): 2--17, 2003.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907605"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.05.009"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/561828"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.835360"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2012.2230992"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2010.939963"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967748"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3108-8"},{"key":"e_1_3_2_1_26_1","volume-title":"Robot modeling and control","author":"Spong M. W.","year":"2006","unstructured":"M. W. Spong , S. Hutchinson , and M. Vidyasagar . Robot modeling and control , volume 3 . Wiley , 2006 . M. W. Spong, S. Hutchinson, and M. Vidyasagar. Robot modeling and control, volume 3. Wiley, 2006."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1717907"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219843604000083"},{"key":"e_1_3_2_1_30_1","volume-title":"Feedback Control of Dynamic Bipedal Robot Locomotion","author":"Westervelt E. R.","year":"2007","unstructured":"E. R. Westervelt , J. W. Grizzle , C. Chevallereau , J. H. Choi , and B. Morris . Feedback Control of Dynamic Bipedal Robot Locomotion . CRC Press , Boca Raton , June 2007 . E. R. Westervelt, J. W. Grizzle, C. Chevallereau, J. H. Choi, and B. Morris. Feedback Control of Dynamic Bipedal Robot Locomotion. CRC Press, Boca Raton, June 2007."},{"issue":"1","key":"e_1_3_2_1_31_1","first-page":"42","article-title":"Hybrid zero dynamics of planar biped walkers","volume":"48","author":"Westervelt E. R.","year":"2003","unstructured":"E. R. Westervelt , J. W. Grizzle , and D. E. Koditschek . Hybrid zero dynamics of planar biped walkers . IEEE TAC , 48 ( 1 ): 42 -- 56 , 2003 . E. R. Westervelt, J. W. Grizzle, and D. E. Koditschek. Hybrid zero dynamics of planar biped walkers. IEEE TAC, 48(1): 42--56, 2003.","journal-title":"IEEE TAC"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843723"}],"event":{"name":"HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control","sponsor":["IEEE-CSS Control Systems Society","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Seattle Washington","acronym":"HSCC '15"},"container-title":["Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2728606.2728611","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2728606.2728611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:32Z","timestamp":1750227392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2728606.2728611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,14]]},"references-count":33,"alternative-id":["10.1145\/2728606.2728611","10.1145\/2728606"],"URL":"https:\/\/doi.org\/10.1145\/2728606.2728611","relation":{},"subject":[],"published":{"date-parts":[[2015,4,14]]},"assertion":[{"value":"2015-04-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}