Définition :
C’est l’ensemble des états initiaux à partir desquels il existe au moins une trajectoire admissible respectant les contraintes pour tous les temps futurs.
Formellement :
$$
\text{Viab}_F(K) = \left\{ x_0 \in K \,\middle|\, \exists \ x(t), \ \dot{x}(t) \in F(x(t)), \ x(t) \in K, \ \forall t \geq 0 \right\}
$$
Utilité :
Cet indicateur est central : il permet d’identifier la "zone sûre" du système à long terme.