User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 4 results.
    • Speech
    Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural Networks
    Debauche, Virginie[UCL] Jungers, Raphaël M.[UCL] (2024) 6th Annual Learning for Dynamics & Control Conference — Oxford
    • Speech
    Statistical comparison of Path-Complete Lyapunov Functions: a Discrete-Event Systems perspective
    Jungers, Raphaël M.[UCL] (2024) WODES 2024 — Rio de Janeiro, Brazil
    • Speech
    Smart abstraction of dynamical systems via a Cantor-Kantorovich distance between Markov chains
    Banse, Adrien[UCL] Licio Romao Alessandro Abate Jungers, Raphaël M.[UCL] (2024) 43rd Benelux Meeting on Systems and Control — Blankenberge, Belgium
    • Speech
    Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions
    Debauche, Virginie[UCL] Alec Edwards Jungers, Raphaël M.[UCL] Alessandro Abate (2024) The 38th Annual AAAI Conference on Artificial Intelligence — Vancouver