Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Compositional Abstractions of Interconnected Discrete-Time Switched
  Systems   In this paper, we introduce a compositional method for the construction of
finite abstractions of interconnected discrete-time switched systems.
Particularly, we use a notion of so-called alternating simulation function as a
relation between each switched subsystem and its finite abstraction. Based on
some small-gain type conditions, we use those alternating simulation functions
to construct compositionally an overall alternating simulation function as a
relation between an interconnection of finite abstractions and that of switched
subsystems. This overall alternating simulation function allows one to quantify
the mismatch between the output behavior of the interconnection of switched
subsystems and that of their finite abstractions. Additionally, we provide an
approach to construct finite abstractions together with their corresponding
alternating simulation functions for discrete-time switched subsystems under
standard assumptions ensuring incremental input-to-state stability of a
switched subsystem. Finally, we apply our results to a model of road traffic by
constructing compositionally a finite abstraction of the network containing
$50$ cells of $1000$ meters each. We use the constructed finite abstractions as
substitutes to design controllers compositionally keeping the density of
traffic lower than $30$ vehicles per cell.

16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph