Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Adaptive Fault Detection exploiting Redundancy with Uncertainties in
  Space and Time   The Internet of Things (IoT) connects millions of devices of different
cyber-physical systems (CPSs) providing the CPSs additional (implicit)
redundancy during runtime. However, the increasing level of dynamicity,
heterogeneity, and complexity adds to the system's vulnerability, and
challenges its ability to react to faults. Self-healing is an increasingly
popular approach for ensuring resilience, that is, a proper monitoring and
recovery, in CPSs. This work encodes and searches an adaptive knowledge base in
Prolog/ProbLog that models relations among system variables given that certain
implicit redundancy exists in the system. We exploit the redundancy represented
in our knowledge base to generate adaptive runtime monitors which compares
related signals by considering uncertainties in space and time. This enables
the comparison of uncertain, asynchronous, multi-rate and delayed measurements.
The monitor is used to trigger the recovery process of a self-healing
mechanism. We demonstrate our approach by deploying it in a real-world CPS
prototype of a rover whose sensors are susceptible to failure.

5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
4
The categories of this paper are: cond-mat
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
37
The categories of this paper are: supr-con