Publications of ISA team (68 réponses)

2005 (4 publication(s))

Master theses (4)

• Modelling the quality of service of discrete event control systems
  M. ALBRECHT
  Mémoire de DEA, 33p., juin 2005
• Étude et évaluation de l'impact d\'un switch sur un traffic de contrôle commande par TCP/IP
  G. COLOMBIER
  Mémoire de DEA, 26p., juin 2005
• Spécification d'un contrôleur logique permettant sa synthèse de manière algébrique
  Y. HIETTER
  Mémoire de DEA, 26p., juin 2005
• Répartition dynamique d'activités sur un Automate Programmable Industriel à moniteur non préemptif
  B. ROHEE
  Mémoire de DEA, 29p., juin 2005

2004 (5 publication(s))

Master theses (5)

• Apport de la réécriture pour la vérification d'un programme de commande par Model-Checking: Cas du Ladder Diagram
  O.CARDIN
  Mémoire de DEA, juillet 2004
• Identification de machines séquentielles parallèles en tenant compte de la structure de la Partie Opérative
  D. EVROT
  Mémoire de DEA, juillet 2004
• Vérification de système de contrôle-commande multitâche temps réel
  V. GOURCUFF
  Mémoire de DEA, juillet 2004
• Génération d'un modèle comportemental pour les processus de systèmes automatisés électropneumatiques
  Z. JUAREZ-OROZCO
  Mémoire de DEA, septembre 2004
• Mise en oeuvre et paramétrage d'une architecture Ethernet TPC/IP routée: Apprentissage par réseaux de neurones
  S. LIMAL
  Mémoire de DEA, juillet 2004

2003 (3 publication(s))

Master theses (3)

• Génération automatique de jeux de tests pour systèmes séquentiels et temporisés contenus dans un automate programmable industriel
  J. ANTOINE
  Mémoire de DEA, 32 p., juillet 2003
• Modeling and simulation of a control architecture over Ethernet with TCP/IP protocol
  G. POULARD
  Mémoire de DEA, 47 p., juillet 2003
• Identification d'un système logique couplé à une partie opérative émulée
  J. TARDIF
  Mémoire de DEA, 30 p., juillet 2003

2002 (3 publication(s))

Master theses (3)

• Identification de systèmes logiques séquentiels par observation d'événements et analyse énumérative
  G.GOUSSET
  Mémoire de DEA, 32 p., juin 2002
• Apports du calcul symbolique pour la conception sšre de programmes de contrôle/commande écrits en Ladder
  O. GRABINSKI
  Mémoire de DEA, 24 p., juin 2002
• Elaboration des propriétés des programmes de commande à partir de l'analyse des défaillances du système
  S. HENRY
  Mémoire de DEA de Production Automatisée, LURPA/ENS Cachan, septembre 2002

2001 (2 publication(s))

Master theses (2)

• Méthode d’optimisation de scénarios de tests générés à partir de spécifications grafcet
  Y. CHARLEMAGNE
  Mémoire de DEA de Production Automatisée, LURPA/ENS Cachan, juin 2001
• Spécification et vérification du comportement dynamique d’un Système à Evénement Discret : approches réseaux de Petri et SFC sur un même cas d’étude
  S. KLEIN
  Mémoire de DEA de Production Automatisée, LURPA/ENS Cachan, juin 2001

2000 (2 publication(s))

Master theses (2)

• Définition et mise en place d'un environnement logiciel pour la plate-forme expérimentale prisme
  P. BERNARDONI
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 2000
• Etude de faisabilité d'une méthode de génération automatique de scénarios de tests à partir d'une spécification Grafcet
  O. BOSIO
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 2000

1999 (3 publication(s))

Master theses (3)

• Implantation d'une commande multi-agents dans un automate programmable
  Y. LESPINAS
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juillet 1999
• Expérimentation d'un algorithme d'identification des machine séquentielle dans le cadre du projet PRISME
  R. LOCHOUARN
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juillet 1999
• Identification et modélisation du comportement dynamique d'un Automate Programmable Industriel
  N. PERPERE
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juillet 1999

1998 (2 publication(s))

Master theses (2)

• Méthode de détermination expérimentale du comportement réactif d'un équipement industriel de commande
  M. LAVANDIER
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1998
• Extension à la formalisation du modèle d'un système multi-agents appliqué à une cellule de fraisage
  O. ROSSI
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1998

1997 (3 publication(s))

Master theses (3)

• Identification des systèmes séquentiels par la plate-forme PRISME
  N. HEVIN
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1997
• Etude expérimentale des performances des architectures de conduite
  C. ROESLIN
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1997
• Validation de la commande d'une cellule de fraisage par système multi-agents : simulation du comportement
  C. VIGNY
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1997

1996 (6 publication(s))

Master theses (6)

• La Conception Des Systemes De Production Multiproduit
  A. COLLAINE
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juil. 1996
• Vers Une Conception Robuste Des Systemes De Production Multiproduit. Integration De l'Activite De Controle Comme Activite Semi-Structuree.
  A. COLLAINE
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1996
• Capacites Des Outils De Simulation Bases Sur Les Reseaux De Petri Colores Temporises
  P. MEUNIER
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
• Simulation Des Architectures De Commande En Vue d'Une Aide A La Conception De Ces Architectures
  P. MEUNIER
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
• Extension De l'Automate Equivalent A un Grafcet Par Association Des Variables De Sortie Aux Etat De l'Automate Et Introduction De Contentions Sur Les Variables d'Entrees
  C. THIERRY
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
• Traductions Formelles Des Specifications Temporelles Du Grafcet
  C. THIERRY
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996

1995 (4 publication(s))

Master theses (4)

• Application Du Concurrent Engineering A un Systeme De Production
  C. BONARDEL
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1995
• Le Concurrent Engineering
  C. BONARDEL
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1995
• Elaboration d'Une Methode De Structuration Pour l'Ingenierie Des Automatismes Dans Les Centrales E.D.F.
  L. CABARROCAS, S. COSSART
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1995
• Ordonnancement Des Traitements Dans Les Moniteurs Temps Reel Pour La Commande Des Automatismes
  S. COSSART
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1995

1994 (3 publication(s))

Master theses (3)

• Commande Coordonnee d'un Systeme Flexible De Production
  D. CHEVREAU
  Mémoire, DEA de Robotique, LURPA / ENS Cachan, juil. 1994
• Preuve Et Verification De Proprietes Sur Les Systemes De Transitions
  C. DUCHE
  Recherche bibliographique DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1994
• Validation De Grafcets Par l'Etude De Leur Automate Equivalent. Analyse Des Besoins, Experimentation Sous l'Environnement Mec
  C. DUCHE
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1994

1993 (2 publication(s))

Master theses (2)

• Modelisation Fonctionnelle De La Partie Operative d'un Systme Hybride : Application A un Sous-Systeme De Tranche De Centrale Thermique
  L. PIETRAC
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1993
• Techniques De Modélisation Appliquees A l'Etude Des Fonctionnalites Attendues De La Partie Operative Des Systemes Hybrides
  L. PIETRAC
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1993

1992 (4 publication(s))

Master theses (4)

• La Methode "Gim"
  B. ANGLADE
  Recherche Bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juil.1992
• Utilisation Conjointe De Merise Et IDEF0 : Application A l'Analyse Et La Realisation d'Une Maquette d'un Module Logiciel De Gestion Temps Reel Des Requetes De Transport
  B. ANGLADE
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1992
• Ordonnancement En Temps Reel Et Ordonnancement d'Atelier Par Simulation
  P. LE BRETON
  Recherche Bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1992
• Utilisation Conjointe De Techniques De Specification Pour l'Etude d'Une Couche De Communication Au Sein d'un Controleur De Cellule
  P. LE BRETON
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1992

1991 (3 publication(s))

Master theses (3)

• Realisation d'Une Bibliotheque De Communication En Ada Adaptee A l'Atelier Flexible Du Lurpa
  J.M. REYNAUD
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1991
• Analyse Et Developpement d'un Atelier Logiciel Experimental Pour La Modelisation Par Le Grafcet
  J.M. ROUSSEL
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1991
• Approche Objet Et Ingenierie Des Systemes Automatises De Production
  J.M. ROUSSEL
  Recherche Bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1991

1990 (5 publication(s))

Master theses (5)

• Analyse Des Systemes Temps Reel : La Methode "Structured Analysis For Real-Time Systems"
  G. CORTHIER
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1990
• Conduite d'Une Cellule Flexible d'Usinage : Elaboration, En Mode Automatique, De Scenarios De Production, A Partir De Taches Operatives
  F.CHEVALIER, J.L. DEUTSCH
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1990
• Analyse Fonctionnelle De La Cellule De Preparation Manuelle De l'Atelier Flexible Du Lurpa. Application De La Methode SADT
  L. HELETA
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1990
• Les Langages Synchrones
  L. HELETA
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1990
• Specification Fonctionnelle De La Cellule Manuelle De l'Atelier Automatise Flexible Du L.U.R.P.A. (Point De Vue De l'Opérateur)
  S. THEALLIER, D. THOME
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1990

1989 (10 publication(s))

Master theses (10)

• Structuration, Analyse Et Implementation Des Taches Operatives Dans La Commande Sequentielle Repartie d'Une Cellule Flexible De Fraisage
  D. COSTES
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1989
• Conduite d'Une Cellule Flexible De Fraisage A Commande Repartie Par Macro-Primitives Structurees
  Y. DE GELIS
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan juin 1989
• Les Systemes Experts Dans l'Industrie
  Y. DE GELIS
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1989
• Conception Generale Du Systeme De Commande De La Cellule De Mesure De l'A.A.F. Du Lurpa
  P. GORCE
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1989
• Genie Logiciel : Concept, Methodologie Et Outils
  P. GORCE
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1989
• Experimentation d'un Systeme d'Alimentation Automatique De Palettes, Sur Machine A Mesurer Tridimensionnelle
  B. HOUX
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan juin 1989
• Evolution Des Api - Les Modules Intelligents
  F. KIEFER
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1989
• Contribution A La Conception Du Systeme Informationnel d'un A.A.F. Application De La Methode Merise A l'Analyse Et l'Implementation De La Conduite Des Services Logistiques
  G. MONNERET, F. KIEFER
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1989
• La Supervision De Procedes Automatises Industriels
  G. MONNERET
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1989
• Mise En Place d'Une Nouvelle Methode De Preparation. Programmation Pour l'Atelier Flexible De Meudon Et Annexes - Pour Atelier Flexible Preparation/Programmation Flexible
  CH. MONY
  Mémoire, DEA de Production Automatisée, ECOLE CENTRALE PARIS/LURPA-ENS Cachan, sept.1989

1988 (4 publication(s))

Master theses (4)

• Etude De l'Automatisation d'Une Cellule De Fraisage
  M. ARAUJO
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1988
• Surveillance Des Systemes De Production Automatisee
  M. ARAUJO
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1988
• Les Reseaux Locaux Industriels Heterogenes
  B. DENIS
  Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1988
• Structuration Du Systeme De Conduite d'un Magasin Automatique A Transtockeur
  B. DENIS
  Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1988