{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T10:20:10Z","timestamp":1784542810370,"version":"3.55.0"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Capgemini Engineering"},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"name":"United States Air Force Artificial Intelligence Accelerator","award":["FA8750-19-2-1000"],"award-info":[{"award-number":["FA8750-19-2-1000"]}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-18-1-2830"],"award-info":[{"award-number":["N00014-18-1-2830"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Robot."],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1109\/tro.2023.3249564","type":"journal-article","created":{"date-parts":[[2023,3,21]],"date-time":"2023-03-21T20:10:18Z","timestamp":1679429418000},"page":"2289-2307","source":"Crossref","is-referenced-by-count":107,"title":["BarrierNet: Differentiable Control Barrier Functions for Learning of Safe Robot Control"],"prefix":"10.1109","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9622-6415","authenticated-orcid":false,"given":"Wei","family":"Xiao","sequence":"first","affiliation":[{"name":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7259-5686","authenticated-orcid":false,"given":"Tsun-Hsuan","family":"Wang","sequence":"additional","affiliation":[{"name":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ramin","family":"Hasani","sequence":"additional","affiliation":[{"name":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6807-7042","authenticated-orcid":false,"given":"Makram","family":"Chahine","sequence":"additional","affiliation":[{"name":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9673-1267","authenticated-orcid":false,"given":"Alexander","family":"Amini","sequence":"additional","affiliation":[{"name":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2565-9883","authenticated-orcid":false,"given":"Xiao","family":"Li","sequence":"additional","affiliation":[{"name":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5473-3566","authenticated-orcid":false,"given":"Daniela","family":"Rus","sequence":"additional","affiliation":[{"name":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2377777"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029455"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3202088"},{"key":"ref15","first-page":"5998","article-title":"Attention is all you need","author":"vaswani","year":"0","journal-title":"Proc Int Conf Neural Inf Process"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i9.16936"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref58","first-page":"6572","article-title":"Neural ordinary differential equations","author":"chen","year":"0","journal-title":"Proc 32nd Int Conf Neural Inf Process Syst"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.2966414"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109592"},{"key":"ref11","first-page":"1041","article-title":"Episodic learning for safe bipedal locomotion with control barrier functions and projection-to-state safety","author":"csomay-shanklin","year":"0","journal-title":"Proc Learn Dyn Control"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812276"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147463"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812407"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1038\/s42256-022-00556-7"},{"key":"ref16","article-title":"Learning long-term dependencies in irregularly-sampled time series","author":"lechner","year":"2020"},{"key":"ref19","author":"bryson","year":"1969","journal-title":"Applied Optimal Control"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1038\/323533a0","article-title":"Learning representations by back-propagating errors","volume":"323","author":"rumelhart","year":"1986","journal-title":"Nature"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109333"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/BF01587086"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-021-00544-5"},{"key":"ref45","article-title":"Neural certificates for safe control policies","author":"jin","year":"2020"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867612"},{"key":"ref47","author":"khalil","year":"2002","journal-title":"Nonlinear Systems"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i13.17372"},{"key":"ref41","first-page":"6755","article-title":"GoTube: Scalable stochastic verification of continuous-depth models","volume":"36","author":"gruenbacher","year":"0","journal-title":"Proc AAAI Conf Artif Intell"},{"key":"ref44","article-title":"ShielDNN: A provably safe NN filter for unsafe NN controllers","author":"ferlez","year":"2020"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942130"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450542"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/j.ifacol.2015.11.152","article-title":"Robustness of control barrier functions for safety critical control","volume":"48","author":"xu","year":"2015","journal-title":"IFAC-PapersOnLine"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3009082"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00018"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460471"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7524935"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.088"},{"key":"ref5","first-page":"708","article-title":"Learning for safety-critical control with control barrier functions","author":"taylor","year":"0","journal-title":"Proc Learn Dyn Control"},{"key":"ref40","first-page":"905","article-title":"On exploration requirements for learning safety constraints","author":"massiani","year":"0","journal-title":"Proc Learn Dyn Control"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3005923"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341190"},{"key":"ref37","first-page":"1783","article-title":"Safe optimal control using stochastic barrier functions and deep forward-backward SDEs","author":"pereira","year":"0","journal-title":"Proc Conf Robot Learn"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294485"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109960"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683705"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303785"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3074895"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040372"},{"key":"ref39","first-page":"8299","article-title":"Differentiable MPC for end-to-end planning and control","author":"amos","year":"0","journal-title":"Proc 32nd Int Conf Neural Inf Process Syst"},{"key":"ref38","first-page":"136","article-title":"Optnet: Differentiable optimization as a layer in neural networks","volume":"70","author":"amos","year":"0","journal-title":"Proc 34th Int Conf Mach Learn"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref26","first-page":"1943","article-title":"Deep reactive planning in dynamic environments","author":"ota","year":"0","journal-title":"Proc Conf Robot Learn"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"ref20","author":"rawlings","year":"2017","journal-title":"Model Predictive Control Theory Computation and Design"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1038\/s42256-020-0225-y"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2013.IX.014"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814657"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3306157"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9682792"},{"key":"ref60","first-page":"12425","article-title":"Causal navigation by continuous-time neural networks","volume":"34","author":"vorbach","year":"0","journal-title":"Proc Adv Neural Inf Process Syst"}],"container-title":["IEEE Transactions on Robotics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8860\/10144918\/10077790.pdf?arnumber=10077790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T19:02:10Z","timestamp":1687806130000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10077790\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6]]},"references-count":60,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tro.2023.3249564","relation":{},"ISSN":["1552-3098","1941-0468"],"issn-type":[{"value":"1552-3098","type":"print"},{"value":"1941-0468","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6]]}}}