1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
math.OC2025★ 1 cited
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…