We study optimization-based criteria for the stability of switching systems, known as path- complete Lyapunov functions, and ask the question “can we decide algorithmically when a …
Starting from a finite family of continuously differentiable positive definite functions, we study conditions under which a function obtained by max–min combinations is a Lyapunov …
This paper focuses on position estimation in smart actuators using non-contacting magnetic sensors. Magnetic position estimation in long-stroke actuators involves nonlinear non …
As part of the development of Lyapunov techniques for cyber-physical systems, we study and compare graph-based stability certificates with respect to their conservatism. Previous …
We use a class of locally Lipschitz continuous Lyapunov functions to establish stability for a class of differential inclusions where the set-valued map on the right-hand-side comprises …
This paper studies the asymptotic behavior of switched linear systems, beyond classical stability. We focus on systems having a low-dimensional asymptotic behavior, that is …
M Philippe, RM Jungers - Proceedings of the 22nd ACM International …, 2019 - dl.acm.org
We study criteria allowing to compare the conservativeness of stability certificates for switching systems. The stability certificates under consideration are Path-Complete …
In the context of discrete-time switched systems, we study the comparison of stability certificates based on path-complete Lyapunov methods. A characterization of this general …
The notion of path-complete p-dominance for switching linear systems (in short, path- dominance) is introduced as a way to generalize the notion of dominant/slow modes for LTI …