Vous trouverez ici l’ensemble des supports utilisés lors de ce module.

Session du Lundi 3 Juin de 14h00 à 18h00:
Automates à états et synthèse de contrôleurs
Présentation par Laurent Piétrac
Outil Supremica : site web

Algèbre de Boole et synthèse de contrôleurs
Présentation par Jean-Marc Roussel
Outil développé au LURPA : faire un mail à jean-marc.roussel_at_ens-paris-saclay.fr pour demander la dernière version et la procédure d’installation

Session du Mardi 4 Juin de 8h00 à 12h00:
Aperçu des méthodes et outils de l’algèbre max-plus
Présentation par Sébastien Lahaye
Librairie développée au LARIS

RdP et problèmes d’ordonnancement
Présentation par Dimitri Lefebvre
Bibliothèque Matlab développée : voir bas de page, fichier Matlab-Dimitri-Lefebvre.zip

Session du Mardi 4 Juin de 14h00 à 18h00:
Systèmes à événements discrets et Ordonnancement : Théories, applications et comparaison aux approches de Recherche Opérationnelle

Session du Mercredi 5 Juin de 8h00 à 12h00:
Evaluation de la robustesse d’un ordonnancement sous perturbation: approche par des SED

Documents Annexes:
Initiation à la Robustesse