3 citations · 3 across the 1 of their papers we have counts for
2 papers
math.OC2021★ 3 cited
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…
math.OC2020
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…