A Converse Control Lyapunov Theorem for Joint Safety and Stability
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917354450976768 |
|---|---|
| author | Quartz, Thanin Fitzsimmons, Maxwell Liu, Jun |
| author_facet | Quartz, Thanin Fitzsimmons, Maxwell Liu, Jun |
| contents | 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 certifies both asymptotic stability and safety. This characterization complements existing literature on converse Lyapunov functions by establishing a partial differential equation (PDE) characterization with prescribed boundary conditions on the safe set, ensuring that the safe set is exactly certified by this Lyapunov function. The result also implies that if a safety and stability specification cannot be certified by a single Lyapunov function, then any pair of control Lyapunov and control barrier functions necessarily leads to a conflict and cannot be satisfied simultaneously in a robust sense. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_12182 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Converse Control Lyapunov Theorem for Joint Safety and Stability Quartz, Thanin Fitzsimmons, Maxwell Liu, Jun Optimization and Control Systems and Control 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 certifies both asymptotic stability and safety. This characterization complements existing literature on converse Lyapunov functions by establishing a partial differential equation (PDE) characterization with prescribed boundary conditions on the safe set, ensuring that the safe set is exactly certified by this Lyapunov function. The result also implies that if a safety and stability specification cannot be certified by a single Lyapunov function, then any pair of control Lyapunov and control barrier functions necessarily leads to a conflict and cannot be satisfied simultaneously in a robust sense. |
| title | A Converse Control Lyapunov Theorem for Joint Safety and Stability |
| topic | Optimization and Control Systems and Control |
| url | https://arxiv.org/abs/2509.12182 |