{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T15:40:27Z","timestamp":1784216427208,"version":"3.55.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,12,13]]},"DOI":"10.1109\/cdc49753.2023.10383577","type":"proceedings-article","created":{"date-parts":[[2024,1,19]],"date-time":"2024-01-19T18:38:36Z","timestamp":1705689516000},"page":"6356-6363","source":"Crossref","is-referenced-by-count":6,"title":["Safety Filter Design for Neural Network Systems via Convex Optimization"],"prefix":"10.1109","author":[{"given":"Shaoru","family":"Chen","sequence":"first","affiliation":[{"name":"Microsoft Research,New York,NY,USA,10012"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kong Yao","family":"Chee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,Department of Electrical and Systems Engineering,Philadelphia,PA,USA,19104"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nikolai","family":"Matni","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,Department of Electrical and Systems Engineering,Philadelphia,PA,USA,19104"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M. Ani","family":"Hsieh","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,Department of Electrical and Systems Engineering,Philadelphia,PA,USA,19104"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,Department of Electrical and Systems Engineering,Philadelphia,PA,USA,19104"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798978"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abm6597"},{"key":"ref3","first-page":"1","article-title":"Data efficient reinforcement learning for legged robots","volume-title":"Conference on Robot Learning","author":"Yang","year":"2020"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989202"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8463189"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/mcs.2023.3234380"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3097073"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109597"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/ECC55457.2022.9838179"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2876389"},{"key":"ref13","first-page":"1129","article-title":"Automatic perturbation analy-sis for scalable certified robustness and beyond","volume":"33","author":"Xu","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/cdc51059.2022.9992666"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-042920-020211"},{"key":"ref16","first-page":"1180","article-title":"Predictive safety filter using system level synthesis","volume-title":"Proceedings of The 5th Annual Learning for Dynamics and Control Conference","author":"Leeman","year":"2023"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3175628"},{"key":"ref18","article-title":"Efficient neural network robustness certification with general acti-vation functions","volume":"31","author":"Zhang","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref19","author":"Leeman","year":"2023","journal-title":"Robust nonlinear optimal control via system level synthesis"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3192609"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2021.3130225"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3144787"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.10.128"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2019.03.006"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.08.009"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9028970"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2336358"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110459"},{"key":"ref29","author":"Chen","year":"2023","journal-title":"Safety filter design for neural network systems via convex optimization"},{"key":"ref30","author":"Brockman","year":"2016","journal-title":"Openai gym"},{"key":"ref31","first-page":"222","article-title":"Iterative linear quadratic regulator design for nonlinear biological movement systems","author":"Li","year":"2004","journal-title":"ICINCO (1)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907001"},{"key":"ref33","article-title":"Differen-tiable mpc for end-to-end planning and control","volume":"31","author":"Amos","year":"2018","journal-title":"Advances in Neural Information Processing Systems"}],"event":{"name":"2023 62nd IEEE Conference on Decision and Control (CDC)","location":"Singapore, Singapore","start":{"date-parts":[[2023,12,13]]},"end":{"date-parts":[[2023,12,15]]}},"container-title":["2023 62nd IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10383192\/10383193\/10383577.pdf?arnumber=10383577","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T16:25:14Z","timestamp":1706027114000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10383577\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,13]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/cdc49753.2023.10383577","relation":{},"subject":[],"published":{"date-parts":[[2023,12,13]]}}}