{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:23:49Z","timestamp":1771572229025,"version":"3.50.1"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"NASA University Leadership Initiative","award":["80NSSC20M0163"],"award-info":[{"award-number":["80NSSC20M0163"]}]},{"DOI":"10.13039\/100015599","name":"Toyota Research Institute","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100015599","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-22-CE48-0006"],"award-info":[{"award-number":["ANR-22-CE48-0006"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1109\/tac.2025.3586777","type":"journal-article","created":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T13:54:43Z","timestamp":1751896483000},"page":"8195-8209","source":"Crossref","is-referenced-by-count":2,"title":["Convex Hulls of Reachable Sets"],"prefix":"10.1109","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8209-3604","authenticated-orcid":false,"given":"Thomas","family":"Lew","sequence":"first","affiliation":[{"name":"Toyota Research Institute, Los Altos, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2561-1804","authenticated-orcid":false,"given":"Riccardo","family":"Bonalli","sequence":"additional","affiliation":[{"name":"Laboratory of Signals and Systems, Paris-Saclay University, CNRS, CentraleSupélec, Gif-sur-Yvette, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0206-4337","authenticated-orcid":false,"given":"Marco","family":"Pavone","sequence":"additional","affiliation":[{"name":"Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383902"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-65110-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3191750"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-071420-081941"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2028974"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.09.020"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024467732637"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311808"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728607"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3170863"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2325635"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3126685"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619572"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.11.004"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2025.3552482"},{"key":"ref19","first-page":"1","article-title":"Sampling-based reachability analysis: A random set theory approach with adversarial sampling","volume-title":"Proc. Conf. on Robot Learn.","author":"Lew","year":"2020"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185676"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_16"},{"key":"ref22","first-page":"201","article-title":"Learning approximate forward reachable sets using separating kernels","volume-title":"Proc. Learn. Dyn. Control Conf.","author":"Thorpe","year":"2021"},{"key":"ref23","first-page":"1086","article-title":"A simple and efficient sampling-based algorithm for general reachability analysis","volume-title":"Proc. Learn. Dyn. Control Conf.","author":"Lew","year":"2022"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06404-7"},{"key":"ref25","volume-title":"Singular Trajectories and Their Role in Control Theory","author":"Bonnard","year":"2003"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-012-0050-5"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1137\/0327008"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-3834-2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2047742"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1134\/s000511790709007x"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(71)90173-2"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10277-1"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-015-0346-8"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2009.7074386"},{"key":"ref35","volume-title":"Topological Vector Spaces","author":"Grothendieck","year":"1973"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9982-5"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.4310\/jdg\/1214432545"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91755-9"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2005.02.006"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1051\/cocv:2006002"},{"key":"ref41","article-title":"Control in finite and infinite dimension","author":"Trlat","year":"2023"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1201\/9780203749319"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-024-00683-5"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1017\/9781108627771"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511526282"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref47","first-page":"89","article-title":"ARCH-COMP23 category report: Artificial intelligence and neural network control systems for continuous and hybrid systems plants","volume-title":"Proc. 11th Workshop Appl. Verification Continuous Hybrid Syst.","author":"Lopez","year":"2023"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.4171\/zaa\/865"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s11004-009-9257-x"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3207865"},{"key":"ref51","article-title":"JAX: Composable transformations of Python+ NumPy programs","author":"Bradbury","year":"2018"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-020-00179-2"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/11278429\/11072355.pdf?arnumber=11072355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T22:42:08Z","timestamp":1764974528000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11072355\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":52,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tac.2025.3586777","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12]]}}}