Login / Signup
Virginie Debauche
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Lyapunov Function
Stability Analysis
Ubiquitous And Pervasive
Fixed Point
Top Venues
HSCC
ADHS
AAAI
</>
Publications
</>
Virginie Debauche
,
Alec Edwards
,
Raphaël M. Jungers
,
Alessandro Abate
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions.
AAAI
(2024)
Virginie Debauche
,
Matteo Della Rossa
,
Raphaël M. Jungers
Characterization of the ordering of path-complete stability certificates with addition-closed templates.
HSCC
(2023)
Virginie Debauche
,
Matteo Della Rossa
,
Raphaël M. Jungers
Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods.
HSCC
(2022)
Virginie Debauche
,
Matteo Della Rossa
,
Raphaël M. Jungers
Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems.
ADHS
(2021)