La théorie mathématique de la viabilité étudie la compatibilité entre un système dynamique, et un ensemble de contraintes, les états souhaitables, en considérant aussi des moyens de contrôle, et d’éventuelles perturbations.
Cette théorie mathématique est liée au contrôle optimal et aux correspondances (analyse multi-fonctionelle).
Avec des hypothèses moins fortes et surtout un changement de perspective dans la définition de l’optimisation (coût infini à l’extérieur de l’ensemble de contrainte).