Définition :
C’est un indicateur local qui évalue si la dynamique du système est compatible avec les contraintes à un instant donné.
Formule simplifiée :
$$
F(x) \cap T_K(x) \neq \emptyset
$$
avec TK(x) = cône tangent à l’ensemble des contraintes K en x, et F(x) = dynamique du système.
Utilité :
Si l’intersection est vide, alors l’état n’est pas viable à court terme.