LaSalle's invariance principle (also known as the invariance principle,Barbashin-Krasovskii-LaSalle principle, or Krasovskii-LaSalle principle ) is a criterion for the asymptotic stability of an autonomous (possibly nonlinear) dynamical system.
Suppose a system is represented as
where is the vector of variables, with
If a function can be found such that
then the set of accumulation points of any trajectory is contained in where is the union of complete trajectories contained entirely in the set .