{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T14:34:14Z","timestamp":1784644454760,"version":"3.55.0"},"reference-count":65,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["PP00P2 157\u00a0601\/1"],"award-info":[{"award-number":["PP00P2 157\u00a0601\/1"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Swiss National Centre of Competence in Research NCCR Digital Fabrication","award":["#51NF40_141853"],"award-info":[{"award-number":["#51NF40_141853"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2022,1]]},"DOI":"10.1109\/tac.2021.3049335","type":"journal-article","created":{"date-parts":[[2021,1,5]],"date-time":"2021-01-05T20:56:29Z","timestamp":1609880189000},"page":"176-188","source":"Crossref","is-referenced-by-count":101,"title":["Probabilistic Model Predictive Safety Certification for Learning-Based Control"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8554-1484","authenticated-orcid":false,"given":"Henk J.","family":"Wabersich","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2770-4687","authenticated-orcid":false,"given":"Lukas","family":"Hewing","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3219-4132","authenticated-orcid":false,"given":"Andrea","family":"Carron","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4570-7571","authenticated-orcid":false,"given":"Melanie N.","family":"Zeilinger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"key":"ref2","article-title":"Learning human behaviors from motion capture by adversarial imitation","author":"Merel","year":"2017"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2005.847331"},{"key":"ref4","article-title":"Multivariable Feedback Control: Analysis and Design","volume":"2","author":"Skogestad","year":"2007"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8407-5_21"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s12555-011-0300-6"},{"key":"ref7","article-title":"Concrete problems in AI safety","author":"Amodei","year":"2016,"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2009.2017934"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426855"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/oca.939"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2876389"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619829"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619139"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2017.2654539"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196867"},{"key":"ref16","first-page":"1437","article-title":"A comprehensive survey on safe reinforcement learning","volume":"16","author":"Garca","year":"2015","journal-title":"J. Mach. Learn. Res."},{"key":"ref17","first-page":"22","article-title":"Constrained policy optimization","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Achiam","year":"2017"},{"key":"ref18","first-page":"1889","article-title":"Trust region policy optimization","volume-title":"Int. Conf. Mach. Learn.","author":"Schulman","year":"2015"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7354161"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2015.7330913"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23461-8_9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798979"},{"key":"ref23","first-page":"908","article-title":"Safe model-based reinforcement learning with stability guarantees","author":"Berkenkamp","year":"2017"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.02.003"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225035"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1177\/0278364916645661"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619572"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263812"},{"key":"ref29","first-page":"465","article-title":"Pilco: A. model-based and data-efficient approach to policy search","volume-title":"Proc. 28th Int. Conf. Mach. Learn.","author":"Deisenroth","year":"2011"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6095101"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2018.8550288"},{"issue":"1","key":"ref32","first-page":"2536","article-title":"Safe learning for distributed systems with bounded uncertainties","volume-title":"20th IFAC World Congr.","volume":"50","author":"Larsen","year":"2017"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.3182\/20070822-3-za-2920.00076"},{"key":"ref34","first-page":"163","article-title":"System identification, in Signal Analysis Prediction","author":"Ljung","year":"1998"},{"key":"ref35","first-page":"844","article-title":"On kernelized multi-armed bandits","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Chowdhury","year":"2017"},{"key":"ref36","first-page":"659","article-title":"Uniform error bounds for Gaussian process regression with application to safe control","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"32","author":"Lederer","year":"2019"},{"key":"ref37","article-title":"Model Predictive Control: Theory and Design","author":"Rawlings","year":"2009"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619554"},{"key":"ref39","article-title":"Invariance in stochastic dynamical control systems","volume-title":"Proc. Int. Symp. Math. Theory Netw. Syst.","author":"Pola","year":"2006"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6761117"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2016.03.005"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2017.1323351"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109095"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039601"},{"key":"ref46","first-page":"1889","article-title":"Trust region policy optimization","volume":"3","author":"Schulman","year":"2015"},{"key":"ref47","first-page":"387","article-title":"Deterministic policy gradient algorithms","volume-title":"Proc. 31st Int. Conf. Int. Conf. Mach. Learn","volume":"32","author":"Silver","year":"395"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2007.III.041"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/IROS40897.2019.8967736"},{"key":"ref50","article-title":"Constrained Optimal Control of Linear and Hybrid Systems","volume":"290","author":"Borrelli","year":"2003"},{"key":"ref51","first-page":"9562","article-title":"Differentiable convex optimization layers","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Agrawal","year":"2019"},{"key":"ref52","article-title":"Gaussian Processes for Machine Learning (Adaptive Computation and Machine Learning)","author":"Rasmussen","year":"2006"},{"key":"ref53","article-title":"Pattern Recognition and Machine Learning (Information Science and Statistics)","author":"Bishop","year":"2006"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/b94608"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1142\/9789813143654_0010"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2018.8550160"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.02593"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/s0005-1098(99)00113-2"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669436"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.324"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2008.2012116"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2018.2886159"},{"key":"ref64","first-page":"284","article-title":"Yalmip: A toolbox for modeling and optimization in MATLAB","volume-title":"Proc. CACSD Conf.","author":"Lfberg","year":"2004"},{"key":"ref65","article-title":"MOSEK Optimization Toolbox for MATLAB Manual. Version 9.0","year":"2019"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/9663562\/09314256.pdf?arnumber=9314256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:42:26Z","timestamp":1704843746000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9314256\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1]]},"references-count":65,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tac.2021.3049335","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":[[2022,1]]}}}