Premier cycle - 3,0 crédit(s)

Aucun

Au terme de ce cours, la personne étudiante sera en mesure de/d’ : • Utiliser les modèles pour décrire des logiciels de contrôle de systèmes embarqués à évènements discrets; • Concevoir des logiciels de contrôle par rétroaction des systèmes embarqués à évènements discrets; • Concevoir des logiciels de contrôle d’architectures variées : centralisé, décentralisé, distribué, hiérarchiques; • Utiliser les techniques d’intelligence artificielle pour concevoir des logiciels de contrôles.

Introduction aux systèmes embarqués à évènements discrets. Temps réel dur et temps réel mou. Formalismes de modélisations : automates à états finis, automates temporisés. Opérations sur les automates. Modélisation des logiciels de contrôle à l’aide d’automates. Introduction à théorie du contrôle et contrôlabilité. Approches du contrôle et algorithmes: contrôle décentralisé, architecture du contrôle distribué, contrôle sous observation partielle. Conception et implantation des logiciels de contrôle : approche à base de la logique et des automates, approche à base de données et de l’apprentissage par renforcement; Études de cas de la conception de logiciel de contrôle de systèmes à évènements discrets de différents domaines (Transport, systèmes manufacturiers, internet des objets, etc.). Ce cours comporte des séances obligatoires de travaux dirigés (TD).

INF1723

Aucun