RECHERCHE OPÉRATIONNELLE APPROFONDIE (2) - RCP207

- Début de la formation : 012014 Calendrier de la formation Se renseigner auprès de l'établissement Exigences préalables information non communiquée Objectifs 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. Modalités de contrôle Attestation La fiche détaillée du partenaire Voir la fiche