SED

  • Posted on: 18 March 2014
  • By: LAHAYES
  • Updated on: 30 September 2016
En bref
Nom complet: 
Systèmes à Événements Discrets
Liste de diffusion: 
Mots-clés: 
  • Réseaux de Petri, automates à états, langages, algèbre de Boole et extension, algèbre de processus, algèbre max-plus, chaînes de Markov
  • Modélisation, analyse de performances, vérification, validation, commande, supervision, surveillance, diagnostic, aide à la décision, reconfiguration
Détails
Objectifs: 
  • Modélisation, Analyse de performances, Vérification, Validation, Commande, Supervision, Surveillance, Diagnostic, Aide à la décision et Reconfiguration des systèmes à événements discrets
  • Domaines applicatifs: systèmes de production manufacturiers, systèmes de transports de biens ou de personnes, protocoles et réseaux de communication, systèmes embarqués, systèmes de production et de distribution d'énergie, systèmes pour la domotique, Les systèmes pervasifs, systèmes informatiques critiques, systèmes d'aide ou de surveillance des malades,...
Fonctionnement: 

L'objectif du groupe est de réunir au moins trois jours par an les chercheurs travaillant sur les systèmes à événements discrets. Sans présumer de la périodicité et du poids de chaque type de présentation, des demi-journées seront organisés autour de la présentation :

  • De travaux de jeunes chercheurs afin de présenter les travaux actuels réalisés dans les laboratoires de la communauté et aux jeunes chercheurs d'avoir des retours constructifs sur leurs propositions ;

  • De réalisations industrielles présentées conjointement par les chercheurs et les industriels impliqués ;

  • D'outils informatiques permettant de mettre en œuvre des formalismes du domaine des SED, que ce soit pour la modélisation, la vérification de propriétés, la simulation... car il est difficile aujourd'hui d'utiliser un formalisme sans logiciel et ces outils sont importants pour la diffusion de nos approches ;

  • De travaux d'une personnalité invitée ou issue du groupe de travail afin d'apporter une vision experte sur un thème particulier.

Délivrables: 
  • Organisation de journée d'échange avec d'autres groupes de recherche, issus ou non du GdR

  • Organisation de sessions de présentation et d'interventions aux écoles organisées dans le cadre des journées nationales du GdR MACS

  • Organisation de sessions invitées lors de conférences du domaine

  • Rédaction d'ouvrage de synthèse