Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval
  Temporal Logic Objectives under Timing and Actuator Attacks   This paper studies the synthesis of controllers for cyber-physical systems
(CPSs) that are required to carry out complex tasks that are time-sensitive, in
the presence of an adversary. The task is specified as a formula in metric
interval temporal logic (MITL). The adversary is assumed to have the ability to
tamper with the control input to the CPS and also manipulate timing information
perceived by the CPS. In order to model the interaction between the CPS and the
adversary, and also the effect of these two classes of attacks, we define an
entity called a durational stochastic game (DSG). DSGs probabilistically
capture transitions between states in the environment, and also the time taken
for these transitions. With the policy of the defender represented as a finite
state controller (FSC), we present a value-iteration based algorithm that
computes an FSC that maximizes the probability of satisfying the MITL
specification under the two classes of attacks. A numerical case-study on a
signalized traffic network is presented to illustrate our results.

6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat