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 …

High-end vehicles are already equipped with safety systems, such as assistive braking and
automatic lane following, enhancing vehicle safety. Yet, these current solutions can only …

Current state-of-the-art vehicle safety systems, such as assistive braking or automatic lane
following, are still only able to help in relatively simple driving situations. We introduce a …

This technology can prevent accidents involving large vehicles, such as trucks or buses, by
selecting an optimal driving lane for safe autonomous driving. This paper proposes a …

Deep learning has been successfully applied to “end-to-end” learning of the autonomous
driving task, where a deep neural network learns to predict steering control commands from …

Active brake control systems are able to use more accurate control designs on the real-time
knowledge of wheel slip such as tire braking forces and external momentums. A multi …

When autonomous robots interact with humans, such as during autonomous driving, explicit
safety guarantees are crucial in order to avoid potentially life-threatening accidents. Many …

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 …

This paper addresses the fault isolation, estimation, and fault-tolerant control scheme for the
aircraft electric anti-skid braking system (EABS) in the presence of actuator and sensor …

Modern autonomous systems such as driverless vehicles need to safely operate in a wide
range of conditions. A potential solution is to employ a hybrid systems approach, where …