Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Supervisor Obfuscation Against Actuator Enablement Attack   In this paper, we propose and address the problem of supervisor obfuscation
against actuator enablement attack, in a common setting where the actuator
attacker can eavesdrop the control commands issued by the supervisor. We
propose a method to obfuscate an (insecure) supervisor to make it resilient
against actuator enablement attack in such a way that the behavior of the
original closed-loop system is preserved. An additional feature of the
obfuscated supervisor, if it exists, is that it has exactly the minimum number
of states among the set of all the resilient and behavior-preserving
supervisors. Our approach involves a simple combination of two basic ideas: 1)
a formulation of the problem of computing behavior-preserving supervisors as
the problem of computing separating finite state automata under controllability
and observability constraints, which can be efficiently tackled by using modern
SAT solvers, and 2) the use of a recently proposed technique for the
verification of attackability in our setting, with a normality assumption
imposed on both the actuator attackers and supervisors.

37
The categories of this paper are: supr-con
16
The categories of this paper are: stat
4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin