SED

  • Posted on: 18 March 2014
  • By: LAHAYES
  • Updated on: 8 March 2019
En bref
Nom complet: 
Systèmes à Événements Discrets
Liste de diffusion: 
Détails

Dans le cadre des Systèmes à Événements Discrets les thèmes abordés dans le groupe portent sur :

  • l’étude de la syntaxe et de la sémantique de formalismes tels que les Réseaux de Petri (toutes les classes, que ce soit de haut niveau, temporisés, stochastiques...), les automates à états (avec toutes les sémantiques possibles), les langages, les algèbres (de Boole et extensions, des processus, max-plus...), les processus stochastiques (chaînes de Markov...) ;
  • l’application de ces formalismes pour la modélisation à partir d’un cahier des charges, l’analyse des performances des systèmes, la simulation, la vérification de propriétés, la commande, la supervision ou la surveillance d’un système, l’observation, la détection, le diagnostic, l’aide à la décision, le choix d’architecture, la reconfiguration, le dimensionnement...

Globalement ces thèmes sont dans les champs disciplinaires de l’Automatique, de l’Informatique et de la Productique sans pour autant exclure d’autres domaines comme par exemple le Génie Électrique...