LaSalle invariance principle (source code)

= LaSalle invariance principle
{c}
{wiki=LaSalle's_invariance_principle}

On a compact positively invariant set where $\dot V\leq0$, every trajectory approaches the largest invariant subset of $\{\dot V=0\}$.