138 citations
- Amazon (United States)US6 papers
- University of BristolGB3 papers
- University of OxfordGB3 papers
- Amazon (Germany)DE2 papers
- Universidad Politécnica de MadridES2 papers
- University of AmsterdamNL2 papers
- University of EdinburghGB2 papers
- University of SheffieldGB2 papers
- Aalto UniversityFI1 paper
- Allen InstituteUS1 paper
- Amsterdam University of the ArtsNL1 paper
- Bilkent UniversityTR1 paper
Showing 2020 · eess.SYShow all
2 papers · 2 filters
eess.SY2020★ 39 cited
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
Daniele Ahmed, Andrea Peruffo, Alessandro Abate
In this paper we employ SMT solvers to soundly synthesise Lyapunov functions that assert the stability of a given dynamical model. The search for a Lyapunov function is framed as t…
eess.SY2020★ 129 cited
Formal Synthesis of Lyapunov Neural Networks
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe +1
We propose an automatic and formally sound method for synthesising Lyapunov functions for the asymptotic stability of autonomous non-linear systems. Traditional methods are either…