Publications de l'équipe ISA (7 réponses)

2007 (2 publication(s))

Mémoires de Master (2)

• Algebraic modelling of Fault Trees with Priority AND gates
  G. MERLE
  Mémoire de Master, ENS de Cachan, Juillet 2007
• Analyse formelle de la sûreté de systèmes mécatroniques sujets à défaillance
  M. PERIN
  Mémoire de Master, ENS de Cachan, Juillet 2007

2006 (5 publication(s))

Mémoires de Master (5)

• Control system design using the Supervisory Control Theory: evaluations of possibilities and limits
  M.CANTARELLI
  Mémoire de Master, ENS de Cachan, Juillet 2006
• Elaboration d’un modèle de simulation UPPAAL pour la detection et le diagnostic
  P.COCHETEUX
  Mémoire de Master, ENS de Cachan, Juillet 2006
• Evaluation de trois stratégies de mesures expérimentales du délai dans les architectures Ethernet commuté d’un système automatisé
  B.MILLION
  Mémoire de Master, ENS de Cachan, Juillet 2006
• Identification de modèle de connaissance de taille représentative
  S.RUEL
  Mémoire de Master, ENS de Cachan, Juillet 2006
• Génération automatique de modèles de partie opérative
  N.SALLES
  Mémoire de Master, ENS de Cachan, Juillet 2006