Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Offline and online monitoring of scattered uncertain logs using
  uncertain linear dynamical systems   Monitoring the correctness of distributed cyber-physical systems is
essential. We address the analysis of the log of a black-box cyber-physical
system. Detecting possible safety violations can be hard when some samples are
uncertain or missing. In this work, the log is made of values known with some
uncertainty; in addition, we make use of an over-approximated yet expressive
model, given by a non-linear extension of dynamical systems. Given an offline
log, our approach is able to monitor the log against safety specifications with
a limited number of false alarms. As a second contribution, we show that our
approach can be used online to minimize the number of sample triggers, with the
aim at energetic efficiency. We apply our approach to two benchmarks, an
anesthesia model and an adaptive cruise controller.

32
The categories of this paper are: atom-ph
27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
0
The categories of this paper are: hep-ph
17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg