{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:34:50Z","timestamp":1759332890326,"version":"build-2065373602"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["ITE-2134840","ITE-2040599","CCF-1954837","CCF-1918225","CPS-1446832"],"award-info":[{"award-number":["ITE-2134840","ITE-2040599","CCF-1954837","CCF-1918225","CPS-1446832"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/access.2025.3599459","type":"journal-article","created":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T18:22:02Z","timestamp":1755282122000},"page":"157742-157763","source":"Crossref","is-referenced-by-count":0,"title":["A Barrier Certificate-Based Simplex Architecture for Systems With Approximate and Hybrid Dynamics"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-4064-661X","authenticated-orcid":false,"given":"Amol","family":"Damare","sequence":"first","affiliation":[{"name":"Department of Computer Science, Stony Brook University, Stony Brook, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4953-1571","authenticated-orcid":false,"given":"Shouvik","family":"Roy","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Stony Brook University, Stony Brook, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3760-9955","authenticated-orcid":false,"given":"Roshan","family":"Sharma","sequence":"additional","affiliation":[{"name":"Smart Grid Emerging Technology Team, Commonwealth Edison Company, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7931-865X","authenticated-orcid":false,"given":"Keith","family":"DSouza","sequence":"additional","affiliation":[{"name":"Smart Grid Emerging Technology Team, Commonwealth Edison Company, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7348-630X","authenticated-orcid":false,"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Stony Brook University, Stony Brook, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8824-6835","authenticated-orcid":false,"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Stony Brook University, Stony Brook, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.007"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.154"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8815296"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431617"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382222"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586327"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2018.8511342"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460471"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72016-2_20"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.703255"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17196-3_6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.27"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.25"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2723871"},{"key":"ref18","article-title":"Concrete problems in AI safety","author":"Amodei","year":"2016","journal-title":"arXiv:1606.06565"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456638"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.tej.2012.09.013"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_6"},{"volume-title":"The RTDS Simulator","year":"2025","key":"ref22"},{"article-title":"A barrier certificate-based simplex architecture for runtime assurance for continuous and hybrid systems","year":"2024","author":"Damare","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66266-4_8"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2022.102784"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2022.102784"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-35257-7_1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101760"},{"issue":"12","key":"ref29","first-page":"15340","article-title":"Towards safe AI: Sandboxing DNNs-based controllers in stochastic games","volume-title":"Proc. AAAI Conf. Artif. Intell.","volume":"37","author":"Zhong"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2023.111323","article-title":"Data-driven verification and synthesis of stochastic systems via barrier certificates","volume":"159","author":"Salamati","year":"2024","journal-title":"Automatica"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2019.100837"},{"key":"ref32","first-page":"1","article-title":"Enforcing hard constraints with soft barriers: Safe reinforcement learning in unknown stochastic environments","volume-title":"Proc. 40th Int. Conf. Mach. Learn.","author":"Wang"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867754"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2020.103894"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2017.2780986"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TPEL.2019.2954740"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-023-00720-z"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3306157"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961854"},{"volume-title":"Numerical Analysis","year":"2012","author":"Sauer","key":"ref40"},{"key":"ref41","first-page":"1","article-title":"Continuous control with deep reinforcement learning","volume-title":"Proc. 4th Int. Conf. Learn. Represent.","author":"Lillicrap"},{"key":"ref42","article-title":"Robust deep reinforcement learning with adversarial attacks","author":"Pattanaik","year":"2017","journal-title":"arXiv:1712.03632"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/COGEN.2016.7728945"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/cogen.2016.7728945"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/PESGM48719.2022.9917101"},{"article-title":"Neural controllers and safety assurance for cyber-physical systems","year":"2023","author":"Roy","key":"ref46"},{"key":"ref47","first-page":"6572","article-title":"Neural ordinary differential equations","volume-title":"Proc. Annu. Conf. Neural Inf. Process. Syst. (NeurIPS)","volume":"31","author":"Chen"},{"journal-title":"Torchdiffeq","year":"2018","author":"Chen","key":"ref48"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2020.9069495"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6287639\/10820123\/11126028-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10820123\/11126028.pdf?arnumber=11126028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T16:08:28Z","timestamp":1759248508000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11126028\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/access.2025.3599459","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2025]]}}}