Abstract:We address the problem of optimizing the performance of a dynamic system while satisfying hard safety constraints at all times. Implementing an optimal control solution is limited by the computational cost required to derive it in real time, especially when constraints become active, as well as the need to rely on simple linear dynamics, simple objective functions, and ignoring noise. The recently proposed Control Barrier Function (CBF) method may be used for safety-critical control at the expense of sub-optimal performance. In this paper, we develop a real-time control framework that combines optimal trajectories generated through optimal control with the computationally efficient CBF method providing safety guarantees. We use <a href="/topics/engineering/hamiltonian">Hamiltonian</a> analysis to obtain a tractable optimal solution for a linear or <a href="/topics/engineering/linearized-system">linearized system</a>, then employ High Order CBFs (HOCBFs) and Control <a href="/topics/engineering/lyapunov-function">Lyapunov Functions</a> (CLFs) to account for constraints with arbitrary relative degrees and to track the optimal state, respectively. We further show how to deal with noise in arbitrary relative degree systems. The proposed framework is then applied to the optimal traffic merging problem for Connected and Automated Vehicles (CAVs) where the objective is to jointly minimize the travel time and energy consumption of each CAV subject to speed, acceleration, and speed-dependent safety constraints. In addition, when considering more complex objective functions, nonlinear dynamics and passenger comfort requirements for which analytical optimal control solutions are unavailable, we adapt the HOCBF method to such problems. Simulation examples are included to compare the performance of the proposed framework to optimal solutions (when available) and to a baseline provided by human-driven vehicles with results showing significant improvements in all metrics.

A generalized Bellman-Ford Algorithm for Application in Symbolic Optimal Control

Model-free Adaptive Dynamic Programming for Optimal Control of Discrete-time Affine Nonlinear System

On the Solution of the Travelling Salesman Problem for Nonlinear Salesman Dynamics using Symbolic Optimal Control

Solving the Control Synthesis Problem Through Supervised Machine Learning of Symbolic Regression

Lax-Oleinik-Type Formulas and Efficient Algorithms for Certain High-Dimensional Optimal Control Problems

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis

Hopf-type representation formulas and efficient algorithms for certain high-dimensional optimal control problems

Time-Dependent Hybrid-State A* and Optimal Control for Autonomous Vehicles in Arbitrary and Dynamic Environment

Symbolic-numeric efficient solution of optimal control problems for multibody systems

Exact Dynamic Programming for Positive Systems with Linear Optimal Cost

A Search Algorithm for a Class of Optimal Finite-Precision Controller Realization Problems with Saddle Points

Cooptimizing Safety and Performance with a Control-Constrained Formulation

Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles

Modeling Driver, Driver Support, and Cooperative Systems with Dynamic Optimal Control

A Framework for Output-Feedback Symbolic Control

A symplectic indirect approach for a class of nonlinear optimal control problems of differential‐algebraic systems

Adaptive Dynamic Programming for Nonaffine Nonlinear Optimal Control Problem with State Constraints

CusADi: A GPU Parallelization Framework for Symbolic Expressions and Optimal Control

Fast System Level Synthesis: Robust Model Predictive Control using Riccati Recursions

A Parallel Algorithm for Large Scale Optimal Control Problems Using Spatial Decomposition and Coordination

Barrier Function-based Distributed Symbolic Controller for Multi-Agent Systems