Du 17 janvier 2024 (13h30) au 19 janvier 2024 (11h30), nous vous proposons une école autour des SED à Nancy .

Les objectifs de cette formation sont de présenter les formalismes de base (système séquentiel, automate, langage réseau de Petri, graphe d’événements...), leurs extensions temporisées (automate temporisé, réseau de Petri temporisé et temporel, algèbre (max,+), graphes d’événements temporisés…) ainsi que les utilisations possibles de ces formalismes (contrôle-commande, diagnostic, vérification, synthèse algébrique...).

L'inscription est gratuite mais obligatoire avant le 10 décembre 2023 et prend en charge l'accès aux cours mais ne couvre pas les frais de transport, d'hébergement et de restauration.