Safe Control for Nonlinear Systems Under Faults and Attacks via Control Barrier Functions
- 19 May 2025
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 70 (11) , 7334-7349
Abstract
Safety is one of the most important properties of control systems. Sensor faults and attacks and actuator failures may cause errors in the sensor measurements and system dynamics, which leads to erroneous control inputs and hence safety violations. In this article, we improve the robustness against sensor faults and actuator failures by proposing a class of fault-tolerant control barrier functions (FT-CBFs) for nonlinear systems. Our approach maintains a set of state estimators according to fault patterns and incorporates CBF-based constraints to ensure safety under sensor faults. We then propose a framework for joint safety and stability by integrating FT-CBFs with control Lyapunov functions. By utilizing redundancy, we proposed high order CBF-based approach to ensure safety when actuator failures occur. We propose a sum-of-squares-based approach to verify the feasibility of FT-CBFs for both sensor faults and actuator failures. We evaluate our approach via two case studies, namely, a wheeled mobile robot system in the presence of a sensor attack and a Boeing 747 lateral control system under actuator failures.Keywords
All Related Versions
Funding Information
- National Science Foundation (CNS-2303563, CMMI-2418806)
- Air Force Office of Scientific Research (FA9550-22-1-0054)
This publication has 62 references indexed in Scilit:
- Sliding mode control of persistent dwell-time switched systems with random data dropoutsApplied Mathematics and Computation, 2021
- Extended dissipative sliding mode control for nonlinear networked control systems via event-triggered mechanism with random uncertain measurementApplied Mathematics and Computation, 2021
- Safe reinforcement learning: A control barrier function optimization approachInternational Journal of Robust and Nonlinear Control, 2020
- Controller synthesis for safety and reachability via approximate bisimulationAutomatica, 2012
- Fault-tolerant control systems: A comparative study between active and passive approachesAnnual Reviews in Control, 2012
- Finite-time stability and instability of stochastic nonlinear systemsAutomatica, 2011
- Adaptive actuator failure compensation control of uncertain nonlinear systems with guaranteed transient performanceAutomatica, 2010
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata2008
- Semidefinite programming relaxations for semialgebraic problemsMathematical Programming, 2003
- Lehrbuch der Analysis2000