1 citations · 1 across the 2 of their papers we have counts for
3 papers
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.…
The cohomology objects of a semi-abelian variety are small
Sébastien Mattenet, Tim Van der Linden, Raphaël M. Jungers
A well-known, but often ignored issue in Yoneda-style definitions of cohomology objects via collections of -step extensions (i.e., equivalence classes of exact sequences of a gi…
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…