{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T17:42:13Z","timestamp":1772300533754,"version":"3.50.1"},"reference-count":36,"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.10384199","type":"proceedings-article","created":{"date-parts":[[2024,1,19]],"date-time":"2024-01-19T18:38:36Z","timestamp":1705689516000},"page":"5384-5391","source":"Crossref","is-referenced-by-count":5,"title":["Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties"],"prefix":"10.1109","author":[{"given":"Hongchao","family":"Zhang","sequence":"first","affiliation":[{"name":"Washington University in St. Louis,Department of Electrical and Systems Engineering,St. Louis,MO,USA"}]},{"given":"Zhouchi","family":"Li","sequence":"additional","affiliation":[{"name":"Worcester Polytechnic Institute,Department of Electrical and Computer Engineering,Worcester,MA,USA"}]},{"given":"Hongkai","family":"Dai","sequence":"additional","affiliation":[{"name":"Toyota Research Institute,Los Altos,CA,USA"}]},{"given":"Andrew","family":"Clark","sequence":"additional","affiliation":[{"name":"Washington University in St. Louis,Department of Electrical and Systems Engineering,St. Louis,MO,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2019.2952317"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040372"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111109"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029455"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683520"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.23919\/acc55779.2023.10156043"},{"key":"ref8","first-page":"1970","article-title":"Safe control under input limits with neural control barrier functions","volume-title":"Conference on Robot Learning","author":"Liu"},{"key":"ref9","first-page":"1724","article-title":"Safe nonlinear control using robust neural Lyapunov-barrier functions","volume-title":"Conference on Robot Learning","author":"Dawson"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9682938"},{"key":"ref11","article-title":"A semi-algebraic framework for verification and synthesis of control barrier functions","author":"Clark","year":"2022","journal-title":"arXiv preprint"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993001"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/acc55779.2023.10156463"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/15M1052548"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304028"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304395"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304281"},{"key":"ref18","article-title":"Adaptive control barrier functions for safety-critical systems","author":"Xiao","year":"2020","journal-title":"arXiv preprint"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3000748"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2760863"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683705"},{"key":"ref22","volume-title":"Verification and synthesis of robust control barrier functions: Multilevel polynomial optimization and semidefinite relaxation","author":"Kang","year":"2023"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.2354"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.010"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109614"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683523"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2021.xvii.063"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/317275.317286"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s11750-014-0319-y"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03718-8"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref32","volume-title":"Gurobi Optimizer Reference Manual","year":"2023"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-002-0347-5"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2004.833625"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1137\/18M118935X"},{"issue":"5","key":"ref36","first-page":"22","article-title":"Sliding mode control based on backstepping approach for an UAV type-quadrotor","volume":"26","author":"Bouadi","year":"2007","journal-title":"World Academy of Science, Engineering and Technology"}],"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\/10384199.pdf?arnumber=10384199","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T16:58:04Z","timestamp":1706029084000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10384199\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,13]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/cdc49753.2023.10384199","relation":{},"subject":[],"published":{"date-parts":[[2023,12,13]]}}}