.png){kind=icon}
Return
Control Barrier Function-Based Attack Recovery With Provable Guarantees
.png){kind=icon}
PRE
AI
DOI：10.1109/tac.2026.3683371.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
This article investigates security guarantees for cyber-physical systems (CPS) against actuator attacks. We introduce a new attack-detection mechanism based on zeroing control barrier function conditions. We propose an adaptive recovery mechanism that responds based on the system’s proximity to safety violations. Our attack-detection mechanism has been proven to be sound, meaning that it consistently detects adversarial attacks without any false negatives. In addition, we propose a novel hybrid control law that addresses delays in attack detection and prevents Zeno behavior. We also propose a sampling-based method to verify whether a set is a viability domain for CPS. Finally, we employ a quadratic programming approach for synthesizing control laws for the hybrid control policy, utilizing the viability domain to ensure safety in the presence of adversarial attacks on system actuators. The efficacy of the proposed method is demonstrated in a simulation case study involving a quadrotor system.
Keywords:
Attack detection
control barrier functions (CBF)
nonlinear systems
Journal
IF:
7
Papers:
1.3W
Citations:
6.7W
Organization
Cited Papers
.png){kind=icon}
A Systematic Framework to Generate Invariants for Anomaly Detection in Industrial Control Systems
OAAI
OAAIShareSaveFault-Tolerant Model Predictive Control Trajectory Tracking for a Quadcopter with 4 Faulty Actuators
OAAI
OAAIShareSaveShareSaveShareSave
View more