English
Related papers

Related papers: Safety and progress proofs for a reactive planner …

200 papers

The hierarchy of global and local planners is one of the most commonly utilized system designs in autonomous robot navigation. While the global planner generates a reference path from the current to goal locations based on the pre-built…

Robotics · Computer Science 2024-02-28 Kohei Honda , Ryo Yonetani , Mai Nishimura , Tadashi Kozuno

Despite large advances in recent years, real-time capable motion planning for autonomous road vehicles remains a huge challenge. In this work, we present a decision module that is based on set-based reachability analysis: First, we identify…

Robotics · Computer Science 2023-09-22 Niklas Kochdumper , Stanley Bak

Learning controllers merely based on a performance metric has been proven effective in many physical and non-physical tasks in both control theory and reinforcement learning. However, in practice, the controller must guarantee some notion…

Systems and Control · Electrical Eng. & Systems 2020-11-24 Arash Mehrjou , Mohammad Ghavamzadeh , Bernhard Schölkopf

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

Modern autonomous driving algorithms often rely on learning the mapping from visual inputs to steering actions from human driving data in a variety of scenarios and visual scenes. The required data collection is not only labor intensive,…

Robotics · Computer Science 2018-03-20 Sascha Hornauer , Karl Zipser , Stella X. Yu

We study the navigation problem for a robot moving amidst static and dynamic obstacles and rely on a hierarchical approach to solve it. First, the reference trajectory is planned by the safe interval path planning algorithm that is capable…

Robotics · Computer Science 2019-06-18 Konstantin Yakovlev , Anton Andreychuk , Juliya Belinskaya , Dmitry Makarov

In this paper, we show how model checking can be used to create multi-step plans for a differential drive wheeled robot so that it can avoid immediate danger. Using a small, purpose built model checking algorithm in situ we generate plans…

Logic in Computer Science · Computer Science 2023-11-17 Christopher Chandler , Bernd Porr , Alice Miller , Giulia Lafratta

In this work, we present SafePlanner, a systematic testing framework for identifying safety-critical flaws in the Plan model of Automated Driving Systems (ADS). SafePlanner targets two core challenges: generating structurally meaningful…

Software Engineering · Computer Science 2026-01-15 Dohyun Kim , Sanggu Han , Sangmin Woo , Joonha Jang , Jaehoon Kim , Changhun Song , Yongdae Kim

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

The problem of autonomous racing is to navigate through a race course as quickly as possible while not colliding with any obstacles. We approach the autonomous racing problem with the added constraint of not maintaining an updated obstacle…

Robotics · Computer Science 2024-10-28 Benjamin Evans , Hendrik W. Jordaan , Herman A. Engelbrecht

Safe planning of an autonomous agent in interactive environments -- such as the control of a self-driving vehicle among pedestrians -- poses a major challenge as the behavior of the environment is unknown and reactive to the behavior of the…

Systems and Control · Electrical Eng. & Systems 2026-05-05 Omid Mirzaeedodangeh , Eliot Shekhtman , Nikolai Matni , Lars Lindemann

Efficient trajectory planning for urban intersections is currently one of the most challenging tasks for an Autonomous Vehicle (AV). Courteous behavior towards other traffic participants, the AV's comfort and its progression in the…

Robotics · Computer Science 2020-10-08 Oliver Speidel , Maximilian Graf , Ankit Kaushik , Thanh Phan-Huu , Andreas Wedel , Klaus Dietmayer

Forecasting the scalable future states of surrounding traffic participants in complex traffic scenarios is a critical capability for autonomous vehicles, as it enables safe and feasible decision-making. Recent successes in learning-based…

Robotics · Computer Science 2023-05-08 Haochen Liu , Zhiyu Huang , Chen Lv

Quadrotors can provide services such as infrastructure inspection and search-and-rescue, which require operating autonomously in cluttered environments. Autonomy is typically achieved with receding-horizon planning, where a short plan is…

Robotics · Computer Science 2019-06-19 Shreyas Kousik , Patrick Holmes , Ramanarayan Vasudevan

We present a decentralized path-planning algorithm for navigating multiple differential-drive robots in dense environments. In contrast to prior decentralized methods, we propose a novel congestion metric-based replanning that couples local…

Robotics · Computer Science 2022-02-24 Senthil Hariharan Arul , Dinesh Manocha

Trajectory planning is challenging for autonomous cars since they operate in unpredictable environments with limited sensor horizons. To incorporate new information as it is sensed, planning is done in a loop, with the next plan being…

Systems and Control · Computer Science 2019-02-07 Sean Vaskov , Utkarsh Sharma , Shreyas Kousik , Matthew Johnson-Roberson , Ramanarayan Vasudevan

In this paper, a risk map-based path planning algorithm is introduced for autonomous vehicles. Multivariate B-splines are implemented to generate a risk map, which measures the risk of colliding with different objects. In the following…

Optimization and Control · Mathematics 2022-03-09 Qiannan Wang , Matthias Gerdts

We present an efficient path planning algorithm for an Unmanned Aerial Vehicle surveying a cluttered urban landscape. A special emphasis is on maximizing area surveyed while adhering to constraints of the UAV and partially known and…

Robotics · Computer Science 2018-09-13 Vaibhav Darbari , Saksham Gupta , Om Prakash Verma

Many autonomous driving motion planners generate trajectories by optimizing a reward/cost functional. Designing and tuning a high-performance reward/cost functional for Level-4 autonomous driving vehicles with exposure to different driving…

Robotics · Computer Science 2018-08-16 Haoyang Fan , Zhongpu Xia , Changchun Liu , Yaqin Chen , Qi Kong

Autonomous vehicles (AVs) must share the driving space with other drivers and often employ conservative motion planning strategies to ensure safety. These conservative strategies can negatively impact AV's performance and significantly slow…

Robotics · Computer Science 2023-07-27 Piyush Gupta , David Isele , Donggun Lee , Sangjae Bae