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 …

This paper addresses the stability of traffic flow on a highway when the vehicles operate
under an adaptive cruise-control (ACC) system. These systems are commonly designed to …

Motivated by the challenge of developing control software provably meeting specifications
for real-world problems, this paper applies formal methods to adaptive cruise control (ACC) …

This paper develops a control methodology that unifies control barrier functions and control
Lyapunov functions through quadratic programs. The result is demonstrated on adaptive …

There are two kinds of stability associated with traffic flow problems–string stability (or car-
following stability) and traffic flow stability. We provide a clear distinction between traffic flow …

This paper considers the design and stability analysis of a steering controller. The objective
of the controller is to steer a ground vehicle along a reference line located in the middle of …

This paper develops a framework for the design and evaluation of spacing policies for
adaptive cruise control. Spacing policies are evaluated from the point of view of string …

Safety critical systems involve the tight coupling between potentially conflicting control
objectives and safety constraints. As a means of creating a formal framework for controlling …

Recent advances in automotive technology, such as, sensing and onboard computation,
have resulted in the development of adaptive cruise control (ACC) algorithms that improve …

Adaptive cruise control is one of the most common comfort features of road vehicles. Despite
its large market penetration, current systems are not safe in all driving conditions and require …