Pour un système dynamique contrôlable, en l'absence d'incertitude et avec cible, et pour une position initiale donnée de l'état, il évalue, le plus petit temps d'atteinte de la cible, parmi toutes les évolutions qui restent dans K avant d'atteindre la cible en temps fini.