{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T18:26:25Z","timestamp":1732040785280},"reference-count":31,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IFAC-PapersOnLine"],"published-print":{"date-parts":[[2021]]},"DOI":"10.1016\/j.ifacol.2021.08.465","type":"journal-article","created":{"date-parts":[[2021,9,9]],"date-time":"2021-09-09T22:30:01Z","timestamp":1631226601000},"page":"1-6","source":"Crossref","is-referenced-by-count":22,"title":["Learning Robust Hybrid Control Barrier Functions for Uncertain Systems"],"prefix":"10.1016","volume":"54","author":[{"given":"Alexander","family":"Robey","sequence":"first","affiliation":[]},{"given":"Lars","family":"Lindemann","sequence":"additional","affiliation":[]},{"given":"Stephen","family":"Tu","sequence":"additional","affiliation":[]},{"given":"Nikolai","family":"Matni","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ifacol.2021.08.465_bib0001","doi-asserted-by":"crossref","unstructured":"Agrawal, A. and Sreenath, K. (2017). Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation. In Robotics: Science and Systems.","DOI":"10.15607\/RSS.2017.XIII.073"},{"key":"10.1016\/j.ifacol.2021.08.465_bib0002","doi-asserted-by":"crossref","unstructured":"Ames, A.D., Coogan, S., Egerstedt, M., Notomista, G., Sreenath, K., and Tabuada, P. (2019). Control barrier functions: Theory and applications. In Proc. Europ. Control Conf., 3420\u20133431. Naples, Italy.","DOI":"10.23919\/ECC.2019.8796030"},{"issue":"8","key":"10.1016\/j.ifacol.2021.08.465_bib0003","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":"10.1016\/j.ifacol.2021.08.465_bib0004","doi-asserted-by":"crossref","unstructured":"Bisoffi, A. and Dimarogonas, D.V. (2018). A hybrid barrier certificate approach to satisfy linear temporal logic specifications. In Proc. Am. Control Conf., 634\u2013 639.","DOI":"10.23919\/ACC.2018.8430795"},{"key":"10.1016\/j.ifacol.2021.08.465_bib0005","unstructured":"Boffi, N.M., Tu, S., Matni, N., Slotine, J.J.E., and Sind-hwani, V. (2020). Learning stability certificates from data. arXiv preprint arXiv:2008.05952."},{"key":"10.1016\/j.ifacol.2021.08.465_bib0006","unstructured":"Chamon, L.F. and Ribeiro, A. (2020). Probably approximately correct constrained learning. arXiv preprint arXiv:2006.05487."},{"key":"10.1016\/j.ifacol.2021.08.465_bib0007","doi-asserted-by":"crossref","unstructured":"Chen, S., Fazlyab, M., Morari, M., Pappas, G.J., and Preciado, V.M. (2020). Learning lyapunov functions for hybrid systems. arXiv preprint arXiv:2012.12015.","DOI":"10.1145\/3447928.3456644"},{"key":"10.1016\/j.ifacol.2021.08.465_bib0008","unstructured":"Ferlez, J., Elnaggar, M., Shoukry, Y., and Fleming, C. (2020). Shieldnn: A provably safe nn filter for unsafe nn controllers. arXiv preprint arXiv:2006.09564."},{"key":"10.1016\/j.ifacol.2021.08.465_bib0009","series-title":"Hybrid Dynamical Systems: modeling, stability, and robustness","author":"Goebel","year":"2012"},{"key":"10.1016\/j.ifacol.2021.08.465_bib00010","doi-asserted-by":"crossref","unstructured":"Goswami, A., Espiau, B., and Keramane, A. (1996). Limit cycles and their stability in a passive bipedal gait. In Proc. Conf. Robot. Autom., 246\u2013251.","DOI":"10.1109\/ROBOT.1996.503785"},{"issue":"3","key":"10.1016\/j.ifacol.2021.08.465_bib00011","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1023\/A:1008844026298","article-title":"Limit cycles in a passive compass gait biped and passivity-mimicking control laws","volume":"4","author":"Goswami","year":"1997","journal-title":"Auton. Robots"},{"key":"10.1016\/j.ifacol.2021.08.465_bib00012","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/j.automatica.2018.07.004","article-title":"Robust control barrier functions for constrained stabilization of nonlinear systems","volume":"96","author":"Jankovic","year":"2018","journal-title":"Automat-ica"},{"key":"10.1016\/j.ifacol.2021.08.465_bib00013","unstructured":"Jin, W., Wang, Z., Yang, Z., and Mou, S. (2020). Neural certificates for safe control policies. arXiv preprint arXiv:2006.08465."},{"issue":"6","key":"10.1016\/j.ifacol.2021.08.465_bib00014","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1016\/j.robot.2014.03.001","article-title":"Learning control lyapunov function to ensure stability of dynamical system-based robot reaching motions","volume":"62","author":"Khansari-Zadeh","year":"2014","journal-title":"Robot. Autonom. Syst."},{"issue":"1","key":"10.1016\/j.ifacol.2021.08.465_bib00015","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1109\/LCSYS.2018.2853698","article-title":"Input-to-state safety with control barrier functions","volume":"3","author":"Kolathaya","year":"2018","journal-title":"IEEE Control Systems Letters"},{"issue":"6","key":"10.1016\/j.ifacol.2021.08.465_bib00016","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal-logic-based reactive mission and motion planning","volume":"25","author":"Kress-Gazit","year":"2009","journal-title":"IEEE Trans. Robot."},{"key":"10.1016\/j.ifacol.2021.08.465_bib00017","unstructured":"Lindemann, L., Hu, H., Robey, A., Zhang, H., Dimarogo-nas, D.V., Tu, S., and Matni, N. (2020). Learning hybrid control barrier functions from data. In Conference on Robot Learning. PMLR."},{"key":"10.1016\/j.ifacol.2021.08.465_bib00018","doi-asserted-by":"crossref","unstructured":"Maghenem, M. and Sanfelice, R.G. (2019). Characterizations of safety in hybrid inclusions via barrier functions. In Proc. Conf. Hybrid Syst.: Comp. Control, 109\u2013118.","DOI":"10.1145\/3302504.3311816"},{"issue":"5","key":"10.1016\/j.ifacol.2021.08.465_bib00019","doi-asserted-by":"crossref","first-page":"1186","DOI":"10.1109\/TRO.2019.2920206","article-title":"Barrier-certified adaptive reinforcement learning with applications to brushbot navigation","volume":"35","author":"Ohnishi","year":"2019","journal-title":"IEEE Transactions on robotics"},{"issue":"8","key":"10.1016\/j.ifacol.2021.08.465_bib00020","doi-asserted-by":"crossref","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","article-title":"A framework for worst-case and stochastic safety verification using barrier certificates","volume":"52","author":"Prajna","year":"2007","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.ifacol.2021.08.465_bib00021","doi-asserted-by":"crossref","unstructured":"Robey, A., Hu, H., Lindemann, L., Zhang, H., Dimarog-onas, D.V., Tu, S., and Matni, N. (2020). Learning control barrier functions from expert demonstrations. In Proc. Conf. Decis. Control.","DOI":"10.1109\/CDC42340.2020.9303785"},{"key":"10.1016\/j.ifacol.2021.08.465_bib00022","doi-asserted-by":"crossref","unstructured":"Robey, A., Lindemann, L., Tu, S., and Matni, N. (2021). Learning robust hybrid control barrier functions for uncertain systems. arXiv preprint arXiv:2101.06492.","DOI":"10.1016\/j.ifacol.2021.08.465"},{"key":"10.1016\/j.ifacol.2021.08.465_bib00023","doi-asserted-by":"crossref","unstructured":"Saveriano, M. and Lee, D. (2019). Learning barrier functions for constrained motion planning with dynamical systems. In Proc. Conf. Intel. Robots Syst.","DOI":"10.1109\/IROS40897.2019.8967981"},{"key":"10.1016\/j.ifacol.2021.08.465_bib00024","doi-asserted-by":"crossref","DOI":"10.1146\/annurev-control-060117-105157","article-title":"Planning and decision-making for autonomous vehicles","author":"Schwarting","year":"2018","journal-title":"An. Review Control, Robot., and Auton. Syst."},{"key":"10.1016\/j.ifacol.2021.08.465_bib00025","doi-asserted-by":"crossref","unstructured":"Srinivasan, M., Dabholkar, A., Coogan, S., and Vela, P. (2020). Synthesis of control barrier functions using a supervised machine learning approach. arXiv preprint arXiv:2003.04950.","DOI":"10.1109\/IROS45743.2020.9341190"},{"key":"10.1016\/j.ifacol.2021.08.465_bib00026","unstructured":"Tedrake, R. and the Drake Development Team (2019). Drake: Model-based design and verification for robotics. URL https:\/\/drake.mit.edu."},{"key":"10.1016\/j.ifacol.2021.08.465_bib00027","doi-asserted-by":"crossref","unstructured":"Wang, L., Han, D., and Egerstedt, M. (2018). Permissive barrier certificates for safe stabilization using sum-of-squares. In Proc. Am. Control Conf., 585\u2013590.","DOI":"10.23919\/ACC.2018.8431617"},{"key":"10.1016\/j.ifacol.2021.08.465_bib00028","doi-asserted-by":"crossref","unstructured":"Wieland, P. and Allg\u00f6wer, F. (2007). Constructive safety using control barrier functions. In Proc. IFAC Symp. Nonlin. Control Syst., 462\u2013467. Pretoria, South Africa.","DOI":"10.3182\/20070822-3-ZA-2920.00076"},{"issue":"3","key":"10.1016\/j.ifacol.2021.08.465_bib00029","doi-asserted-by":"crossref","first-page":"1216","DOI":"10.1109\/TASE.2017.2760863","article-title":"Correctness guarantees for the composition of lane keeping and adaptive cruise control","volume":"15","author":"Xu","year":"2017","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"10.1016\/j.ifacol.2021.08.465_bib00030","doi-asserted-by":"crossref","unstructured":"Xu, X., Tabuada, P., Grizzle, J.W., and Ames, A.D. (2015). Robustness of control barrier functions for safety critical control. In Proc. Conf. Analys. Design Hybrid Syst., volume 48, 54\u201361.","DOI":"10.1016\/j.ifacol.2015.11.152"},{"key":"10.1016\/j.ifacol.2021.08.465_bib00031","doi-asserted-by":"crossref","unstructured":"Yaghoubi, S., Fainekos, G., and Sankaranarayanan, S. (2020). Training neural network controllers using control barrier functions in the presence of disturbances. arXiv preprint arXiv:2001.08088.","DOI":"10.1109\/ITSC45102.2020.9294485"}],"container-title":["IFAC-PapersOnLine"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2405896321012404?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2405896321012404?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,12,8]],"date-time":"2021-12-08T18:02:38Z","timestamp":1638986558000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2405896321012404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":31,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021]]}},"alternative-id":["S2405896321012404"],"URL":"https:\/\/doi.org\/10.1016\/j.ifacol.2021.08.465","relation":{},"ISSN":["2405-8963"],"issn-type":[{"value":"2405-8963","type":"print"}],"subject":[],"published":{"date-parts":[[2021]]}}}