Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Counter-Example Guided Framework for Robust Synthesis of Switched
  Systems Using Control Certificates   In this article, the problem of synthesizing switching controllers is
considered through the synthesis of a "control certificate". Control
certificates include control barrier and Lyapunov functions, which represent
control strategies, and allow for automatic controller synthesis. Our approach
encodes the controller synthesis problem as quantified nonlinear constraints.
We extend an approach called Counterexample Guided Inductive Synthesis (CEGIS),
originally proposed for program synthesis problems, to solve the resulting
constraints. The CEGIS procedure involves the use of satisfiability-modulo
theory (SMT) solvers to automate the problem of synthesizing control
certificates. In this paper, we examine generalizations of CEGIS to attempt a
richer class of specifications, including reach-while-stay with obstacles and
control under disturbances. We demonstrate the ability of our approach to
handle systems with nonpolynomial dynamics as well. The abilities of our
general framework are demonstrated through a set of interesting examples. Our
evaluation suggests that our approach is computationally feasible, and adds to
the growing body of formal approaches to controller synthesis.

33
The categories of this paper are: plasm-ph
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th