INF779 - Systèmes à événements discrets

Cible(s) de formation

Comprendre et pouvoir mettre en pratique la modélisation et le contrôle des systèmes à événements discrets (SED), les algorithmes de synthèse de contrôleurs et les applications de contrôle à partir d'une utilisation intensive de la théorie des automates et des langages formels ainsi que la logique temporelle.

Contenu

Introduction aux langages formels. Introduction aux treillis. Contrôle des SED avec observation totale. Contrôle des SED avec observation partielle. Contrôle des SED ayant un comportement infini. Choix de sujets parmi : contrôle en ligne, contrôle des SED basé sur les états, contrôle des SED avec contraintes temporelles, contrôle des SED vectoriels, réseaux de Pétri et synthèse de contrôleurs.