Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Cause Mining and Controller Synthesis with STL   Formal control of cyber-physical systems allows for synthesis of control
strategies from rich specifications such as temporal logics. However, the
classes of systems that the formal approaches can be applied to is limited due
to the computational complexity. Furthermore, the synthesis problem becomes
even harder when non-determinism or stochasticity is considered. In this work,
we propose an alternative approach. First, we mark the unwanted events on the
traces of the system and generate a controllable cause representing these
events as a Signal Temporal Logic (STL) formula. Then, we synthesize a
controller based on this formula to avoid the satisfaction of it. Our approach
is applicable to any system with finitely many control choices. While we can
not guarantee correctness, i.e., the unwanted events will never occur, we show
on an example that the proposed approach reduces the number of the unwanted
events. In particular, we validate it for the congestion avoidance problem in a
traffic network.

11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
16
The categories of this paper are: stat
2
The categories of this paper are: math
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys