{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T05:11:06Z","timestamp":1750137066390,"version":"3.37.3"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T00:00:00Z","timestamp":1670284800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T00:00:00Z","timestamp":1670284800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,12,6]]},"DOI":"10.1109\/cdc51059.2022.9993062","type":"proceedings-article","created":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T19:26:56Z","timestamp":1673378816000},"page":"1533-1540","source":"Crossref","is-referenced-by-count":3,"title":["An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee"],"prefix":"10.1109","author":[{"given":"Luyao","family":"Niu","sequence":"first","affiliation":[{"name":"University of Washington,Network Security Lab,Department of Electrical and Computer Engineering,Seattle,WA,98195-2500"}]},{"given":"Abdullah","family":"Al Maruf","sequence":"additional","affiliation":[{"name":"University of Washington,Network Security Lab,Department of Electrical and Computer Engineering,Seattle,WA,98195-2500"}]},{"given":"Andrew","family":"Clark","sequence":"additional","affiliation":[{"name":"Washington University in St. Louis,McKelvey School of Engineering,Electrical and Systems Engineering Department,St. Louis,MO,63130"}]},{"given":"J. Sukarno","family":"Mertoguno","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology,School of Cybersecurity and Privacy,Atlanta,GA,30332"}]},{"given":"Radha","family":"Poovendran","sequence":"additional","affiliation":[{"name":"University of Washington,Network Security Lab,Department of Electrical and Computer Engineering,Seattle,WA,98195-2500"}]}],"member":"263","reference":[{"article-title":"Hackers remotely kill a Jeep on the highway\u2013with me in it","year":"2015","author":"Greenberg","key":"ref1"},{"article-title":"Analysis of the cyber attack on the Ukrainian power grid","year":"2016","author":"Lee","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2008.03.008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTOL.2010.5675979"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.isatra.2019.12.002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.20"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2461446.2461456"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1117\/12.2517604"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1117\/12.2518909"},{"article-title":"Fired: frequent inertial resets with diversification for emerging commodity cyber-physical systems","year":"2017","author":"Arroyo","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2584651"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303896"},{"article-title":"Learning safe multi-agent control with decentralized neural barrier certificates","year":"2021","author":"Qin","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843720"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2303233"},{"key":"ref20","first-page":"15","article-title":"Research challenges for the security of control systems","volume-title":"Proceedings of the 3rd Conference on Hot Topics in Security","volume":"5","author":"C\u00e1rdenas"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00016"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.25"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948146"},{"key":"ref24","first-page":"197","article-title":"Application and system-level software fault tolerance through full system restarts","volume-title":"ACM\/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).","author":"Abdi"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00010"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.2437"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3090448"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2889866"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09686-5_7"},{"key":"ref30","volume-title":"Feedback Control of Dynamic Systems.","volume":"4","author":"Franklin","year":"2002"}],"event":{"name":"2022 IEEE 61st Conference on Decision and Control (CDC)","start":{"date-parts":[[2022,12,6]]},"location":"Cancun, Mexico","end":{"date-parts":[[2022,12,9]]}},"container-title":["2022 IEEE 61st Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9992315\/9992317\/09993062.pdf?arnumber=9993062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T01:38:42Z","timestamp":1710380322000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9993062\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,6]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/cdc51059.2022.9993062","relation":{},"subject":[],"published":{"date-parts":[[2022,12,6]]}}}