Tangency at a Lyapunov boundary
= Tangency at a Lyapunov boundary
A boundary point with $\dot V=0$ can still enter the sublevel set; LaSalle analysis decides whether it belongs to an invariant zero-derivative trajectory.
= Tangency at a Lyapunov boundary
A boundary point with $\dot V=0$ can still enter the sublevel set; LaSalle analysis decides whether it belongs to an invariant zero-derivative trajectory.