Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Bernstein-based polynomial approach to study the stability of switched
  systems and formal verification using HOL Light   In this preliminary work, we propose to use a polynomial approach in order to
study the stability of switched systems. The proposed strategy is based on the
Bernstein interpolation method that may transform a switched system into a
polynomial expression from which an associated "simple" Lyapunov function can
be eventually built. The HOL Light proof assistant allows verifying formally
the Lyapunov functions that are identified from the proposed switching
structure. Our approach is illustrated by numerical examples.

6
The categories of this paper are: astro-ph
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an