A Control Architecture for Provably-Correct Autonomous Driving

by   Erfan Aasi, et al.

This paper presents a novel two-level control architecture for a fully autonomous vehicle in a deterministic environment, which can handle traffic rules as specifications and low-level vehicle control with real-time performance. At the top level, we use a simple representation of the environment and vehicle dynamics to formulate a linear Model Predictive Control (MPC) problem. We describe the traffic rules and safety constraints using Signal Temporal Logic (STL) formulas, which are mapped to mixed integer-linear constraints in the optimization problem. The solution obtained at the top level is used at the bottom-level to determine the best control command for satisfying the constraints in a more detailed framework. At the bottom-level, specification-based runtime monitoring techniques, together with detailed representations of the environment and vehicle dynamics, are used to compensate for the mismatch between the simple models used in the MPC and the real complex models. We obtain substantial improvements over existing approaches in the literature in the sense of runtime performance and we validate the effectiveness of our proposed control approach in the simulator CARLA.



There are no comments yet.


page 1

page 2

page 3

page 4


TS-MPC for Autonomous Vehicle using a Learning Approach

In this paper, the Model Predictive Control (MPC) and Moving Horizon Est...

Model Predictive Control for Autonomous Driving considering Actuator Dynamics

In this paper, we propose a new model predictive control (MPC) formulati...

Autonomous Racing with Multiple Vehicles using a Parallelized Optimization with Safety Guarantee using Control Barrier Functions

This paper presents a novel planning and control strategy for competing ...

Nonlinear Model Predictive Control with Actuator Constraints for Multi-Rotor Aerial Vehicles

In this paper we propose, test, and validate an online Nonlinear Model P...

Correct by Design Coordination of Autonomous Driving Systems

The paper proposes a method for the correct by design coordination of au...

Active Safety System for Semi-Autonomous Teleoperated Vehicles

Autonomous cars can reduce road traffic accidents and provide a safer mo...

Robust Model Predictive Longitudinal Position Tracking Control for an Autonomous Vehicle Based on Multiple Models

The aim of this work is to control the longitudinal position of an auton...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.