Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Characterization of Lyapunov Inequalities for Stability of Switched
  Systems   We study stability criteria for discrete-time switched systems and provide a
meta-theorem that characterizes all Lyapunov theorems of a certain canonical
type. For this purpose, we investigate the structure of sets of LMIs that
provide a sufficient condition for stability. Various such conditions have been
proposed in the literature in the past fifteen years. We prove in this note
that a family of languagetheoretic conditions recently provided by the authors
encapsulates all the possible LMI conditions, thus putting a conclusion to this
research effort. As a corollary, we show that it is PSPACE-complete to
recognize whether a particular set of LMIs implies stability of a switched
system. Finally, we provide a geometric interpretation of these conditions, in
terms of existence of an invariant set.

35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg