{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:33:10Z","timestamp":1756992790449},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"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":[[2024,7,10]]},"DOI":"10.23919\/acc60939.2024.10644983","type":"proceedings-article","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:19Z","timestamp":1725558979000},"page":"937-942","source":"Crossref","is-referenced-by-count":3,"title":["Safety Index Synthesis with State-Dependent Control Space"],"prefix":"10.23919","author":[{"given":"Rui","family":"Chen","sequence":"first","affiliation":[{"name":"Carnegie Mellon University,Pittsburgh,PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiye","family":"Zhao","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University,Pittsburgh,PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Changliu","family":"Liu","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University,Pittsburgh,PA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/CDC40024.2019.9029720"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1115\/DSCC2014-6048","article-title":"Control in a safe set: Addressing safety in human-robot interactions","volume-title":"Dynamic Systems and Control Conference","author":"Liu","year":"2014"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/CDC.2014.7040372"},{"key":"ref4","article-title":"Model-free safe control for zero-violation reinforcement learning","volume-title":"Conference on Robot Learning","author":"Zhao","year":"2021"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.23919\/ACC55779.2023.10156463"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/CDC45484.2021.9683085"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-0-8176-4759-9"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/CCTA.2017.8062637"},{"key":"ref9","article-title":"Joint synthesis of safety certificate and safe control policy using constrained reinforcement learning","volume-title":"Learning for Dynamics and Control Conference","author":"Ma","year":"2022"},{"key":"ref10","article-title":"Safe nonlinear control using robust neural lyapunov-barrier functions","volume-title":"Conference on Robot Learning","author":"Dawson","year":"2022"},{"key":"ref11","article-title":"Safe control with neural network dynamic models","volume-title":"Learning for Dynamics and Control Conference","author":"Wei","year":"2022"},{"key":"ref12","article-title":"Safe control under input saturation with neural control barrier functions","volume-title":"Conference on Robot Learning","author":"Liu","year":"2022"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/CDC49753.2023.10383434"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/CDC40024.2019.9029455"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/LCSYS.2022.3181123"},{"key":"ref16","article-title":"SOSTOOLS version 4.00 sum of squares optimization toolbox for MATLAB","author":"Papachristodoulou","year":"2013","journal-title":"arXiv"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1007\/s10107-003-0387-5"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/978-3-662-03718-8"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1512\/iumj.1993.42.42045"}],"event":{"name":"2024 American Control Conference (ACC)","start":{"date-parts":[[2024,7,10]]},"location":"Toronto, ON, Canada","end":{"date-parts":[[2024,7,12]]}},"container-title":["2024 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10644130\/10644150\/10644983.pdf?arnumber=10644983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:35:58Z","timestamp":1725770158000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10644983\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/acc60939.2024.10644983","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]}}}