{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:21:30Z","timestamp":1768339290088,"version":"3.49.0"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"NSF","award":["CNS-2145184"],"award-info":[{"award-number":["CNS-2145184"]}]},{"name":"German Federal Ministry of Education and Research"},{"name":"Alexander von Humboldt Professorship"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2024,1]]},"DOI":"10.1109\/tac.2023.3267397","type":"journal-article","created":{"date-parts":[[2023,4,14]],"date-time":"2023-04-14T17:36:08Z","timestamp":1681493768000},"page":"214-229","source":"Crossref","is-referenced-by-count":5,"title":["Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach"],"prefix":"10.1109","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6557-2374","authenticated-orcid":false,"given":"Bingzhuo","family":"Zhong","sequence":"first","affiliation":[{"name":"TUM School of Engineering and Design, Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6608-3708","authenticated-orcid":false,"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Colorado Boulder, Boulder, CO, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2328-044X","authenticated-orcid":false,"given":"Marco","family":"Caccamo","sequence":"additional","affiliation":[{"name":"TUM School of Engineering and Design, Technical University of Munich, Munich, Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827153"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3088764"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_31"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_25"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461378"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2022.101204"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3457211"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.06.021"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2017.2670330"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2775962"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696978"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2953452"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3014142"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2017.10.006"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2760106"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2987711"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3168489"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1972.1100085"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1430242"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17933-9"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2672859"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8815361"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.3182\/20070822-3-ZA-2920.00076"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/tcns.2022.3186649"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.2994039"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8430747"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3013916"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2022.3183032"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382196"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619113"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2023.101427"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683085"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.23919\/acc53348.2022.9867876"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(82)91258-X"},{"key":"ref46","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0019-9"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669862"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s00186-016-0554-0"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_36"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1986.1104270"},{"key":"ref52","article-title":"Robust constraint satisfaction: Invariant sets and predictive control","author":"Kerrigan","year":"2001"},{"key":"ref53","first-page":"119","article-title":"Polytopic computations in constrained optimal control","volume":"50","author":"Baotic","year":"2009","journal-title":"Automatika, J. Control, Meas., Electron., Comput. Commun."},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.872835"},{"key":"ref55","article-title":"Equality set projection: A new algorithm for the projection of polytopes in halfspace representation","author":"Jones","year":"2004"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-015-9726-6"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32304-2_11"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7721(01)00004-9"},{"key":"ref59","volume-title":"Computational Geometry Algorithms and Applications","author":"Kreveld","year":"2008"},{"key":"ref60","article-title":"Minkowski sums of polytopes: Combinatorics and computation","author":"Weibel","year":"2007"},{"key":"ref61","volume-title":"The MOSEK optimization toolbox for MATLAB manual. Version 10.0","author":"ApS","year":"2022"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2016.7587949"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178153"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_31"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/9\/10376321\/10102526-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10376321\/10102526.pdf?arnumber=10102526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,27]],"date-time":"2024-02-27T19:38:50Z","timestamp":1709062730000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10102526\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1]]},"references-count":64,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tac.2023.3267397","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,1]]}}}