Dans une tentative de régler l'explosion combinatoire inhérente à l'algorithme de synthèse de contrôleur de Ramadge et Wonham, ce mémoire présente deux techniques spécifiques à ce problème. La première technique intègre ...