English
Related papers

Related papers: Online Reachability Analysis and Space Convexifica…

200 papers

In this paper we address the speed planning problem for a vehicle along a predefined path. A weighted average of two (conflicting) terms, energy consumption and travel time, is minimized. After deriving a non-convex mathematical model of…

Optimization and Control · Mathematics 2025-10-30 Stefano Ardizzoni , Luca Consolini , Mattia Laurini , Marco Locatelli

Autonomous vehicles must navigate dynamically uncertain environments while balancing safety and efficiency. This challenge is exacerbated by unpredictable human-driven vehicle (HV) behaviors and perception inaccuracies, necessitating…

Robotics · Computer Science 2026-04-16 Rui Yang , Lei Zheng , Shuzhi Sam Ge , Jun Ma

In this paper we address the speed planning problem for a vehicle along a predefined path. A weighted sum of two conflicting objectives, energy consumption and travel time, is minimized. After deriving a non-convex mathematical model of the…

Optimization and Control · Mathematics 2025-10-29 Luca Consolini , Mattia Laurini , Marco Locatelli

Balancing safety and efficiency when planning in crowded scenarios with uncertain dynamics is challenging where it is imperative to accomplish the robot's mission without incurring any safety violations. Typically, chance constraints are…

Robotics · Computer Science 2023-02-22 Khaled A. Mustafa , Oscar de Groot , Xinwei Wang , Jens Kober , Javier Alonso-Mora

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

In this paper, we present the application of successive convexification methods to autonomous driving problems borrowed from recent aerospace literature. We formulate two optimization problems within the successive convexification…

Optimization and Control · Mathematics 2020-10-14 Ali Boyali , Simon Thompson , David Wong

Earlier work has established a decentralized optimal control framework for coordinating online a continuous flow of connected automated vehicles (CAVs) entering a control zone and crossing two adjacent intersections in an urban area. A…

Optimization and Control · Mathematics 2017-02-21 Yue Zhang , Christos G. Cassandras , Andreas A. Malikopoulos

In this paper we propose a hierarchical controller for autonomous racing where the same vehicle model is used in a two level optimization framework for motion planning. The high-level controller computes a trajectory that minimizes the lap…

Robotics · Computer Science 2020-03-12 José L. Vázquez , Marius Brühlmeier , Alexander Liniger , Alisa Rupenyan , John Lygeros

This paper considers risk-sensitive model predictive control for stochastic systems with a decision-dependent distribution. This class of systems is commonly found in human-robot interaction scenarios. We derive computationally tractable…

Optimization and Control · Mathematics 2025-06-02 Renzi Wang , Mathijs Schuurmans , Panagiotis Patrinos

This article investigates the problem of controlling linear time-invariant systems subject to time-varying and a priori unknown cost functions, state and input constraints, and exogenous disturbances. We combine the online convex…

Systems and Control · Electrical Eng. & Systems 2025-12-18 Marko Nonhoff , Emiliano Dall'Anese , Matthias A. Müller

This paper describes autonomous racing of RC race cars based on mathematical optimization. Using a dynamical model of the vehicle, control inputs are computed by receding horizon based controllers, where the objective is to maximize…

Optimization and Control · Mathematics 2017-11-21 Alexander Liniger , Alexander Domahidi , Manfred Morari

We present a hierarchical control approach for maneuvering an autonomous vehicle (AV) in tightly-constrained environments where other moving AVs and/or human driven vehicles are present. A two-level hierarchy is proposed: a high-level…

Robotics · Computer Science 2021-03-19 Xu Shen , Edward L. Zhu , Yvonne R. Stürz , Francesco Borrelli

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,…

We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by employing neural barrier certificates. Our approach uses barrier…

Systems and Control · Electrical Eng. & Systems 2024-04-30 Alessandro Abate , Sergiy Bogomolov , Alec Edwards , Kostiantyn Potomkin , Sadegh Soudjani , Paolo Zuliani

In this article, we consider the problem of trajectory planning and control for on-road driving of an autonomous ground vehicle (AGV) in presence of static or moving obstacles. We propose a systematic approach to partition the…

Systems and Control · Computer Science 2018-01-25 Florent Altché , Arnaud de La Fortelle

A core challenge of multi-robot interactions is collision avoidance among robots with potentially conflicting objectives. We propose a game-theoretic method for collision avoidance based on rotating hyperplane constraints. These constraints…

Robotics · Computer Science 2023-11-17 Fernando Palafox , Yue Yu , David Fridovich-Keil

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

This paper studies high-speed online planning in dynamic environments. The problem requires finding time-optimal trajectories that conform to system dynamics, meeting computational constraints for real-time adaptation, and accounting for…

Robotics · Computer Science 2025-02-21 Gilhyun Ryou , Lukas Lao Beyer , Sertac Karaman

The reachability problem for timed automata asks if there exists a path from an initial state to a target state. The standard solution to this problem involves computing the zone graph of the automaton, which in principle could be infinite.…

Logic in Computer Science · Computer Science 2011-12-30 Frédéric Herbreteau , Dileep Kini , B. Srivathsan , Igor Walukiewicz

Driving without considering the preferred separation distance from surrounding vehicles may cause discomfort for users. To address this limitation, we propose a planning framework that explicitly incorporates user preferences regarding the…

Robotics · Computer Science 2026-02-10 Yongjae Lim , Dabin Kim , H. Jin Kim