English
Related papers

Related papers: Safe-by-Construction Autonomous Vehicle Overtaking…

200 papers

This work presents a unified approach for collision avoidance using Collision-Cone Control Barrier Functions (CBFs) in both ground (UGV) and aerial (UAV) unmanned vehicles. We propose a novel CBF formulation inspired by collision cones, to…

Ensuring safety in autonomous vehicles necessitates advanced path planning and obstacle avoidance capabilities, particularly in dynamic environments. This paper introduces a bi-level control framework that efficiently augments road…

Robotics · Computer Science 2025-10-07 Mostafa Emam , Matthias Gerdts

Ensuring safety under unknown and stochastic dynamics remains a significant challenge in reinforcement learning (RL). In this paper, we propose a model predictive control (MPC)-based safe RL framework, called Probabilistic Ensembles with…

Systems and Control · Electrical Eng. & Systems 2026-04-09 Ali Umut Kaypak , Prashanth Krishnamurthy , Farshad Khorrami

Control barrier functions (CBFs) provide a powerful tool for enforcing safety constraints in control systems, but their direct application to complex, high-dimensional dynamics is often challenging. In many settings, safety certificates are…

Systems and Control · Electrical Eng. & Systems 2026-03-17 Nikolaos Bousias , Charalampia Stamouli , Anastasios Tsiamis , George Pappas

In this paper, we study a safe control design for dynamical systems in the presence of uncertainty in a dynamical environment. The worst-case error approach is considered to formulate robust Control Barrier Functions (CBFs) in an…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Vahid Hamdipoor , Nader Meskin , Christos G. Cassandras

The problem of coverage control, i.e., of coordinating multiple agents to optimally cover an area, arises in various applications. However, coverage applications face two major challenges: (1) dealing with nonlinear dynamics while…

Systems and Control · Electrical Eng. & Systems 2024-04-01 Rahel Rickenbach , Johannes Köhler , Anna Scampicchio , Melanie N. Zeilinger , Andrea Carron

This paper introduces a novel safety-critical control method through the synthesis of control barrier functions (CBFs) for systems with high-relative-degree safety constraints. By extending the procedure of CBF backstepping, we propose…

Dynamical Systems · Mathematics 2025-08-29 Laszlo Gacsi , Max H. Cohen , Tamas G. Molnar

Autonomous vehicles rely on accurate trajectory prediction to inform decision-making processes related to navigation and collision avoidance. However, current trajectory prediction models show signs of overfitting, which may lead to unsafe…

Robotics · Computer Science 2024-04-23 Jeroen Hagenus , Frederik Baymler Mathiesen , Julian F. Schumann , Arkady Zgonnikov

A novel local trajectory planner, capable of controlling an autonomous off-road vehicle on rugged terrain at high-speed is presented. Autonomous vehicles are currently unable to safely operate off-road at high-speed, as current approaches…

Robotics · Computer Science 2026-03-24 James R. Baxter , Bogdan I. Epureanu , Paramsothy Jayakumar , Tulga Ersal

Autonomous driving is a research direction that has gained enormous traction in the last few years thanks to advancements in Artificial Intelligence (AI). Depending on the level of independence from the human driver, several studies show…

Cryptography and Security · Computer Science 2024-05-15 Francesco Marchiori , Alessandro Brighente , Mauro Conti

Ensuring the functional safety of motion planning modules in autonomous vehicles remains a critical challenge, especially when dealing with complex or learning-based software. Online verification has emerged as a promising approach to…

Robotics · Computer Science 2025-07-11 Korbinian Moller , Rafael Neher , Marvin Seegert , Johannes Betz

In this paper, we present a Model Predictive Control (MPC) framework based on path velocity decomposition paradigm for autonomous driving. The optimization underlying the MPC has a two layer structure wherein first, an appropriate path is…

Robotics · Computer Science 2018-03-09 Mithun Babu , Yash Oza , Arun Kumar Singh , K. Madhava Krishna , Shanti Medasani

This article addresses the obstacle avoidance problem for setpoint stabilization and path-following tasks in complex dynamic 2D environments that go beyond conventional scenes with isolated convex obstacles. A combined motion planner and…

Robotics · Computer Science 2023-12-11 Albin Dahlin , Yiannis Karayiannidis

We address the problem of merging traffic from two roadways consisting of both Connected Autonomous Vehicles (CAVs) and Human Driven Vehicles (HDVs). Guaranteeing safe merging in such mixed traffic settings is challenging due to the…

Systems and Control · Electrical Eng. & Systems 2023-05-29 Ehsan Sabouni , H. M. Sabbir Ahmad , Christos G. Cassandras , Wenchao Li

An approach to resilient planning and control of autonomous vehicles in multi-vehicle traffic scenarios is proposed. The proposed method is based on model predictive control (MPC), where alternative predictions of the surrounding traffic…

Systems and Control · Electrical Eng. & Systems 2022-04-21 Victor Fors , Björn Olofsson , Erik Frisk

We address the problem of controlling Connected and Automated Vehicles (CAVs) in conflict areas of a traffic network subject to hard safety constraints. It has been shown that such problems can be solved through a combination of tractable…

Systems and Control · Electrical Eng. & Systems 2022-09-28 Ehsan Sabouni , Christos G. Cassandras , Wei Xiao , Nader Meskin

With more autonomous vehicles (AVs) sharing roadways with human-driven vehicles (HVs), ensuring safe and courteous maneuvers that respect HVs' behavior becomes increasingly important. To promote both safety and courtesy in AV's behavior, an…

Robotics · Computer Science 2025-04-30 Yanze Zhang , Yiwei Lyu , Sude E. Demir , Xingyu Zhou , Yupeng Yang , Junmin Wang , Wenhao Luo

Hybrid dynamical systems are ubiquitous as practical robotic applications often involve both continuous states and discrete switchings. Safety is a primary concern for hybrid robotic systems. Existing safety-critical control approaches for…

Robotics · Computer Science 2024-12-02 Shuo Yang , Yu Chen , Xiang Yin , George J. Pappas , Rahul Mangharam

Safety-critical whole-body robot control demands reactive methods that ensure collision avoidance in real-time. Complementarity constraints and control barrier functions (CBF) have emerged as core tools for ensuring such safety constraints,…

Optimal control strategies are often combined with safety certificates to ensure both performance and safety in safety-critical systems. A prominent example is combining Model Predictive Control (MPC) with Control Barrier Functions (CBF).…

Systems and Control · Electrical Eng. & Systems 2025-12-05 Kerim Dzhumageldyev , Filippo Airaldi , Azita Dabiri