Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Robust Supervisors for Intersection Collision Avoidance in the Presence
  of Uncontrolled Vehicles   We present the design and validation of a centralized controller, called a
supervisor, for collision avoidance of multiple human-driven vehicles at a road
intersection, considering measurement errors, unmodeled dynamics, and
uncontrolled vehicles. We design the supervisor to be least restrictive, that
is, to minimize its interferences with human drivers. This performance metric
is given a precise mathematical form by splitting the design process into two
subproblems: verification problem and supervisor-design problem. The
verification problem determines whether an input signal exists that makes
controlled vehicles avoid collisions at all future times. The supervisor is
designed such that if the verification problem returns yes, it allows the
drivers' desired inputs; otherwise, it overrides controlled vehicles to prevent
collisions. As a result, we propose exact and efficient supervisors. The exact
supervisor solves the verification problem exactly but with combinatorial
complexity. In contrast, the efficient supervisor solves the verification
problem within a quantified approximation bound in polynomially bounded time
with the number of controlled vehicles. We validate the performances of both
supervisors through simulation and experimental testing.

13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an