Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Compositional Construction of Control Barrier Functions for
  Interconnected Control Systems   In this paper, we provide a compositional framework for synthesizing hybrid
controllers for interconnected discrete-time control systems enforcing
specifications expressed by co-Buchi automata. In particular, we first
decompose the given specification to simpler reachability tasks based on
automata representing the complements of original co-Buchi automata. Then, we
provide a systematic approach to solve those simpler reachability tasks by
computing corresponding control barrier functions. We show that such control
barrier functions can be constructed compositionally by assuming some
small-gain type conditions and composing so-called local control barrier
functions computed for subsystems. We provide two systematic techniques to
search for local control barrier functions for subsystems based on the
sum-of-squares optimization program and counter-example guided inductive
synthesis approach. Finally, we illustrate the effectiveness of our results
through two large-scale case studies.

11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph