Recherche Opérationnelle Approfondie (2)
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
Public et conditions d'accès Avoir le niveau du cycle préparatoire de l'EICNAM ou équivalent (licence). Il est souhaitable d'avoir suivi l'UE RCP 105 et/ou RCP 103† † 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 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) ainsi que la synthËse de contrôleur. Compétences visées Modélisation et vérification de systËmes informatiques, supervision des systËmes automatisés de production, modélisation et évaluation des performances des protocoles de communication, Voir aussi toutes les formations en Réseau de pétri Contrôle des processus Modélisation des processus SystËme informatique Modélisation Analyse comportementale
Les sites et dates disponibles
Lieu
Date de début
Date de début
Les Avis
Le programme
Exposés d'élËves (bibliographie, synthËse).
†
Modalités de l'évaluation Réalisation d'un projet (avec soutenance)
+ Examen final
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)