{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:05:02Z","timestamp":1768313102509,"version":"3.49.0"},"reference-count":60,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Control Optim."],"published-print":{"date-parts":[[2026,2,28]]},"DOI":"10.1137\/25m173051x","type":"journal-article","created":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T08:55:02Z","timestamp":1768294502000},"page":"236-261","source":"Crossref","is-referenced-by-count":0,"title":["Lyapunov-like Descriptions of Strong Forward Invariance for Differential Inclusions"],"prefix":"10.1137","volume":"64","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6508-0879","authenticated-orcid":true,"given":"Rafal K.","family":"Goebel","sequence":"first","affiliation":[{"name":"Department of Mathematics & Statistics, Loyola University Chicago, Chicago, IL 60660 USA."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6671-5362","authenticated-orcid":true,"given":"Ricardo G.","family":"Sanfelice","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering Department, University of California, Santa Cruz, CA 95064 USA."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew R.","family":"Teel","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering Department, University of California, Santa Barbara, CA 93106-9560 USA."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"351","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00055-9"},{"key":"ref3","author":"Aubin J.-P.","year":"1991","journal-title":"Birkh\u00e4user"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69512-4"},{"key":"ref5","volume-title":"Set-Valued Analysis","author":"Aubin J.-P.","year":"1990"},{"key":"ref6","first-page":"571","volume":"25","author":"Bernfeld S. R.","year":"1970","journal-title":"Proc. Amer. Math. Soc."},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.900829"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.919257"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2882158"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2990665"},{"key":"ref11","volume-title":"Optimization and Nonsmooth Analysis","author":"Clarke F. H.","year":"1983"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4820-3"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1006\/jdeq.1998.3476"},{"key":"ref14","volume-title":"Nonsmooth Analysis and Control Theory","author":"Clarke F. H.","year":"1998"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2008.919306"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1137\/22M1482226"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7793-9"},{"key":"ref18","volume-title":"Hybrid Dynamical Systems: Modeling, Stability, and Robustness","author":"Goebel R.","year":"2012"},{"key":"ref19","volume-title":"An Introduction","author":"Goebel R. K.","year":"2024"},{"key":"ref20","doi-asserted-by":"crossref","unstructured":"R. K. Goebel, R. G. Sanfelice, and A. R. Teel, Some converse Lyapunov-like results for strong forward invariance, in Proc. 63rd IEEE Conference on Decision and Control, 2024.","DOI":"10.1109\/CDC56724.2024.10886210"},{"key":"ref21","doi-asserted-by":"crossref","unstructured":"A. N. Gorban, I. Yu Tyukin, and H. Nijmeijer, Further results on Lyapunov-like conditions of forward invariance and boundedness for a class of unstable systems, in 53rd IEEE Conference on Decision and Control, 2014, pp. 1557\u20131562.","DOI":"10.1109\/CDC.2014.7039621"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1137\/120865173"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.09.001"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211469"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF02416946"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2015.20.2333"},{"key":"ref27","volume-title":"Nonlinear Systems","author":"Khalil H. K.","year":"2002","edition":"3"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3003887"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0396(81)90013-9"},{"key":"ref30","unstructured":"N. N. Krasovskii, Game-Theoretic Problems of Capture, Nauka, Moscow, 1970\n                      .\n                      in Russian."},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.21136\/CMJ.1956.100195"},{"key":"ref32","unstructured":"J. P. LaSalle, The Stability of Dynamical Systems, SIAM\u2019s Regional Conference Series in Applied Mathematics, 1976."},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3085419"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1080\/00207179208934253"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1051\/cocv\/2025034"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3332552"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109328"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3148226"},{"key":"ref39","first-page":"1","volume":"62","author":"Marchaud A.","year":"1934","journal-title":"Bull. Soc. Math. France"},{"key":"ref40","first-page":"275","volume":"2","author":"Mareels I. M. Y.","year":"1992","journal-title":"J. Math. Systems Estim. Control"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110478"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2023.101340"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1978.1101721"},{"key":"ref44","unstructured":"M. Nagumo, \u00dcber die Lage der Integralkurven gew\u00f6hnlicher Differentialgleichungen, Proc. Phys.Math. Soc. Japan, 24 (1942), pp. 551\u2013559."},{"key":"ref45","doi-asserted-by":"crossref","unstructured":"S. Prajna, A. Jadbabaie, and G. J. Pappas, Stochastic safety verification using barrier certificates, in 2004 43rd IEEE Conference on Decision and Control, 2004, 1, pp. 929\u2013934.","DOI":"10.1109\/CDC.2004.1428804"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1137\/050645178"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2792325"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02431-3"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0396(65)90015-X"},{"key":"ref51","series-title":"Stability and Control: Theory, Methods and Applications 4","volume-title":"Control Theory and its Applications","author":"Roxin E. O.","year":"1997"},{"key":"ref52","first-page":"744","volume":"24","author":"Rozono\u00e8r L. I.","year":"1963","journal-title":"Avtomat. i Telemeh."},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109910"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77653-6_3"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(94)00050-6"},{"key":"ref56","first-page":"113","volume":"2","author":"Szeg\u00f3 G. P.","year":"1969","journal-title":"Boll. Un. Mat. Ital"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1051\/cocv:2000113"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2476155"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/BF01695169"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1966.1098316"}],"container-title":["SIAM Journal on Control and Optimization"],"original-title":[],"language":"en","deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T08:55:24Z","timestamp":1768294524000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/25M173051X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,13]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,2,28]]}},"alternative-id":["10.1137\/25M173051X"],"URL":"https:\/\/doi.org\/10.1137\/25m173051x","relation":{},"ISSN":["0363-0129","1095-7138"],"issn-type":[{"value":"0363-0129","type":"print"},{"value":"1095-7138","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1,13]]}}}