Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Control barrier function based attack-recovery with provable guarantees   This paper studies provable security guarantees for cyber-physical systems
(CPS) under actuator attacks. In particular, we consider CPS safety and propose
a new attack-detection mechanism based on a zeroing control barrier function
(ZCBF) condition. In addition we design an adaptive recovery mechanism based on
how close the system is from violating safety. We show that the
attack-detection mechanism is sound, i.e., there are no false negatives for
adversarial attacks. Finally, we use a Quadratic Programming (QP) approach for
online recovery (and nominal) control synthesis. We demonstrate the
effectiveness of the proposed method in a simulation case study involving a
quadrotor with an attack on its motors.

9
The categories of this paper are: nlin
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph