Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications

Harmonic Control Lyapunov Barrier Functions provide stability and safety guarantees for reach-avoid problems in control systems.