{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,27]],"date-time":"2026-10-27T18:00:27Z","timestamp":1793124027652,"version":"4.5.0"},"reference-count":84,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["817629"],"award-info":[{"award-number":["817629"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"name":"German Federal Ministry of Education and Research","award":["01IS21087"],"award-info":[{"award-number":["01IS21087"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1109\/tac.2023.3275305","type":"journal-article","created":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:43:16Z","timestamp":1683826996000},"page":"755-770","source":"Crossref","is-referenced-by-count":23,"title":["Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems"],"prefix":"10.1109","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4335-9342","authenticated-orcid":false,"given":"Lukas","family":"Sch\u00e4fer","sequence":"first","affiliation":[{"name":"TUM School of Computation, Information and Technology, Technical University of Munich, Garching, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0547-5139","authenticated-orcid":false,"given":"Felix","family":"Gruber","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Technical University of Munich, Garching, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3733-842X","authenticated-orcid":false,"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Technical University of Munich, Garching, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2016.04.006"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00113-2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619781"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/s42256-020-0225-y"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799417"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619829"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1972.1100085"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3002476"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2672859"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042341"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.05.007"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.04.012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.4444"},{"key":"ref14","article-title":"Convex difference inclusions for systems analysis and design","author":"Fiacchini","year":"2010"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2019.12.350"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.01.004"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.08.014"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040384"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.15807\/jorsj.46.125"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/acs.731"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.11.004"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.11.006"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.292"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.599"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431892"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3934\/mcrf.2015.5.55"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1137\/19M125220X"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311810"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.1761"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1137\/130914565"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109900"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029422"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759067"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989375"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8430946"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3005923"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147463"},{"issue":"27","key":"ref41","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/j.ifacol.2015.11.152","article-title":"Robustness of control barrier functions for safety critical control","volume":"48","author":"Xu","year":"2015","journal-title":"IFAC-PapersOnLine"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263706"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_35"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.675"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-071420-081941"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684450"},{"key":"ref49","article-title":"Reachability analysis and its application to the safety assessment of autonomous cars","author":"Althoff","year":"2010"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2906432"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2849714"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2019.100826"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2021.06.028"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382212"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2022.101252"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967717"},{"key":"ref58","article-title":"Successive convexification: A superlinearly convergent algorithm for non-convex optimal control problems","author":"Mao","year":"2019"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147550"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3313354"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1617"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2989762"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461358"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2010.01.031"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref66","article-title":"MOSEK modeling cookbook","year":"2020"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-002-0339-5"},{"key":"ref68","volume-title":"Numerical Optimization","author":"Nocedal","year":"2006"},{"key":"ref69","article-title":"Algorithms for unsymmetric cone optimization and an implementation for problems with the exponential cone","author":"Serrano","year":"2015"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1080\/10556788.2021.1882457"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456703"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.29007\/zbkv"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-155-8_7"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-30528-9_7"},{"key":"ref75","article-title":"The MOSEK optimization toolbox for MATLAB manual. Version 9.2.47","year":"2021"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9028887"},{"key":"ref77","article-title":"Nonlinear model predictive control : A sampled data feedback perspective","author":"Findeisen","year":"2005"},{"key":"ref78","article-title":"Sum-of-squares applications in nonlinear controller synthesis","author":"Theis","year":"2012"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814444"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1016\/S0098-1354(97)00261-5"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2015.7330766"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1007\/s00422-002-0380-8"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1002\/oca.2459"},{"key":"ref84","volume-title":"Nonlinear and Adaptive Control Design","author":"Krstic","year":"1995"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10416290\/10123035.pdf?arnumber=10123035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T13:25:47Z","timestamp":1706793947000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10123035\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2]]},"references-count":84,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tac.2023.3275305","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":[[2024,2]]}}}