Recherche Opérationnelle Approfondie (2) : Modélisation et analyse de systèmes à événements discrets
Formation
À Paris Cédex 03
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Description
-
Typologie
Formation
-
Lieu
Paris cédex 03
-
Dates de début
Dates au choix
Objectifs pédagogiques Le but général de ce cours est la maîtrise de méthodes et algorithmes pour concevoir, analyser et contrôler les systèmes à événements discrets tels que les systèmes informatiques, les systèmes automatisés de production, les protocoles de communication et les systèmes orientés service
Les approches développées se basent sur la théorie des graphes, l'algèbre linéaire ainsi que sur des formalismes de la concurrence (notamment ceux dérivés des réseaux de Petri ) qui permettent notamment la visualisation de comportements parallèles (synchronisation de processus et partage de ressources) et la synthèse de contrôleur.
Les sites et dates disponibles
Lieu
Date de début
Date de début
À propos de cette formation
Public et conditions d'accès Avoir le niveau du cycle préparatoire de l'EICNAM ou équivalent (licence).
Public concerné : Élèves ingénieurs (filières RSM, IMO, AISL, ISI) & Etudiants en master Informatique
Les Avis
Les matières
- Evénements
- Modélisation
- Analyse de résultats
Le programme
Programme
Contenu
Cours et conférences d'approfondissement
Exposés d'élèves (bibliographie, synthèse).
Modalité d'évaluation
Contrôle continu + réalisation d'un projet (avec soutenance).
Bibliographie
- Li, Z. W. and M. C. Zhou : Deadlock Resolution in Automated Manufacturing Systems?A Novel Petri Net Approach, Springer, London, (2009).
- Liu, G. and K. Barkaoui : Necessary and sufficient liveness condition of GS3PR Petri nets
- Barkaoui, K. and R. Ben Ayed : Uniform Verification of Workflow Soundness
- Barkaoui, K , J. Couvreur and K. Klai : On the Equivalence between Deadlock Freeness and Liveness in Petri Nets, 26th Int. Conf. on Application and Theory of Petri Nets, Lecture Notes in Computer Sci
- Fanti, M. P. and M. C. Zhou : Deadlock control methods in automated manufacturing systems,? IEEE Trans. Syst. Man Cybern. A, Vol. 34, No. 1, pp. 5?22 (2004).
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Recherche Opérationnelle Approfondie (2) : Modélisation et analyse de systèmes à événements discrets