{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:26:40Z","timestamp":1740101200815,"version":"3.37.3"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T00:00:00Z","timestamp":1661212800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T00:00:00Z","timestamp":1661212800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["ECS-1710621"],"award-info":[{"award-number":["ECS-1710621"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-19-1-0053,FA9550-19-1-0169,FA9550-20-1-0238"],"award-info":[{"award-number":["FA9550-19-1-0053,FA9550-19-1-0169,FA9550-20-1-0238"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["ECS-1710621"],"award-info":[{"award-number":["ECS-1710621"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,8,23]]},"DOI":"10.1109\/ccta49430.2022.9966120","type":"proceedings-article","created":{"date-parts":[[2022,12,8]],"date-time":"2022-12-08T18:41:14Z","timestamp":1670524874000},"page":"720-725","source":"Crossref","is-referenced-by-count":2,"title":["Sampling-based Computation of Viability Domain to Prevent Safety Violations by Attackers"],"prefix":"10.1109","author":[{"given":"Kunal","family":"Garg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alvaro A.","family":"Cardenas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo G.","family":"Sanfelice","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683085"},{"key":"ref11","first-page":"2055","article-title":"Sampling-based reachability analysis: A random set theory approach with adversarial sampling","author":"lew","year":"0","journal-title":"Conference on Robot Learning"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482751"},{"key":"ref13","first-page":"9","article-title":"Provably good surface sampling and approximation","author":"oudot","year":"0","journal-title":"Symposium on Geometry Processing"},{"key":"ref14","first-page":"1","article-title":"Diameter bounds for equal area partitions of the unit sphere","volume":"35","author":"leopardi","year":"2009","journal-title":"Electron Trans Numer Anal"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03427-9_1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110314"},{"key":"ref17","article-title":"Suite of functions to perform uniform sampling of a sphere","author":"semechko","year":"2021","journal-title":"Github"},{"journal-title":"High dimensional reachability analysis addressing the curse of dimensionality in formal verification","year":"2017","author":"chen","key":"ref18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147661"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243752"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978388"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref7","first-page":"499","article-title":"Cyber-security incidents: a review cases in cyber-physical systems","author":"al-mhiqani","year":"2018","journal-title":"Int J Adv Comput Sci Appl"},{"key":"ref2","article-title":"Cyber-physical systems security knowledge area issue","author":"cardenas","year":"0","journal-title":"The Cyber Security Body of Knowledge"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IINTEC48298.2019.9112097"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431617"}],"event":{"name":"2022 IEEE Conference on Control Technology and Applications (CCTA)","start":{"date-parts":[[2022,8,23]]},"location":"Trieste, Italy","end":{"date-parts":[[2022,8,25]]}},"container-title":["2022 IEEE Conference on Control Technology and Applications (CCTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9965973\/9965785\/09966120.pdf?arnumber=9966120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T19:40:46Z","timestamp":1672083646000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9966120\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,23]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ccta49430.2022.9966120","relation":{},"subject":[],"published":{"date-parts":[[2022,8,23]]}}}