Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computing the average inter-sample time of event-triggered control using
  quantitative automata   Event-triggered control (ETC) is a major recent development in cyber-physical
systems due to its capability of reducing resource utilization in networked
devices. However, while most of the ETC literature reports simulations
indicating massive reductions in the sampling required for control, no method
so far has been capable of quantifying these results. In this work, we propose
an approach through finite-state abstractions to do formal quantification of
the traffic generated by ETC of linear systems, in particular aiming at
computing its smallest average inter-sample time (SAIST). The method involves
abstracting the traffic model through $l$-complete abstractions, finding the
cycle of minimum average length in the graph associated to it, and verifying
whether this cycle is an infinitely recurring traffic pattern. The method is
proven to be robust to sufficiently small model uncertainties, which allows its
application to compute the SAIST of ETC of nonlinear systems.

4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn