Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Control Barrier Functions: Theory and Applications   This paper provides an introduction and overview of recent work on control
barrier functions and their use to verify and enforce safety properties in the
context of (optimization based) safety-critical controllers. We survey the main
technical results and discuss applications to several domains including robotic
systems.

15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th