Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Stability and Performance Verification of Optimization-based Controllers   This paper presents a method to verify closed-loop properties of
optimization-based controllers for deterministic and stochastic constrained
polynomial discrete-time dynamical systems. The closed-loop properties amenable
to the proposed technique include global and local stability, performance with
respect to a given cost function (both in a deterministic and stochastic
setting) and the $\mathcal{L}_2$ gain. The method applies to a wide range of
practical control problems: For instance, a dynamical controller (e.g., a PID)
plus input saturation, model predictive control with state estimation, inexact
model and soft constraints, or a general optimization-based controller where
the underlying problem is solved with a fixed number of iterations of a
first-order method are all amenable to the proposed approach.
  The approach is based on the observation that the control input generated by
an optimization-based controller satisfies the associated Karush-Kuhn-Tucker
(KKT) conditions which, provided all data is polynomial, are a system of
polynomial equalities and inequalities. The closed-loop properties can then be
analyzed using sum-of-squares (SOS) programming.

12
The categories of this paper are: nucl-th
19
The categories of this paper are: eess
21
The categories of this paper are: adap-org
1
The categories of this paper are: cs
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
34
The categories of this paper are: chem-ph
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg