Metodo de Krasovskii
Metodo de Krasovskii
Metodo de Krasovskii
𝐱=𝐟 𝐱 ; 𝐟 𝟎 =𝟎 (1)
será estable si
F=J+JT (3)
resulta en una matriz definida negativa en una vecindad . Una función de Lyapunov para este sistema será
𝐕 𝐱 = 𝐟 𝑇 𝐱 𝐟(𝐱) (4)
Se puede plantear, adicionalmente, que (1) es global y asintóticamente estable alrededor del punto de equilibrio x=0
si 𝐕 𝐱 → ∞ cuando 𝐱 → ∞.
Demostración:
Se consideran los criterios de estabilidad de Lyapunov basado en el método directo. Se conoce que la función escalar
𝐟 𝑇 𝐱 𝐟(𝐱) es definida positiva. El resultado de derivar (4) resulta:
𝐕 𝐱 = 𝐟𝑇 𝐱 𝐟 𝐱 + 𝐟𝑇 𝐱 𝐟 𝐱 (5)
Como se cumple:
𝐟 𝐱 = 𝐉𝐟(𝐱) (6)
𝐕 𝐱 = 𝐟 𝑇 𝐱 𝐉𝑇 𝐟 𝐱 + 𝐟 𝑇 𝐱 𝐉𝐟 𝐱 = 𝐟 𝑇 𝐱 𝐉𝑇 + 𝐉 𝐟 𝐱 (7)
lo que garantiza que la derivada de la función de Lyapunov es decreciente (𝐉𝑇 + 𝐉 es definida negativa).
Ejemplo:
−1 0
𝐉= (10)
1 −1
Para que (8) sea estable según el teorema de Krasovskii, la siguiente matriz debe ser definida negativa
𝐅 = 𝐉𝑇 + 𝐉 = −1 1 + −1 0 = −2 1 (11)
0 −1 1 −1 1 −2
lo cual se cumple dado que los autovalores tienen parte real negativa
>> eig([-2 1; 1 -2])
ans =
-3
-1
−𝑥1
𝐟 𝑇 𝐱 𝐟 𝐱 = −𝑥1 𝑥1 − 𝑥2 2
𝑥1 − 𝑥2 = 𝑥1 + 𝑥1 − 𝑥2
2
(12)