Ensemble des états à partir desquels il existe au moins une trajectoire dynamique respectant toutes les contraintes à chaque instant.