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 Formal Control Framework of Autonomous Vehicle for Signal Temporal Logic Tasks and Obstacle Avoidance

Whole-body Dynamic Collision Avoidance with Time-varying Control Barrier Functions

Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications

Multiple Control Barrier Functions: An Application to Reactive Obstacle Avoidance for a Multi-steering Tractor-trailer System

A Barrier-Certified Optimal Coordination Framework for Connected and Automated Vehicles

Constraint‐Oriented Obstacle Avoidance Control for Autonomous Vehicles Without Local Trajectory Replanning

Uniform Finite Time Safe Path Tracking Control for Obstacle Avoidance of Autonomous Vehicle Via Barrier Function Approach

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach

Robust control of lateral obstacle avoidance for intelligent vehicle shared-driven by people and vehicles based on dynamic early warning

Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Lane Keeping and Obstacle Avoidance

Toward model-free safety-critical control with humans in the loop

Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks

Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control

Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions

Reachability Analysis plus Satisfiability Modulo Theories: An Adversary-Proof Control Method for Connected and Autonomous Vehicles

Automated Formation Control Synthesis from Temporal Logic Specifications

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints

Obstacle Avoidance for Unicycle-Modelled Mobile Robots with Time-Varying Control Barrier Functions

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

Personalized motion planning and tracking control for autonomous vehicles obstacle avoidance