2 papers
math.OC2023
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions
Virginie Debauche, Alec Edwards, Raphael M. Jungers +1
Neural-based, data-driven analysis and control of dynamical systems have been recently investigated and have shown great promise, e.g. for safety verification or stability analysis…
math.OC2021
Comparison of Path-Complete Lyapunov Functions via Template-Dependent Lifts
Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers
This paper investigates, in the context of discrete-time switching systems, the problem of comparison for path-complete stability certificates. We introduce and study abstract oper…