2 papers
math.OC2025
Ordering and refining path-complete Lyapunov functions through composition lifts
Wouter Jongeneel, Raphaël M. Jungers
A fruitful approach to study stability of switched systems is to look for multiple Lyapunov functions. However, in general, we do not yet understand the interplay between the desir…
eess.SY2025
On the Completeness and Ordering of Path-Complete Barrier Functions
Mahathi Anand, Raphaël Jungers, Majid Zamani +1
This paper is concerned with path-complete barrier functions which offer a graph-based methodology for verifying safety properties in switched systems. The path-complete framework…