{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T16:51:31Z","timestamp":1778345491836,"version":"3.51.4"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/cdc.2017.8263867","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T20:30:57Z","timestamp":1516739457000},"page":"1517-1522","source":"Crossref","is-referenced-by-count":157,"title":["FaSTrack: A modular framework for fast and guaranteed safe motion planning"],"prefix":"10.1109","author":[{"given":"Sylvia L.","family":"Herbert","sequence":"first","affiliation":[]},{"given":"Mo","family":"Chen","sequence":"additional","affiliation":[]},{"given":"SooJean","family":"Han","sequence":"additional","affiliation":[]},{"given":"Somil","family":"Bansal","sequence":"additional","affiliation":[]},{"given":"Jaime F.","family":"Fisac","sequence":"additional","affiliation":[]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6943149"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2013.04.003"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.3182\/20120606-3-NL-3011.00104"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039601"},{"key":"ref37","year":"2013","journal-title":"Multiple Rapidly-exploring Random Tree (RRT)"},{"key":"ref36","article-title":"Decomposition of reachable sets and tubes for a class of nonlinear systems","author":"chen","year":"2016","journal-title":"IEEE Trans Autom Control (to appear)"},{"key":"ref35","article-title":"Exact and efficient hamilton-jacobi-based guaranteed safety analysis via system decomposition","author":"chen","year":"2016","journal-title":"Proc IEEE Int Conf Robotics and Automation"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.21236\/ADA572108"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-7132"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2108450"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176389"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509627"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27702-8_26"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980280"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2013.6629500"},{"key":"ref17","article-title":"Safe Sequential Path Planning of Multi-Vehicle Systems Under Presence of Disturbances and Imperfect Information","author":"bansal","year":"2017","journal-title":"Proc Amer Control Conf"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989693"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728612"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28872-7_37"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915577958"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912444543"},{"key":"ref29","author":"chen","year":"0","journal-title":"High dimensional reachability analysis addressing the curse of dimensionality in formal verification"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980479"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152817"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2013.IX.031"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(02)00186-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844730"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1059"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574714000289"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2491738"},{"key":"ref24","author":"coddington","year":"1984","journal-title":"Theory of Ordinary Differential Equations"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040372"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2577619"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980264"}],"event":{"name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","location":"Melbourne, Australia","start":{"date-parts":[[2017,12,12]]},"end":{"date-parts":[[2017,12,15]]}},"container-title":["2017 IEEE 56th Annual Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8253407\/8263624\/08263867.pdf?arnumber=8263867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,8]],"date-time":"2018-02-08T02:42:35Z","timestamp":1518057755000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8263867\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/cdc.2017.8263867","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}