Recherche

Thèmes de recherche :

  • Modélisation et validation des SED  (Systèmes à évènements discrets)

Modélisation

Validation formelle, model checking

  • Tolérance aux fautes

Contexte : temps réel, fiabilité, embarqué

Architecture robotique

GdR, Groupes de travail :

  • GdR ROBOTIQUE : GT4 (Architectures de contrôle pour la robotique)
  • GdR MACS (Modélisation Analyse et Conduite des systèmes dynamiques) : groupes ARC, Incos, RdP; action transversale AFSEC

Dernière mise à jour le 04/06/2014