El principio de invariancia de LaSalle (también conocido como principio de invariancia , [1] principio de Barbashin-Krasovskii-LaSalle , [2] o principio de Krasovskii-LaSalle ) es un criterio para la estabilidad asintótica de un sistema dinámico autónomo (posiblemente no lineal) .
donde es el vector de variables, con
Si se puede encontrar una función (ver Suavidad ) tal que
entonces el conjunto de puntos de acumulación de cualquier trayectoria está contenido en donde está la unión de trayectorias completas contenida enteramente en el conjunto .
Si además tenemos que la función es definida positiva, es decir
y si no contiene ninguna trayectoria del sistema excepto la trayectoria trivial de , entonces el origen es asintóticamente estable .