Ecole MACS 2017

Samedi 8 juillet matin, session de 3h :

Algèbre maxplus : présentation du formalisme, résultats principaux pour l'analyse et le contrôle des SED. Illustrations à travers des logiciels développés par les intervenants.

Présentation (pdf) par B. Cottenceau, M. Lhommeau et S. Lahaye (Université d'Angers, France)

Samedi 8 juillet après-midi, session de 3h :

Théorie du contrôle par supervision : introduction à la théorie et aux formalismes (automates et langages) et quelques résultats intéressants par rapport aux architectures de contrôle modulaires, décentralisées, hiérarchiques, avec observation totale ou partielle. Illustrations avec Supremica.

Présentations par L. Pietrac (pdf) (INSA Lyon, France) et M. Fabian (pdf) et S.Mohajerani (pdf) (Chalmers Univ. of Technology, Suède)

Dimanche 9 juillet matin, session de 3h :

Réseaux de Petri : présentation du formalisme et de résultats intéressants en analyse et contrôles des SED.

Présentation réalisée par Cristian Mahulea (pdf) (Université de Saragosse, Espagne) et Francesco Basile (pdf) (Université de Salerne, Italie)

Dimanche 9 juillet, session de 2h :

Opacité : définition, vérification et renforcement

Présentation (pdf) de Stéphane Lafortune