Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Correctness Guarantees for the Composition of Lane Keeping and Adaptive
  Cruise Control   This paper develops a control approach with correctness guarantees for the
simultaneous operation of lane keeping and adaptive cruise control. The safety
specifications for these driver assistance modules are expressed in terms of
set invariance. Control barrier functions are used to design a family of
control solutions that guarantee the forward invariance of a set, which implies
satisfaction of the safety specifications. The control barrier functions are
synthesized through a combination of sum-of-squares program and physics-based
modeling and optimization. A real-time quadratic program is posed to combine
the control barrier functions with the performance-based controllers, which can
be either expressed as control Lyapunov function conditions or as black-box
legacy controllers. In both cases, the resulting feedback control guarantees
the safety of the composed driver assistance modules in a formally correct
manner. Importantly, the quadratic program admits a closed-form solution that
can be easily implemented. The effectiveness of the control approach is
demonstrated by simulations in the industry-standard vehicle simulator Carsim.

30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
15
The categories of this paper are: nucl-ex
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph