English
Related papers

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

200 papers

Developing safe autonomous driving systems is a major scientific and technical challenge. Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while traditional systems engineering approaches are defeated by…

Multiagent Systems · Computer Science 2026-02-24 Marius Bozga , Joseph Sifakis

Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-fold: to achieve a very high level of safety, and to provide…

Autonomous systems, such as self-driving cars and drones, have made significant strides in recent years by leveraging visual inputs and machine learning for decision-making and control. Despite their impressive performance, these…

Robotics · Computer Science 2024-10-31 Kaustav Chakraborty , Aryaman Gupta , Somil Bansal

Autonomous planetary vehicles, also known as rovers, are small autonomous vehicles equipped with a variety of sensors used to perform exploration and experiments on a planet's surface. Rovers work in a partially unknown environment, with…

Artificial Intelligence · Computer Science 2010-07-30 Giuseppe Della Penna , Benedetto Intrigila , Daniele Magazzeni , Fabio Mercorio

Maintaining a map online is resource-consuming while a robust navigation system usually needs environment abstraction via a well-fused map. In this paper, we propose a mapless planner which directly conducts such abstraction on the unfused…

Robotics · Computer Science 2020-11-12 Jialin Ji , Zhepei Wang , Yingjian Wang , Chao Xu , Fei Gao

Both humans and the sensors on an autonomous vehicle have limited sensing capabilities. When these limitations coincide with scenarios involving vulnerable road users, it becomes important to account for these limitations in the motion…

Robotics · Computer Science 2018-02-20 Sarah Thornton

Vehicle trajectory planning is a key component for an autonomous driving system. A practical system not only requires the component to compute a feasible trajectory, but also a comfortable one given certain comfort metrics. Nevertheless,…

Robotics · Computer Science 2023-07-19 Yajia Zhang , Hongyi Sun , Ruizhi Chai , Daike Kang , Shan Li , Liyun Li

Mobile robots dedicated in security tasks should be capable of clearly perceiving their environment to competently navigate within cluttered areas, so as to accomplish their assigned mission. The paper in hand describes such an autonomous…

This paper presents a novel energy-efficient motion planning algorithm for Connected Autonomous Vehicles (CAVs) on urban roads. The approach consists of two components: a decision-making algorithm and an optimization-based trajectory…

Robotics · Computer Science 2023-11-29 Eunhyek Joa , Hotae Lee , Eric Yongkeun Choi , Francesco Borrelli

Ensuring safe driving while maintaining travel efficiency for autonomous vehicles in dynamic and occluded environments is a critical challenge. This paper proposes an occlusion-aware contingency safety-critical planning approach for…

Robotics · Computer Science 2025-11-25 Lei Zheng , Rui Yang , Minzhe Zheng , Zengqi Peng , Michael Yu Wang , Jun Ma

Achieving a proper balance between planning quality, safety and efficiency is a major challenge for autonomous driving. Optimisation-based motion planners are capable of producing safe, smooth and comfortable plans, but often at the cost of…

Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near future. Despite tremendous advances within this context,…

The paper addresses the problem of providing suitable reference trajectories in motion planning problems for autonomous vehicles. Among the various approaches to compute a reference trajectory, our aim is to find those trajectories which…

Optimization and Control · Mathematics 2018-01-24 Matthias Gerdts , Björn Martens

We develop a hierarchical controller for head-to-head autonomous racing. We first introduce a formulation of a racing game with realistic safety and fairness rules. A high-level planner approximates the original formulation as a discrete…

Multiagent Systems · Computer Science 2024-02-06 Rishabh Saumil Thakkar , Aryaman Singh Samyal , David Fridovich-Keil , Zhe Xu , Ufuk Topcu

When autonomous vehicles encounter untrained scenarios, ensuring safety hinges on effective safety verification to prevent accidents stemming from unexpected model decisions. Reachability analysis, a method of safety verification, offers…

Systems and Control · Electrical Eng. & Systems 2025-12-05 Lingxiang Fan , Linxuan He , Haoyuan Ji , Shuo Feng

In the typical autonomous driving stack, planning and control systems represent two of the most crucial components in which data retrieved by sensors and processed by perception algorithms are used to implement a safe and comfortable…

Robotics · Computer Science 2022-07-06 Paolo Maramotti , Alessandro Paolo Capasso , Giulio Bacchiani , Alberto Broggi

In this work, we present a simple end-to-end trainable machine learning system capable of realistically simulating driving experiences. This can be used for the verification of self-driving system performance without relying on expensive…

Motivated by the requirements for effectiveness and efficiency, path-speed decomposition-based trajectory planning methods have widely been adopted for autonomous driving applications. While a global route can be pre-computed offline,…

Robotics · Computer Science 2025-05-07 Faizan M. Tariq , Zheng-Hang Yeh , Avinash Singh , David Isele , Sangjae Bae

We present AutonoVi:, a novel algorithm for autonomous vehicle navigation that supports dynamic maneuvers and satisfies traffic constraints and norms. Our approach is based on optimization-based maneuver planning that supports dynamic…

Robotics · Computer Science 2017-03-30 Andrew Best , Sahil Narang , Daniel Barber , Dinesh Manocha

For safe and efficient planning and control in autonomous driving, we need a driving policy which can achieve desirable driving quality in long-term horizon with guaranteed safety and feasibility. Optimization-based approaches, such as…

Artificial Intelligence · Computer Science 2017-07-11 Liting Sun , Cheng Peng , Wei Zhan , Masayoshi Tomizuka