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

2007 (3 publication(s))

Thèses et habilitations à diriger les recherches (3)

• Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par Arbre des Défaillances
  I. BARRAGAN SANTIAGO
  Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 153 p., juillet 2007
• Représentations formelles efficaces pour l'aide à la certification de contrôleurs logiques industriels
  V. GOURCUFF
  Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 131 p., décembre 2007
• Méthode de synthèse d'un contrôleur logique à partir de spécifications algébriques
  A. MEDINA RODRIGUEZ
  Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 185 p., décembre 2007

2006 (3 publication(s))

Thèses et habilitations à diriger les recherches (3)

• Influence de la prise en compte d'un modèle de processus en vérification formelle des systèmes à événements discrets
  J. MACHADO
  Thèse de L'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 158 p., juin 2006
• Evaluation de performance d'architectures de commande de systèmes automatisés industriels
  P. MEUNIER
  Thèse de L'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 209 p., mars 2006
• Evaluation of time performances of Ethernet-based Automation Systems by simulation of High-level Petri Nets
  G. POULARD
  Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 150 p., décembre 2006

2005 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Identification of Discrete Event Systems for Fault Detection Purposes
  S.KLEIN
  Doctorat de l’Ecole Normale Supérieure de Cachan, Spécialité : Electronique Electrotechnique et Automatique

2003 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Validation formelle de programmes Ladder Diagram pour Automates Programmables Industriels
  O. ROSSI
  Thèse de Doctorat en EEA, ENS de Cachan, 208 p., juin 2003

2002 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Formalisation en vue de la vérification de propriétés du langage à blocs fonctionnels IEC 61499
  C. SCHNAKENBOURG
  Doctorat de l'Ecole Normale Supérieure de Cachan, 14 janvier 2002, LURPA-Ens de Cachan, 14 janvier 2002, LURPA-Ens de Cachan

2001 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Une méthode d’évaluation de l’impact des évolutions du produit sur le système de production et la performance de l’entreprise
  A. COLLAINE
  Doctorat de l'Ecole Normale Supérieure de Cachan, 11 Déc. 2001, LURPA-Ens de Cachan

1999 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Apport de la méta-modélisation formelle pour la conception des systèmes automatisés de production
  L. PIETRAC
  Doctorat de l'Ecole Normale Supérieure de Cachan, 12 janv. 1999, LURPA-Ens de Cachan

1996 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Pilotage Des Cellules Adaptatives De Production : Apport Des Systemes Multi-Agents
  C. SOHIER
  Doctorat de l'Ecole Normale Supérieure de Cachan, janvier 1996

1994 (3 publication(s))

Thèses et habilitations à diriger les recherches (3)

• Aide A La Conception d'Architectures De Conduite Des Systemes De Production
  B. DENIS
  Doctorat de l'Université de Nancy I, spécialité automatique et production automatisée, février 1994
• Contribution A La Formalisation Des Modeles Et Methodes De Conception Des Systemes De Production
  J.J. LESAGE
  Habilitation à Diriger les Recherches de l'Université de Nancy I, spécialité automatique et production automatisée, février 1994
• Analyse De Grafcets Par Generation Logique De l'Automate Equivalent
  J.M. ROUSSEL
  Doctorat de l'Ecole Normale Supérieure de Cachan, Décembre 1994

1991 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Generation Automatique Des Procedures De Pilotage d'Une Cellule Flexible De Production
  D. GENDREAU
  Thèse de Doctorat de L'ECOLE CENTRALE PARIS - LURPA/ENS de CACHAN, 20 Décembre 1991

1990 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Contribution A l'Efficience Des Systemes De Robots De Transport Par Integration Des Phases De Conception Du Circuit d'Evolution, De Simulation Et De Pilotage Temps Reel
  G. TIMON
  Thèse de Doctorat - ECOLE CENTRALE PARIS/LURPA-ENS CACHAN, sept.1990

1989 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Conception De La Commande Des Systemes De Production : Contribution A La Structuration, Application A La Conception De La Commande d'un Atelier Flexible
  J.J. LESAGE
  Thèse de Doctorat - ECOLE CENTRALE PARIS/LURPA/ENS CACHAN, janv.1989

1988 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Gestion En Temps Reel d'Atelier Flexible : Analyse Et Contribution A l'Optimisation. Application Au Pilotage Des Services Logistiques
  B. FROMENT
  Thèse de doctorat - ECOLE CENTRALE PARIS/LURPA/ENS CACHAN, avril 1988