Learning-based methods have been successful in solving complex control tasks without
significant prior knowledge about the system. However, these methods typically do not …

Ensuring that autonomous vehicles do not cause accidents remains a challenge. We
present a formal verification technique for guaranteeing legal safety in arbitrary urban traffic …

A comprehensive introduction to hybrid control systems and design Hybrid control systems
exhibit both discrete changes, or jumps, and continuous changes, or flow. An example of a …

Reward engineering is an important aspect of reinforcement learning. Whether or not the
users' intentions can be correctly encapsulated in the reward function can significantly …

In this paper, tools to study forward invariance properties with robustness to disturbances,
referred to as robust forward invariance, are proposed for hybrid dynamical systems …

In this article, an adaptive cruise control algorithm with braking energy recovery is proposed.
First, the influence of the working characteristics of motor and battery on the energy recovery …

Monotone systems are prevalent in models of engineering applications such as
transportation and biological networks. In this paper, we investigate the problem of finding a …

We formulate the Asymmetric Cell Transmission Model (ACTM) as a piecewise affine system
defined over regions of the state and input space. We synthesize a hybrid Model Predictive …

With the ongoing rise of demand in traffic networks, congestion control has become of major
importance for urban areas. In this paper, we introduce the notion of network utility …

Ramp metering is proved to be an effective strategy for reducing or avoiding freeway traffic
congestion. As a result, huge amount of research has been conducted on synthesizing …