Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Diagnosis and Repair for Synthesis from Signal Temporal Logic
  Specifications   We address the problem of diagnosing and repairing specifications for hybrid
systems formalized in signal temporal logic (STL). Our focus is on the setting
of automatic synthesis of controllers in a model predictive control (MPC)
framework. We build on recent approaches that reduce the controller synthesis
problem to solving one or more mixed integer linear programs (MILPs), where
infeasibility of a MILP usually indicates unrealizability of the controller
synthesis problem. Given an infeasible STL synthesis problem, we present
algorithms that provide feedback on the reasons for unrealizability, and
suggestions for making it realizable. Our algorithms are sound and complete,
i.e., they provide a correct diagnosis, and always terminate with a non-trivial
specification that is feasible using the chosen synthesis method, when such a
solution exists. We demonstrate the effectiveness of our approach on the
synthesis of controllers for various cyber-physical systems, including an
autonomous driving application and an aircraft electric power system.

3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat