{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T14:13:59Z","timestamp":1756995239036,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T00:00:00Z","timestamp":1719273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T00:00:00Z","timestamp":1719273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,6,25]]},"DOI":"10.23919\/ecc64448.2024.10590909","type":"proceedings-article","created":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T17:48:23Z","timestamp":1721843303000},"page":"2265-2272","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis and Verification of Robust-Adaptive Safe Controllers"],"prefix":"10.23919","author":[{"given":"Simin","family":"Liu","sequence":"first","affiliation":[{"name":"Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA,15213"}]},{"given":"Kai S.","family":"Yun","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University,Mechanical Engineering Department,Pittsburgh,PA,USA,15213"}]},{"given":"John M.","family":"Dolan","sequence":"additional","affiliation":[{"name":"Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA,15213"}]},{"given":"Changliu","family":"Liu","sequence":"additional","affiliation":[{"name":"Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA,15213"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470374"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272309"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4396-3_11"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/j.ifacol.2015.11.152","article-title":"Robust-ness of control barrier functions for safety critical control","volume":"27","author":"Xu","year":"2015","journal-title":"IFAC-PapersOnLine"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.07.004"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111109"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147463"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482871"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483208"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/acc55779.2023.10156463"},{"journal-title":"A semi-algebraic framework for verification and synthesis of control barrier functions","year":"2022","author":"Clark","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/ACC55779.2023.10156043"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383434"},{"key":"ref14","first-page":"1970","article-title":"Safe control under input limits with neural control barrier functions","volume-title":"Conference on Robot Learning","author":"Liu","year":"2023"},{"key":"ref15","first-page":"739","article-title":"Safe control with neural network dynamic models","volume-title":"Learning for Dynamics and Control Conference","author":"Wei","year":"2022"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029720"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3231970"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2023.100840"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3182544"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3074895"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812398"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561894"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref25","first-page":"233","article-title":"Computing reach-able sets of hybrid systems using a combination of zono-topes and polytopes","volume":"2","author":"Althoff","year":"2010","journal-title":"Nonlinear analysis: hybrid systems"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461358"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.23919\/ACC55779.2023.10156496"},{"volume-title":"Structured semidefinite programs and semial-gebraic geometry methods in robustness and optimization","year":"2000","author":"Parrilo","key":"ref28"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BF01362149"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1287\/opre.50.1.42.17798"},{"key":"ref31","article-title":"On the robustness of the linear quadratic regulator via perturbation analysis of the Riccati equation","author":"Chen","year":"2015","journal-title":"PhD the-sis. Dublin City University"},{"volume-title":"SOSTOOLS: Sum of squares optimization toolbox for MAT-LAB","year":"2021","author":"Papachristodoulou","key":"ref32"},{"volume-title":"The MOSEK optimization toolbox for MATLAB manual","author":"ApS","key":"ref33"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2003.823000"},{"issue":"6","key":"ref35","doi-asserted-by":"crossref","first-page":"851","DOI":"10.1016\/0005-1098(94)00148-C","article-title":"Nonlinear control of a swinging pendulum","volume":"31","author":"Chung","year":"1995","journal-title":"Automatica"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2015.2459151"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/tsmc.1983.6313077"},{"volume-title":"Modelling and control of quadcopter","year":"2011","author":"Luukkonen","key":"ref38"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.2514\/6.2018-1266"}],"event":{"name":"2024 European Control Conference (ECC)","start":{"date-parts":[[2024,6,25]]},"location":"Stockholm, Sweden","end":{"date-parts":[[2024,6,28]]}},"container-title":["2024 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10590709\/10590710\/10590909.pdf?arnumber=10590909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T05:14:21Z","timestamp":1721884461000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10590909\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,25]]},"references-count":39,"URL":"https:\/\/doi.org\/10.23919\/ecc64448.2024.10590909","relation":{},"subject":[],"published":{"date-parts":[[2024,6,25]]}}}