1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
Categorical Lyapunov Theory II: Stability of Systems
Aaron D. Ames, Sébastien Mattenet, Joe Moeller
Lyapunov's theorem provides a foundational characterization of stable equilibrium points in dynamical systems. In this paper, we develop a framework for stability for F-coalgebras.…
Memoryless concretization relation
Julien Calbert, Sébastien Mattenet, Antoine Girard +1
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alt…
A categorical view on the converse Lyapunov theorem
Sébastien Maurice Mattenet, Raphael Jungers
In 1892, Lyapunov provided a fundamental contribution to stability theory by introducing so-called Lyapunov functions and Lyapunov equilibria. He subsequently showed that, for line…