{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:27:53Z","timestamp":1764937673273,"version":"3.28.0"},"reference-count":41,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000104","name":"NASA","doi-asserted-by":"publisher","award":["80NSSC20M0163"],"award-info":[{"award-number":["80NSSC20M0163"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100015599","name":"Toyota Research Institute","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100015599","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,12,13]]},"DOI":"10.1109\/cdc49753.2023.10383902","type":"proceedings-article","created":{"date-parts":[[2024,1,19]],"date-time":"2024-01-19T18:38:36Z","timestamp":1705689516000},"page":"52-59","source":"Crossref","is-referenced-by-count":3,"title":["Exact Characterization of the Convex Hulls of Reachable Sets"],"prefix":"10.1109","author":[{"given":"Thomas","family":"Lew","sequence":"first","affiliation":[{"name":"Stanford University,Department of Aeronautics & Astronautics"}]},{"given":"Riccardo","family":"Bonalli","sequence":"additional","affiliation":[{"name":"Paris-Saclay University, CNRS, CentraleSupélec,Laboratory of Signals & Systems"}]},{"given":"Marco","family":"Pavone","sequence":"additional","affiliation":[{"name":"Stanford University,Department of Aeronautics & Astronautics"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-65110-7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619572"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77489-3_18"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-071420-081941"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2028974"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.09.020"},{"issue":"4","key":"ref8","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1023\/A:1024467732637","article-title":"Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models","volume":"4","author":"Berz","year":"1998","journal-title":"Reliable Computing"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311808"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728607"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2022.3170863"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989693"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.11.004"},{"volume-title":"Robust nonlinear optimal control via system level synthesis","year":"2023","author":"Leeman","key":"ref15"},{"key":"ref16","article-title":"Sampling-based reachability analysis: A random set theory approach with adversarial sampling","volume-title":"Conf. on Robot Learning","author":"Lew","year":"2020"},{"key":"ref17","article-title":"Learning approximate forward reachable sets using separating kernels","volume-title":"Learning for Dynamics & Control Conference","author":"Thorpe","year":"2021"},{"key":"ref18","article-title":"A simple and efficient sampling-based algorithm for reachability analysis","volume-title":"Learning for Dynamics & Control Conference","author":"Lew","year":"2022"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06404-7"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/0327008"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-3834-2"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(71)90173-2"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-015-0346-8"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963026"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2929099"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511526282"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2005.02.006"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1051\/cocv:2006002"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.4310\/jdg\/1214432545"},{"key":"ref30","article-title":"Contr\u00f4le optimal: th\u00e9orie et applications","author":"Tr\u00e9lat","year":"2008","journal-title":"Vuibert, Collection \u201cMath\u00e9matiques Concr\u00e8tes\u201d"},{"volume-title":"Introduction to the Mathematical Theory of Control","year":"2007","author":"Bressan","key":"ref31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9982-5"},{"volume-title":"Estimating the convex hull of the image of a set with smooth boundary: error bounds and applications","year":"2023","author":"Lew","key":"ref33"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1201\/9780203749319"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-012-0050-5"},{"volume-title":"Topological Vector Spaces","year":"1973","author":"Grothendieck","key":"ref36"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s11004-009-9257-x"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3207865"},{"journal-title":"JAX: composable transformations of Python+NumPy programs","year":"2018","author":"Bradbury","key":"ref40"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-020-00179-2"}],"event":{"name":"2023 62nd IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2023,12,13]]},"location":"Singapore, Singapore","end":{"date-parts":[[2023,12,15]]}},"container-title":["2023 62nd IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10383192\/10383193\/10383902.pdf?arnumber=10383902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T16:30:48Z","timestamp":1706027448000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10383902\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,13]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/cdc49753.2023.10383902","relation":{},"subject":[],"published":{"date-parts":[[2023,12,13]]}}}