{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:30:50Z","timestamp":1784302250334,"version":"3.55.0"},"reference-count":44,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2011,1,17]],"date-time":"2011-01-17T00:00:00Z","timestamp":1295222400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["The International Journal of Robotics Research"],"published-print":{"date-parts":[[2011,3]]},"abstract":"<jats:p>The control of complex non-linear systems can be aided by modeling each system as a collection of simplified hybrid modes, with each mode representing a particular operating regime defined by the system dynamics or by a region of the state space in which the system operates. Guarantees on the safety and performance of such hybrid systems can still be challenging to generate, however. Reachability analysis using a dynamic game formulation with Hamilton\u2014Jacobi methods provides a useful way to generate these types of guarantees, and the technique is flexible enough to analyze a wide variety of systems. This paper presents two applications of reachable sets, both focused on guaranteeing the safety and performance of robotic aerial vehicles. In the first example, reachable sets are used to design and implement a backflip maneuver for a quadrotor helicopter. In the second, reachability analysis is used to design a decentralized collision avoidance algorithm for multiple quadrotors. The theory for both examples is explained, and successful experimental results are presented from flight tests on the STARMAC quadrotor helicopter platform.<\/jats:p>","DOI":"10.1177\/0278364910387173","type":"journal-article","created":{"date-parts":[[2011,1,17]],"date-time":"2011-01-17T22:20:15Z","timestamp":1295302815000},"page":"335-354","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":99,"title":["Applications of hybrid reachability analysis to robotic aerial vehicles"],"prefix":"10.1177","volume":"30","author":[{"given":"Jeremy H.","family":"Gillula","sequence":"first","affiliation":[{"name":"Stanford University, Stanford, CA 94305, USA,"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriel M.","family":"Hoffmann","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA 94305, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Haomiao Huang","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA 94305, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael P.","family":"Vitus","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA 94305, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, CA 94720, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","published-online":{"date-parts":[[2011,1,17]]},"reference":[{"key":"atypb1","first-page":"1","volume":"19","author":"Abbeel P.","year":"2007","journal-title":"Advances in Neural Information Processing Systems"},{"key":"atypb2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4755-1"},{"key":"atypb3","first-page":"105","volume":"4","author":"Bardi M.","year":"1999","journal-title":"Annals of the International Society of Dynamic Games"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1177\/02783649922066385"},{"key":"atypb5","first-page":"177","volume":"4","author":"Cardaliaguet P.","year":"1999","journal-title":"Annals of the International Society of Dynamic Games"},{"key":"atypb6","volume-title":"Proceedings 42nd IEEE Conference Decision and Control","author":"Chang DE"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538812"},{"key":"atypb8","volume-title":"Proceedings of the 2005 American Control Conference","author":"Dimarogonas DV"},{"key":"atypb9","volume-title":"Proceedings 47th IEEE Conference on Decision and Control","author":"Ding J."},{"key":"atypb10","volume-title":"Proceedings 2nd International Conference on Hybrid Systems: Computation and Control, Berg en Dal, The Netherlands","author":"Egerstedt M."},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"atypb12","volume-title":"Proceedings of the 21st Digital Avionics Systems Conference","author":"Gavrilets V."},{"key":"atypb13","volume-title":"Proceedings of the 14th International Symposium of Robotics Research","author":"Gillula JH"},{"key":"atypb14","volume-title":"Proceedings 2010 IEEE International Conference on Robotics and Automation","author":"Gillula JH"},{"key":"atypb15","volume-title":"Proceedings of the 2nd International Workshop on Information Processing in Sensor Networks","author":"Grocholsky B."},{"key":"atypb16","volume-title":"Proceedings of the 2007 AIAA Guidance, Navigation, and Control Conference","author":"Hoffmann GM"},{"key":"atypb17","volume-title":"Proceedings 47th IEEE Conference on Decision and Control","author":"Hoffmann GM"},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034206"},{"key":"atypb19","volume-title":"Proceedings of the 2006 AIAA Guidance, Navigation, and Control Conference","author":"Hoffmann GM"},{"key":"atypb20","volume-title":"Proceedings of the 2008 AIAA Guidance, Navigation, and Control Conference","author":"Hoffmann GM"},{"key":"atypb21","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012901387562"},{"key":"atypb22","volume-title":"Proceedings 41st IEEE Conference on Decision and Control","author":"Inalhan G."},{"key":"atypb23","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"atypb24","first-page":"347","volume":"9","author":"Kurzhanski AB","year":"2002","journal-title":"Dynamics of Continuous, Discrete, and Impulsive Systems"},{"key":"atypb25","volume-title":"Proceedings of the 2007 American Control Conference","author":"Kuwata Y."},{"key":"atypb26","volume-title":"Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control","author":"Lazar M."},{"key":"atypb27","doi-asserted-by":"publisher","DOI":"10.1177\/027836498400300101"},{"key":"atypb28","volume-title":"Proceedings 2010 IEEE International Conference on Robotics and Automation","author":"Lupashin S."},{"key":"atypb29","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"atypb30","volume-title":"A Toolbox of Level Set Methods","author":"Mitchell IM","year":"2009"},{"key":"atypb31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"atypb32","volume-title":"Proceedings of the 2005 American Control Conference","author":"Nguyen BQ"},{"key":"atypb33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.832203"},{"key":"atypb34","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.903370"},{"key":"atypb35","volume-title":"Proceedings 2009 IEEE International Conference on Robotics and Automation","author":"Purwin O."},{"key":"atypb36","volume-title":"Proceedings 43rd IEEE Conference on Decision and Control","author":"Raffard R."},{"key":"atypb37","doi-asserted-by":"publisher","DOI":"10.2514\/1.11168"},{"key":"atypb38","volume-title":"Proceedings of the 2004 AIAA Guidance, Navigation, and Control Conference","author":"Schouwenaars T."},{"key":"atypb39","volume-title":"Proceedings 42nd IEEE Conference on Decision and Control","author":"Shim DH"},{"key":"atypb40","volume-title":"Proceedings of the 2007 American Control Conference","author":"Shucker B."},{"key":"atypb41","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"atypb42","author":"Tomlin CJ","year":"2009","journal-title":"EECS 291 Hybrid Systems Lecture Notes"},{"key":"atypb43","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"atypb44","volume-title":"Proceedings of 1st International Conference on Hybrid Systems: Computation and Control","author":"Zefran M."}],"container-title":["The International Journal of Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364910387173","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364910387173","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:17:18Z","timestamp":1777457838000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0278364910387173"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,17]]},"references-count":44,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["10.1177\/0278364910387173"],"URL":"https:\/\/doi.org\/10.1177\/0278364910387173","relation":{},"ISSN":["0278-3649","1741-3176"],"issn-type":[{"value":"0278-3649","type":"print"},{"value":"1741-3176","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,17]]}}}