{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T14:29:32Z","timestamp":1774448972816,"version":"3.50.1"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000140","name":"U.S. Department of Transportation\u2019s Mobility21 National University Transportation Center","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000140","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NSF CCRI","award":["1925587"],"award-info":[{"award-number":["1925587"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/lcsys.2022.3233322","type":"journal-article","created":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T18:58:40Z","timestamp":1672426720000},"page":"1207-1212","source":"Crossref","is-referenced-by-count":15,"title":["Differentiable Safe Controller Design Through Control Barrier Functions"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1847-6413","authenticated-orcid":false,"given":"Shuo","family":"Yang","sequence":"first","affiliation":[{"name":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9416-0627","authenticated-orcid":false,"given":"Shaoru","family":"Chen","sequence":"additional","affiliation":[{"name":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9998-8730","authenticated-orcid":false,"given":"Victor M.","family":"Preciado","sequence":"additional","affiliation":[{"name":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3388-8283","authenticated-orcid":false,"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[{"name":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/01691864.2017.1365009"},{"key":"ref2","first-page":"1","article-title":"Enforcing robust control guarantees within neural network policies","volume-title":"Proc. Int. Conf. Learn. Represent.","author":"Donti"},{"key":"ref3","first-page":"571","article-title":"Distributed neural network control with dependability guarantees: A compositional port-hamiltonian approach","volume-title":"Proc. Learn. Dyn. Control Conf.","author":"Furieri"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2021.09.173"},{"key":"ref7","first-page":"1724","article-title":"Safe nonlinear control using robust neural Lyapunov-barrier functions","volume-title":"Proc. Conf. Robot Learn.","author":"Dawson"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3398-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303896"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867652"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993046"},{"key":"ref12","first-page":"136","article-title":"OptNet: Differentiable optimization as a layer in neural networks","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Amos"},{"key":"ref13","first-page":"1","article-title":"Differentiable MPC for end-to-end planning and control","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"31","author":"Amos"},{"key":"ref14","first-page":"1","article-title":"Differentiable convex optimization layers","volume-title":"Proc. Adv. Neural Inf. Processing Syst.","volume":"32","author":"Agrawal"},{"key":"ref15","first-page":"1783","article-title":"Safe optimal control using stochastic barrier functions and deep forward-backward SDEs","volume-title":"Proc. Conf. Robot Learn.","author":"Pereira"},{"key":"ref16","article-title":"Safe model-based reinforcement learning using robust control barrier functions","author":"Emam","year":"2021","journal-title":"arXiv:2110.05415"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993146"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812398"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867620"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.23919\/ECC55457.2022.9838179"},{"key":"ref21","article-title":"BarrierNet: A safety-guaranteed layer for neural networks","author":"Xiao","year":"2021","journal-title":"arXiv:2111.11277"},{"key":"ref22","first-page":"1","article-title":"Adam: A method for stochastic optimization","volume-title":"Proc. 3rd Int. Conf. Learn. Represent.","author":"Kingma"},{"key":"ref23","first-page":"1","article-title":"Automatic differentiation in machine learning: A survey","volume":"18","author":"Baydin","year":"2018","journal-title":"J. Mach. Learn. Res."},{"key":"ref24","article-title":"Learning constrained adaptive differentiable predictive control policies with guarantees","author":"Drgona","year":"2020","journal-title":"arXiv:2004.11184"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992386"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4606-6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993181"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029455"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482626"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2018.8511342"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/7782633\/9828546\/10004041-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782633\/9828546\/10004041.pdf?arnumber=10004041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T02:48:04Z","timestamp":1707446884000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10004041\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2022.3233322","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}