{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T13:38:57Z","timestamp":1774964337187,"version":"3.50.1"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100002427","name":"Ford Motor Company","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002427","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ford-UM Alliance","award":["N022977"],"award-info":[{"award-number":["N022977"]}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1751093"],"award-info":[{"award-number":["1751093"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Robot."],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/tro.2024.3366819","type":"journal-article","created":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T19:12:06Z","timestamp":1708110726000},"page":"2060-2080","source":"Crossref","is-referenced-by-count":10,"title":["REFINE: Reachability-Based Trajectory Design Using Robust Feedback Linearization and Zonotopes"],"prefix":"10.1109","volume":"40","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2067-4144","authenticated-orcid":false,"given":"Jinsun","family":"Liu","sequence":"first","affiliation":[{"name":"Department of Robotics, University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9335-7268","authenticated-orcid":false,"given":"Yifei","family":"Simon Shao","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8894-8397","authenticated-orcid":false,"given":"Lucas","family":"Lymburner","sequence":"additional","affiliation":[{"name":"Department of Robotics, University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2403-0151","authenticated-orcid":false,"given":"Hansen","family":"Qin","sequence":"additional","affiliation":[{"name":"Latitude AI, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9410-2371","authenticated-orcid":false,"given":"Vishrut","family":"Kaushik","sequence":"additional","affiliation":[{"name":"Peer Robotics, New Haven, CT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-3004-9639","authenticated-orcid":false,"given":"Lena","family":"Trang","sequence":"additional","affiliation":[{"name":"Department of Robotics, University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8926-1949","authenticated-orcid":false,"given":"Ruiyang","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Robotics, University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1824-278X","authenticated-orcid":false,"given":"Vladimir","family":"Ivanovic","sequence":"additional","affiliation":[{"name":"Ford Motor Company, Canton, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5087-9592","authenticated-orcid":false,"given":"H. Eric","family":"Tseng","sequence":"additional","affiliation":[{"name":"Ford Motor Company, Canton, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1978-0572","authenticated-orcid":false,"given":"Ram","family":"Vasudevan","sequence":"additional","affiliation":[{"name":"Department of Robotics, University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915577958"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2014.2302442"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2008.2012116"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364906075328"},{"key":"ref7","article-title":"Low complexity MPC schemes for integrated vehicle dynamics control problems","volume-title":"Proc. 9th Int. Symp. Adv. Veh. Control","author":"Falcone","year":"2008"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/rob.20255"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431536"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/s42256-020-0225-y"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.3017342"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2021.3077702"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920943266"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1115\/DSCC2017-5361"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917052"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2019.xv.051"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511807930"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511844577"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-74244-1","volume-title":"Vehicle Dynamics: Theory and Application","author":"Jazar","year":"2008"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1177\/0954407018807040"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.3390\/math10193567"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2012.6465027"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICICI-BME.2009.5417285"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.4271\/R-114"},{"key":"ref29","volume-title":"Performance Vehicle Dynamics: Engineering and Applications","author":"Balkwill","year":"2017"},{"key":"ref30","volume-title":"Vehicle Dynamics: Modeling and Simulation","author":"Dieter","year":"2018"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0939-3"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8593597"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2900453"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197491"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.3017385"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525375"},{"key":"ref37","first-page":"120","article-title":"An introduction to CORA 2015","volume-title":"Proc. Workshop Appl. Verification Continuous Hybrid Syst.","author":"Althoff","year":"2015"},{"key":"ref38","article-title":"Reachability analysis and its application to the safety assessment of autonomous cars","author":"Althoff","year":"2010"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2020.xvi.100"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-004-0559-y"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2558904"},{"key":"ref42","article-title":"ROS: An open-source robot operating system","volume-title":"Proc. IEEE Intl. Conf. Robot. Automat. (ICRA) Workshop Open Source Robot.","author":"Quigley","year":"2009"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ASSPCC.2000.882463"},{"key":"ref45","first-page":"803","article-title":"Zonotopes as bounding volumes","volume-title":"Proc. SODA","author":"Guibas","year":"2003"},{"key":"ref46","volume-title":"Optimization: Algorithms and Consistent Approximations","volume":"124","author":"Polak","year":"2012"}],"container-title":["IEEE Transactions on Robotics"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/8860\/10365208\/10438895-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8860\/10365208\/10438895.pdf?arnumber=10438895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,4]],"date-time":"2025-02-04T19:01:34Z","timestamp":1738695694000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10438895\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/tro.2024.3366819","relation":{},"ISSN":["1552-3098","1941-0468"],"issn-type":[{"value":"1552-3098","type":"print"},{"value":"1941-0468","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]}}}