Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Analytical Framework for Control Synthesis of Cyber-Physical Systems
  with Safety Guarantee   Cyber-physical systems (CPS) are required to operate safely under fault and
malicious attacks. The simplex architecture and the recently proposed cyber
resilient architectures, e.g., Byzantine fault tolerant++ (BFT++), provide
safety for CPS under faults and malicious cyber attacks, respectively. However,
these existing architectures make use of different timing parameters and
implementations to provide safety, and are seemingly unrelated. In this paper,
we propose an analytical framework to represent the simplex, BFT++ and other
practical cyber resilient architectures (CRAs). We construct a hybrid system
that models CPS adopting any of these architectures. We derive sufficient
conditions via our proposed framework under which a control policy is
guaranteed to be safe. We present an algorithm to synthesize the control
policy. We validate the proposed framework using a case study on lateral
control of a Boeing 747, and demonstrate that our proposed approach ensures
safety of the system.

26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
2
The categories of this paper are: math
37
The categories of this paper are: supr-con
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph