Showing math.OCShow all
2 papers · 1 filter
math.OC2026
Controllability of polynomial systems is undecidable and not recursively enumerable
Jun Liu, Ivan O. Shevchenko
Sontag conjectured in 1988 that global controllability of polynomial control systems with rational coefficients is undecidable, but that the controllable systems form a recursively…
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…