English
Related papers

Related papers: On Infusing Reachability-Based Safety Assurance wi…

200 papers

In this work we seek for an approach to integrate safety in the learning process that relies on a partly known state-space model of the system and regards the unknown dynamics as an additive bounded disturbance. We introduce a framework for…

Machine Learning · Computer Science 2018-11-12 Stanislav Fedorov , Antonio Candelieri

Autonomous driving is among the most promising of upcoming traffic safety technologies. Prototypes of autonomous vehicles are already being tested on public streets today. However, while current prototypes prove the feasibility of truly…

Robotics · Computer Science 2020-06-30 Andreas Schimpe , Frank Diermeyer

We present the design and validation of a centralized controller, called a supervisor, for collision avoidance of multiple human-driven vehicles at a road intersection, considering measurement errors, unmodeled dynamics, and uncontrolled…

Systems and Control · Computer Science 2021-08-09 Heejin Ahn , Andrea Rizzi , Alessandro Colombo , Domitilla Del Vecchio

With the recent surge of interest in introducing autonomous vehicles to the everyday lives of people, developing accurate and generalizable algorithms for predicting human behavior becomes highly crucial. Moreover, many of these emerging…

Systems and Control · Computer Science 2019-03-20 Jennifer Shih

An important question for the practical applicability of the highly efficient traffic intersection control is about the minimal level of intelligence the vehicles need to have so as to move beyond the traffic light control. We propose an…

Adaptation and Self-Organizing Systems · Physics 2017-08-16 Bo Yang , Christopher Monterola

The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results on collision avoidance policies and the modeling of ADS by combining descriptions of their static…

Multiagent Systems · Computer Science 2022-05-23 Marius Bozga , Joseph Sifakis

Ensuring safety for vehicle overtaking systems is one of the most fundamental and challenging tasks in autonomous driving. This task is particularly intricate when the vehicle must not only overtake its front vehicle safely but also…

Systems and Control · Electrical Eng. & Systems 2023-10-11 Dingran Yuan , Xinyi Yu , Shaoyuan Li , Xiang Yin

Safe longitudinal control is discussed for a connected automated truck traveling behind a preceding connected vehicle. A controller is proposed based on control barrier function theory and predictor feedback for provably safe,…

Systems and Control · Electrical Eng. & Systems 2022-11-21 Tamas G. Molnar , Anil Alan , Adam K. Kiss , Aaron D. Ames , Gabor Orosz

Motion Planning under uncertainty is critical for safe self-driving. In this paper, we propose a unified obstacle avoidance framework that deals with 1) uncertainty in ego-vehicle motion; and 2) prediction uncertainty of dynamic obstacles…

Robotics · Computer Science 2020-10-22 Shivesh Khaitan , Qin Lin , John M. Dolan

Rapid advancements in driver-assistance technology will lead to the integration of fully autonomous vehicles on our roads that will interact with other road users. To address the problem that driverless vehicles make interaction through eye…

Automated driving systems can be helpful in a wide range of societal challenges, e.g., mobility-on-demand and transportation logistics for last-mile delivery, by aiding the vehicle driver or taking over the responsibility for the dynamic…

Robotics · Computer Science 2023-07-13 Adina Aniculaesei , Iqra Aslam , Daniel Bamal , Felix Helsch , Andreas Vorwald , Meng Zhang , Andreas Rausch

A major challenge for autonomous vehicles is interacting with other traffic participants safely and smoothly. A promising approach to handle such traffic interactions is equipping autonomous vehicles with interaction-aware controllers…

Robotics · Computer Science 2022-06-22 Olger Siebinga , Arkady Zgonnikov , David Abbink

The rapid adoption of autonomous vehicle has established mixed traffic environments, comprising both autonomous and human-driven vehicles (HDVs), as essential components of next-generation mobility systems. Along these lines, connectivity…

Systems and Control · Electrical Eng. & Systems 2025-06-19 Filippos Tzortzoglou , Logan E. Beaver

This work studies the design of safe control policies for large-scale non-linear systems operating in uncertain environments. In such a case, the robust control framework is a principled approach to safety that aims to maximize the…

Systems and Control · Computer Science 2019-03-04 Edouard Leurent , Yann Blanco , Denis Efimov , Odalric-Ambrym Maillard

This study underscores the vital importance of intelligent driving functions in enhancing road safety and driving comfort. Central to our research is the challenge of obtaining sufficient test data for evaluating these functions, especially…

Robotics · Computer Science 2024-02-06 Nico Schick , Franjo Čičak

In recent years, car makers and tech companies have been racing towards self driving cars. It seems that the main parameter in this race is who will have the first car on the road. The goal of this paper is to add to the equation two…

Robotics · Computer Science 2018-10-30 Shai Shalev-Shwartz , Shaked Shammah , Amnon Shashua

Autonomous driving technology pledges safety, convenience, and energy efficiency. Challenges include the unknown intentions of other road users: communication between vehicles and with the road infrastructure is a possible approach to…

Systems and Control · Computer Science 2018-04-12 Jacopo Guanetti , Yeojun Kim , Francesco Borrelli

Existing intelligent driving technology often has a problem in balancing smooth driving and fast obstacle avoidance, especially when the vehicle is in a non-structural environment, and is prone to instability in emergency situations.…

Robotics · Computer Science 2022-08-02 Yitian Wang , Jun Lin , Liu Zhang , Tianhao Wang , Hao Xu , Guanyu Zhang , Yang Liu

This paper investigates the safe platoon formation tracking and merging control problem of connected and automated vehicles (CAVs) on curved multi-lane roads. The first novelty is the separation of the control designs into two distinct…

Systems and Control · Electrical Eng. & Systems 2025-02-17 Xiao Chen , Zhiqi Tang , Karl Henrik Johansson , Jonas Mårtensson

Self-driving vehicles are a maturing technology with the potential to reshape mobility by enhancing the safety, accessibility, efficiency, and convenience of automotive transportation. Safety-critical tasks that must be executed by a…

Robotics · Computer Science 2016-04-27 Brian Paden , Michal Cap , Sze Zheng Yong , Dmitry Yershov , Emilio Frazzoli