{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T04:43:55Z","timestamp":1780461835879,"version":"3.54.1"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/robot.2010.5509627","type":"proceedings-article","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T16:07:20Z","timestamp":1279814840000},"page":"1649-1654","source":"Crossref","is-referenced-by-count":90,"title":["Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice"],"prefix":"10.1109","author":[{"given":"Jeremy H","family":"Gillula","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Haomiao Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael P","family":"Vitus","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire J","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48983-5_11"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2514\/6.2007-6461"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.903370"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738998"},{"key":"ref15","author":"mitchell","year":"2009","journal-title":"A Toolbox of level set methods"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/027836498400300101"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2002.1052943"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/02783649922066385"},{"key":"ref8","article-title":"Stabilization of systems with changing dynamics","author":"zefran","year":"1999","journal-title":"Hybrid Systems Computation and Control Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538812"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19457-3_9"},{"key":"ref9","article-title":"Synthesis of trajectory-dependent control lyapunov functions by a single linear program","author":"lazar","year":"0","journal-title":"Hybrid Systems Computation and Control Conference San Francisco California 2009"}],"event":{"name":"2010 IEEE International Conference on Robotics and Automation (ICRA 2010)","location":"Anchorage, AK","start":{"date-parts":[[2010,5,3]]},"end":{"date-parts":[[2010,5,7]]}},"container-title":["2010 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5501116\/5509124\/05509627.pdf?arnumber=5509627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T22:52:23Z","timestamp":1489877543000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5509627\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/robot.2010.5509627","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]}}}