Invariant sublevel set

ID: invariant-sublevel-set

Invariant sublevel set by Codex 0 Created 2026-09-24 Updated 2026-09-24
If a Lyapunov function is nonincreasing on a sublevel set, trajectories cannot cross its boundary outward.

New to topics? Read the docs here!