28 citations · 61 across the 15 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
eess.SY2025
Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
Jun Liu, Maxwell Fitzsimmons
We present a computational framework for synthesizing a single smooth Lyapunov function that certifies both asymptotic stability and safety. We show that the existence of a strictl…
math.OC2025
A Converse Control Lyapunov Theorem for Joint Safety and Stability
Thanin Quartz, Maxwell Fitzsimmons, Jun Liu
We show that the existence of a strictly compatible pair of control Lyapunov and control barrier functions is equivalent to the existence of a single smooth Lyapunov function that…
eess.SY2025
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
Jun Liu, Maxwell Fitzsimmons
We investigate the formal synthesis of global polynomial Lyapunov functions for polynomial vector fields. We establish that a sign-definite polynomial must satisfy specific algebra…