In stability theory and nonlinear control, Massera's lemma, named after José Luis Massera, deals with the construction of the Lyapunov function to prove the stability of a dynamical system. The lemma appears in (Massera 1949, p. 716) as the first lemma in section 12, and in more general form in (Massera 1956, p. 195) as lemma 2. In 2004, Massera's original lemma for single variable functions was extended to the multivariable case, and the resulting lemma was used to prove the stability of switched dynamical systems, where a common Lyapunov function describes the stability of multiple modes and switching signals.
Contents
Massera's original lemma
Massera’s lemma is used in the construction of a converse Lyapunov function of the following form (also known as the integral construction)
for an asymptotically stable dynamical system whose stable trajectory starting from
The lemma states:
Let
Extension to multivariable functions
Massera's lemma for single variable functions was extended to the multivariable case by Vu and Liberzon.
Let
we have