1 citations · 1 across the 1 of their papers we have counts for
2 papers
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…
math.OC2015★ 1 cited
A New Recursive Least-Squares Method with Multiple Forgetting Schemes
Francesco Fraccaroli, Andrea Peruffo, Mattia Zorzi
We propose a recursive least-squares method with multiple forgetting schemes to track time-varying model parameters which change with different rates. Our approach hinges on the re…