120 citations · 477 across the 86 of their papers we have counts for
103 papers
Graph-Based Conditions for Feedback Stabilization of Switched and LPV Systems
Matteo Della Rossa, Thiago Alves Lima, Marc Jungers +1
This paper presents novel stabilizability conditions for switched linear systems with arbitrary and uncontrollable underlying switching signals. We distinguish and study two partic…
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…
Context-triggered Abstraction-based Control Design
Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa +2
We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that the closed-loop fulfills an arbitrary \emph{Linear Tem…
Data-driven memory-dependent abstractions of dynamical systems
Adrien Banse, Licio Romao, Alessandro Abate +1
We propose a sample-based, sequential method to abstract a (potentially black-box) dynamical system with a sequence of memory-dependent Markov chains of increasing size. We show th…
Interpretability of Path-Complete Techniques and Memory-based Lyapunov functions
Matteo Della Rossa, Raphaël M. Jungers
We study path-complete Lyapunov functions, which are stability criteria for switched systems, described by a combinatorial component (namely, an automaton), and a functional compon…
Data-driven invariant subspace identification for black-box switched linear systems
Guillaume O. Berger, Raphaël M. Jungers, Zheming Wang
We present an algorithmic framework for the identification of candidate invariant subspaces for switched linear systems. Namely, the framework allows to compute an orthonormal basi…