Hybrid Control Barrier Functions for Continuous-Time Systems

• 成果类型: Article
• 署名作者: Marley, Mathias; Skjetne, Roger; Teel, Andrew R.
• 署名单位: Norwegian University of Science & Technology (NTNU); University of California System; University of California Santa Barbara
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3374265
• 发表日期: 2024
• 页码: 6605-6619
• 关键词: safety; System recovery; Collision avoidance; vectors; switches; Task analysis; Robustness; Control barrier functions; hybrid feedback control; obstacle avoidance; safety; uniform global asymptotic stability

摘要

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.