{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T05:59:48Z","timestamp":1773122388595,"version":"3.50.1"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"BP"},{"DOI":"10.13039\/100004364","name":"NSF CPS","doi-asserted-by":"publisher","award":["1932091"],"award-info":[{"award-number":["1932091"]}],"id":[{"id":"10.13039\/100004364","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/lcsys.2024.3409105","type":"journal-article","created":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T17:50:29Z","timestamp":1717437029000},"page":"1937-1942","source":"Crossref","is-referenced-by-count":5,"title":["Bounding Stochastic Safety: Leveraging Freedman\u2019s Inequality With Discrete-Time Control Barrier Functions"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4035-1425","authenticated-orcid":false,"given":"Ryan K.","family":"Cosner","sequence":"first","affiliation":[{"name":"Department of Mechanical and Civil Engineering, California Institute of Technology, Pasadena, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1403-8697","authenticated-orcid":false,"given":"Preston","family":"Culbertson","sequence":"additional","affiliation":[{"name":"Department of Mechanical and Civil Engineering, California Institute of Technology, Pasadena, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0848-3177","authenticated-orcid":false,"given":"Aaron D.","family":"Ames","sequence":"additional","affiliation":[{"name":"Department of Mechanical and Civil Engineering, California Institute of Technology, Pasadena, CA, USA"}]}],"member":"263","reference":[{"issue":"8","key":"ref1","doi-asserted-by":"crossref","first-page":"3861","DOI":"10.1109\/TAC.2016.2638961","article-title":"Control barrier function based quadratic programs for safety critical systems","volume":"62","author":"Ames","year":"2017","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853698"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/9781139061759"},{"key":"ref5","article-title":"Repository this work","year":"2023","journal-title":"Code"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967710"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3131149"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683305"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912444146"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2020.109439","article-title":"A barrier function approach to finite-time stochastic system verification and control","volume":"125","author":"Santoyo","year":"2021","journal-title":"Automatica"},{"key":"ref12","article-title":"Almost-sure safety guarantees of stochastic zero-control barrier functions do not hold","author":"So","year":"2023","journal-title":"arXiv:2312.02430"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/icra48891.2023.10161379"},{"key":"ref14","volume-title":"Stochastic Stability and Control","author":"Kushner","year":"1967"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428804"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2023.XIX.084"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2019.8920407"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383306"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/icra57147.2024.10611355"},{"key":"ref20","volume-title":"Etude critique de la notion de collectif","author":"Ville","year":"1939"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1214\/aop\/1176996452"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1177\/027836498600500106"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2017.XIII.073","volume-title":"Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation","author":"Agrawal","year":"2017"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3076127"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383579"},{"key":"ref26","volume-title":"Probability and Random Processes","author":"Grimmett","year":"2020"},{"key":"ref27","volume-title":"Extended version of this paper","author":"Cosner","year":"2023"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.spa.2012.06.009"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3150219"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/7782633\/10411713\/10547223-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7782633\/10411713\/10547223.pdf?arnumber=10547223","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T17:40:51Z","timestamp":1729791651000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10547223\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2024.3409105","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]}}}