Massera's lemma explained

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 as the first lemma in section 12, and in more general form in 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.

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

g:[0,infty) → R

be a positive, continuous, strictly decreasing function with

g(t) → 0

as

t → infty

. Let

h:[0,infty) → R

be a positive, continuous, nondecreasing function. Then there exists a function

G:[0,infty) → [0,infty)

such that

G

and its derivative

G'

are class-K functions defined for all t ≥ 0

• There exist positive constants k₁, k₂, such that for any continuous function u satisfying 0 ≤ u(t) ≤ g(t) for all t ≥ 0,

	infty
\int
	0

G(u(t))dt\leqk_1;  

	infty
\int
	0

G'(u(t))h(t)dt\leqk_2.

Extension to multivariable functions

Massera's lemma for single variable functions was extended to the multivariable case by Vu and Liberzon.

Let

g:[0,infty) → R

be a positive, continuous, strictly decreasing function with

g(t) → 0

as

t → infty

. Let

h:[0,infty) → R

be a positive, continuous, nondecreasing function. Then there exists a differentiable function

G:[0,infty) → [0,infty)

such that

G

and its derivative

G'

are class-K functions on

[0,infty)

.

• For every positive integer

\ell

, there exist positive constants k₁, k₂, such that for any continuous function

u:R^\ell → [0,infty)

satisfying

0\lequ(t_1,\ldots,t_\ell)\leqg(t₁+ … +t_\ell)

for all

t_i\ge0

,

i=1,\ldots,\ell

we have

	infty
\int
	0

…

	infty
\int
	0

G(u(s_1,\ldots,s_\ell))ds₁\ldotsds_\ell<k₁

	infty
\int
	0

…

	infty
\int
	0

G'(u(s_1,\ldots,s_\ell)) x h(s₁+ … +s_\ell)ds₁\ldotsds_\ell<k₂

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Massera's lemma".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.