Stability of dynamical systems

This entrypoint collects the discrete-time stability layer for maps of the form x_{t+1} = f x_t and input-driven systems x_{t+1} = f x_t u_t.

The spec file states the mathematical predicates: Lyapunov stability, asymptotic stability, exponential stability, input-to-state stability, BIBO stability, incremental stability, practical stability, finite-time stability, and data/model stability. The runtime file provides Float diagnostics for concrete systems. As with robustness, the diagnostic layer is empirical unless a separate theorem connects it to a certified bound.

References:

• Khalil, Nonlinear Systems, 3rd edition.
• Sontag, "Input to State Stability: Basic Concepts and Results", 2008.