When will automated vehicles come onto the market? This question has puzzled the
automotive industry and society for years. The technology and its implementation have …

In this review, we provide an overview of emerging trends and challenges in the field of
intelligent and autonomous, or self-driving, vehicles. Recent advances in the field of …

Progress in battery technology accelerates the transition of battery management system
(BMS) from a mere monitoring unit to a multifunction integrated one. It is necessary to …

In this paper, we present results regarding the experimental validation of connected
automated vehicle design. In order for a connected automated vehicle to integrate well with …

The state of the art of modelling, control, and optimisation is discussed for automated road
vehicles that may utilise wireless vehicle-to-everything (V2X) connectivity. The appropriate …

This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane kee** and adaptive cruise control. The safety specifications for these …

We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …

Endowing nonlinear systems with safe behavior is increasingly important in modern control.
This task is particularly challenging for real-life control systems that operate in dynamically …

This paper addresses the problem of following a vehicle with varying acceleration in a
comfortable and safe manner. Our architecture consists of a nominal controller (here: model …

Abstract Adaptive Cruise Control (ACC) systems have been expected to solve many
problems of motorway traffic. Now that they are widespread, it is observed that the majority of …