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

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 …

Given the current capabilities of autonomous vehicles, one can easily imagine autonomous
vehicles being released on the road in the near future. However, it can be assumed that this …

In this paper, for the safety–critical systems with unmatched disturbances, a safe optimal
robust control method based on neural network is proposed to ensure that the safety–critical …

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

We propose a data-driven framework to compute an approximation of a minimal robust
control invariant set (mRCI) for an uncertain dynamical system where the model of the …

This paper introduces a notion of finite abstractions that can be used to synthesize robust
controllers for dynamical systems from temporal logic specifications. These finite …

This article aims at the safety-critical control synthesis of network systems such that the
satisfaction of the safety constraints can be guaranteed. To handle the large state dimension …

Many correct-by-construction control synthesis methods suffer from the curse of
dimensionality. Motivated by this challenge, we seek to reduce a correct-by-construction …

Composing controllers designed individually for interacting subsystems, while preserving
the guarantees that each controller provides for each subsystem, is a challenging task …