{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:27:55Z","timestamp":1768339675385,"version":"3.49.0"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,9]]},"DOI":"10.1109\/cdc57313.2025.11312583","type":"proceedings-article","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T18:19:56Z","timestamp":1768241996000},"page":"3571-3576","source":"Crossref","is-referenced-by-count":1,"title":["Piecewise Control Barrier Functions for Stochastic Systems"],"prefix":"10.1109","author":[{"given":"Rayan","family":"Mazouz","sequence":"first","affiliation":[{"name":"University of Colorado,Boulder,USA"}]},{"given":"Luca","family":"Laurenti","sequence":"additional","affiliation":[{"name":"Delft University of Technology,Netherlands"}]},{"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[{"name":"University of Colorado,Boulder,USA"}]}],"member":"263","reference":[{"key":"ref1","article-title":"On a Formal Model of Safe and Scalable Self-driving Cars","author":"Shalev-Shwartz","year":"2017"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2017.04.004"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/AERO50100.2021.9438513"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/ACC60939.2024.10644855"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"ref6","article-title":"Falsification of Autonomous Systems in Rich Environments","author":"Elimelech","year":"2024"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"key":"ref11","article-title":"Piecewise Stochastic Barrier Functions","author":"Mazouz","year":"2024"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109439"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3013916"},{"key":"ref14","article-title":"Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions","author":"Mazouz","year":"2022","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref15","article-title":"Sum of Squares and Polynomial Convexity","volume-title":"Proc. IEEE Conf. Decision Control","author":"Ahmadi"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2023.XIX.084"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/ECC64448.2024.10590801"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311805"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587117"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC56724.2024.10886850"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/acc63710.2025.11108000"},{"key":"ref22","article-title":"Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances","author":"Gracia","year":"2024"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i10.26407"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487170"},{"key":"ref25","volume-title":"Stochastic Optimal Control: the Discrete-time Case","author":"Bertsekas","year":"2004"},{"key":"ref26","article-title":"Efficient Neural Network Robustness Certification with General Activation Functions","volume":"31","author":"Zhang","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref27","article-title":"Bound propagation","author":"Mathiesen","year":"2022"},{"key":"ref28","first-page":"1129","article-title":"Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond","volume":"33","author":"Xu","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1109\/CDC57313.2025.11312583","article-title":"Piecewise control barrier functions for stochastic systems","author":"Mazouz","year":"2025"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2478131"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)38011-4"}],"event":{"name":"2025 IEEE 64th Conference on Decision and Control (CDC)","location":"Rio de Janeiro, Brazil","start":{"date-parts":[[2025,12,9]]},"end":{"date-parts":[[2025,12,12]]}},"container-title":["2025 IEEE 64th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11311984\/11311968\/11312583.pdf?arnumber=11312583","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T08:25:08Z","timestamp":1768292708000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11312583\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,9]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/cdc57313.2025.11312583","relation":{},"subject":[],"published":{"date-parts":[[2025,12,9]]}}}