Preventing Inactive CBF Safety Filters Caused by Invalid Relative Degree Assumptions

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Brunke, Lukas, Zhou, Siqi, Schoellig, Angela P.
Formato: Preprint
Publicado: 2024
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866916930371190784
author Brunke, Lukas
Zhou, Siqi
Schoellig, Angela P.
author_facet Brunke, Lukas
Zhou, Siqi
Schoellig, Angela P.
contents Control barrier function (CBF) safety filters emerged as a popular framework to certify and modify potentially unsafe control inputs, for example, provided by a reinforcement learning agent or a non-expert user. Typical CBF safety filter designs assume that the system has a uniform relative degree. This assumption is restrictive and is frequently overlooked in practice. When violated, the assumption can cause the safety filter to become inactive, allowing large and possibly unsafe control inputs to be applied to the system. In discrete-time implementations, the inactivity issue is often manifested as chattering close to the safety boundary and/or constraint violations. In this work, we provide an in-depth discussion on the safety filter inactivity issue, propose a mitigation strategy based on multiple CBFs, and derive an upper bound on the sampling time for safety under sampled-data control. The effectiveness of our proposed method is validated through both simulation and quadrotor experiments.
format Preprint
id arxiv_https___arxiv_org_abs_2409_11171
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Preventing Inactive CBF Safety Filters Caused by Invalid Relative Degree Assumptions
Brunke, Lukas
Zhou, Siqi
Schoellig, Angela P.
Systems and Control
Control barrier function (CBF) safety filters emerged as a popular framework to certify and modify potentially unsafe control inputs, for example, provided by a reinforcement learning agent or a non-expert user. Typical CBF safety filter designs assume that the system has a uniform relative degree. This assumption is restrictive and is frequently overlooked in practice. When violated, the assumption can cause the safety filter to become inactive, allowing large and possibly unsafe control inputs to be applied to the system. In discrete-time implementations, the inactivity issue is often manifested as chattering close to the safety boundary and/or constraint violations. In this work, we provide an in-depth discussion on the safety filter inactivity issue, propose a mitigation strategy based on multiple CBFs, and derive an upper bound on the sampling time for safety under sampled-data control. The effectiveness of our proposed method is validated through both simulation and quadrotor experiments.
title Preventing Inactive CBF Safety Filters Caused by Invalid Relative Degree Assumptions
topic Systems and Control
url https://arxiv.org/abs/2409.11171