Hybrid Control Barrier Functions for Continuous-Time Systems

被引:1
|
作者
Marley, Mathias [1 ]
Skjetne, Roger [1 ]
Teel, Andrew R. [2 ]
机构
[1] Norwegian Univ Sci & Technol, Ctr Autonomous Marine Operat & Syst, Dept Marine Technol, N-7491 Trondheim, Norway
[2] Univ Calif Santa Barbara, Dept Elect & Comp Engn, Santa Barbara, CA 93106 USA
关键词
Safety; System recovery; Collision avoidance; Vectors; Switches; Task analysis; Robustness; Control barrier functions; hybrid feedback control; obstacle avoidance; safety; uniform global asymptotic stability; QUADRATIC PROGRAMS; DYNAMICAL-SYSTEMS; OBSTACLE AVOIDANCE; SAFETY; SETS; STABILIZATION; CERTIFICATES; INVARIANCE;
D O I
10.1109/TAC.2024.3374265
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Control barrier functions (CBFs) enable constraint satisfaction in controlled dynamical systems, by mapping state constraints into state-dependent input constraints. This article investigates the use of hybrid CBF formulations for constraint satisfaction in continuous-time systems. Augmenting CBFs with logic variables enables solving control problems that are not solvable by continuous, or even discontinuous, control. Examples include robust deadlock resolution for vehicles moving in the presence of bounded obstacles, and robust obstacle avoidance for nonholonomic vehicles required to maintain a nonzero forward speed. A recursive procedure for constructing hybrid high-order CBFs is proposed, thereby extending hybrid CBFs to systems with high-order safety constraints. The theoretical results are illustrated by several examples.
引用
收藏
页码:6605 / 6619
页数:15
相关论文
共 50 条
  • [31] Safety-Guaranteed and Task-Consistent Human-Robot Interaction Using High-Order Time-Varying Control Barrier Functions and Quadratic Programs
    Shi, Kaige
    Hu, Guoqiang
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2024, 9 (01) : 547 - 554
  • [32] Rule-Based Safe Probabilistic Movement Primitive Control via Control Barrier Functions
    Davoodi, Mohammadreza
    Iqbal, Asif
    Cloud, Joseph M.
    Beksi, William J.
    Gans, Nicholas R.
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, 20 (03) : 1500 - 1514
  • [33] Information Control Barrier Functions: Preventing Localization Failures in Mobile Systems Through Control
    Gessow, Samuel G.
    Thorne, David
    Lopez, Brett T.
    IEEE CONTROL SYSTEMS LETTERS, 2024, 8 : 3003 - 3008
  • [34] Dwell-time Control of Continuous-Time Switched Linear Systems
    Souza, Matheus
    Fioravanti, Andre R.
    Shorten, Robert N.
    2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 4661 - 4666
  • [35] Adaptive Control Barrier Functions
    Xiao, Wei
    Belta, Calin
    Cassandras, Christos G.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (05) : 2267 - 2281
  • [36] Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
    Yu, Pian
    Dimarogonas, Dimos, V
    AUTOMATICA, 2022, 145
  • [37] Systematic Design of Discrete-Time Control Barrier Functions Using Maximal Output Admissible Sets
    Freire, Victor
    Nicotra, Marco M.
    IEEE CONTROL SYSTEMS LETTERS, 2023, 7 : 1891 - 1896
  • [38] On Resilience Guarantees by Finite-Time Robust Control Barrier Functions With Application to Power Inverter Networks
    Hassan, Kamil
    Selvaratnam, Daniel
    Sandberg, Henrik
    IEEE OPEN JOURNAL OF CONTROL SYSTEMS, 2024, 3 : 497 - 513
  • [39] Path-Complete Lyapunov Functions for Continuous-Time Switching Systems
    Della Rossa, Matteo
    Pasquini, Mirko
    Angeli, David
    2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 3279 - 3284
  • [40] Safety of Dynamical Systems With Multiple Non-Convex Unsafe Sets Using Control Barrier Functions
    Notomista, Gennaro
    Saveriano, Matteo
    IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 1136 - 1141