

Informations généralesL'UV est portée sur la présentation des modèles de base (automates, machines à états à entrées et sorties binaires, réseaux de Petri, Grafcet) utilisés pour représenter les comportements logiques et temporels de systèmes à événements discrets. On y voit également des techniques de modélisation, de simulation, et d'analyse des principales propriétés. ObjectifsA l’issue de cet enseignement, l’étudiant sera capable de comprendre, modéliser, simuler et analyser une catégorie particulière de systèmes : les systèmes à événements discrets. Pré requis
|