{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T11:58:58Z","timestamp":1769169538797,"version":"3.49.0"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["ECS-1710621"],"award-info":[{"award-number":["ECS-1710621"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1544396"],"award-info":[{"award-number":["CNS-1544396"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-2039054"],"award-info":[{"award-number":["CNS-2039054"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-19-1-0053"],"award-info":[{"award-number":["FA9550-19-1-0053"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-19-1-0169"],"award-info":[{"award-number":["FA9550-19-1-0169"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-20-1-0238"],"award-info":[{"award-number":["FA9550-20-1-0238"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF-20-1-0253"],"award-info":[{"award-number":["W911NF-20-1-0253"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2023,1]]},"DOI":"10.1109\/tac.2022.3148226","type":"journal-article","created":{"date-parts":[[2022,2,4]],"date-time":"2022-02-04T20:31:45Z","timestamp":1644006705000},"page":"172-187","source":"Crossref","is-referenced-by-count":13,"title":["On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions"],"prefix":"10.1109","volume":"68","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8746-9375","authenticated-orcid":false,"given":"Mohamed","family":"Maghenem","sequence":"first","affiliation":[{"name":"University of Grenoble Alpes, CNRS, Grenoble INP, Gipsa-lab, Grenoble Cedex 1 - France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6671-5362","authenticated-orcid":false,"given":"Ricardo G.","family":"Sanfelice","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of California, Santa Cruz, CA, USA"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Differential Inclusions: Set-Valued Maps and Viability Theory,","volume":"264","author":"Aubin","year":"2012"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3182\/20070822-3-za-2920.00076"},{"key":"ref4","article-title":"Optimization-based methods for nonlinear and hybrid systems verification","author":"Prajna","year":"2005"},{"key":"ref5","first-page":"383","article-title":"Deductive verification of continuous dynamical systems","volume-title":"Proc. LIPIcs-Leibniz Int. Proc. Inform.","volume":"4","author":"Taly","year":"2009"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.11.008"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272910"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.03.002"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.11.017"},{"key":"ref11","first-page":"551","article-title":"ber die lage der integralkurven gewhnlicher differentialgleichungen","volume":"24","author":"Nagumo","year":"1942","journal-title":"Proc. Physico- Math. Soc. Jpn."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109328"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2710943"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2895125"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2760863"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.167"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1974.51.215"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF02413615"},{"key":"ref20","volume-title":"Differential and Integral Inequalities: Theory and Applications","volume":"I","author":"Lakshmikantham","year":"1969"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(66)90028-X"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2016.07.010"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_17"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.465"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.3182\/20050703-6-CZ-1902.00743"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2476155"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2792325"},{"key":"ref28","first-page":"541","article-title":"On a theorem of Lyapunov","volume":"14","author":"Persidskii","year":"1937","journal-title":"C. R. (Dokl.) Acad. Sci. URSS"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.21136\/CMJ.1955.100154"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.21136\/CMJ.1957.100246"},{"key":"ref31","volume-title":"Stability of Motion. Applications of Lyapunovs Second Method to Differential Systems and Equations With Delay","volume":"48","author":"Krasovskii","year":"1963"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-50085-5"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4848-0_10"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4910-4"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814799"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.23943\/princeton\/9780691153896.001.0001"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.2307\/1969615"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/11228.1877-0541"},{"key":"ref39","volume-title":"Nonsmooth Analysis and Control Theory","volume":"178","author":"Clarke","year":"2008"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030104"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02431-3"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-6239-021-8"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3003887"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1972.11993115"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1142\/SRA"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.07.004"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.910684"},{"key":"ref48","volume-title":"Optim. and Nonsmooth Anal.","volume":"5","author":"Clarke","year":"1990"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311816"},{"key":"ref50","first-page":"937","article-title":"Minimal-time functions in constrained nonlinear systems with applications to reachability analysis","volume-title":"Proc. IEEE Amer. Control Conf.","author":"Maghenem","year":"2020"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/9\/10002258\/9705088-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10002258\/09705088.pdf?arnumber=9705088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,26]],"date-time":"2024-02-26T20:17:44Z","timestamp":1708978664000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9705088\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1]]},"references-count":50,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tac.2022.3148226","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":[[2023,1]]}}}