24 citations · 27 across the 2 of their papers we have counts for
4 papers
Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation
Marianne Souaiby, Aneel Tanwani, Didier Henrion
This article establishes the existence of Lyapunov functions for analyzing the stability of a class of state-constrained systems, and it describes algorithms for their numerical co…
Piecewise structure of Lyapunov functions and densely checked decrease conditions for hybrid systems
Matteo Della Rossa, Rafal Goebel, Aneel Tanwani +1
We propose a class of locally Lipschitz functions with piecewise structure for use as Lyapunov functions for hybrid dynamical systems. Subject to some regularity of the dynamics, w…
Computation of Lyapunov Functions under State Constraints using Semidefinite Programming Hierarchies *
Marianne Souaiby, Aneel Tanwani, Didier Henrion
We provide algorithms for computing a Lyapunov function for a class of systems where the state trajectories are constrained to evolve within a closed convex set. The dynamical syst…
Max-Min Lyapunov Functions for Switched Systems and Related Differential Inclusions
Matteo Della Rossa, Aneel Tanwani, Luca Zaccarian
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…