Recherche Opérationnelle Approfondie (2)

Formation

À Paris Cédex 03

Prix sur demande

Appeler le centre

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

Paris Cédex 03 ((75) Paris)
Voir plan
292 Rue Saint-Martin, 75141

Date de début

Consulter

Questions / Réponses

Ajoutez votre question

Nos conseillers et autres utilisateurs pourront vous répondre

À qui souhaitez-vous addresser votre question?

Saisissez vos coordonnées pour recevoir une réponse

Nous ne publierons que votre nom et votre question

Les Avis

Le programme

Contenu Cours et conférences d'approfondissement
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).

Appeler le centre

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)

Prix sur demande