Phd. thesis

1999

• SYNTHESE DE LA COMMANDE DES SYSTEMES A EVENEMENTS DISCRETS PAR GRAFCET
  C. NDJAB HAGBEBELL
  Thèse de l'Université de Reims Champagne Ardenne, 16 Septembre 1999

• UN LANGAGE DE SPECIFICATION POUR LA CONCEPTION STRUCTUREE DE LA COMMANDE DES SYSTEMES A EVENEMENTS DISCRETS
  J.J. DUMERY
  Thèse de l'Ecole Centrale De Paris, 9 décembre 1999

1998

• ELABORATION D'UN LANGAGE DE SPECIFICATION COMPORTEMENTALE DE SYSTEMES AUTOMATISES
  L. GUILLEMAUD
  Thèse de Doctorat de l'Université de Rennes I, Novembre 1998

• INGENIERIE INVERSE EN GENIE AUTOMATIQUE : UNE METHODOLOGIE D'ELABORATION D'UNE REPRESENTATION STRUCTUREE D'UNE COMMANDE PREEXISTANTE
  F. LOUNI
  Thèse de Doctorat de l'Ecole Nationale Supérieure d'Arts et Métiers, Février 1998

• DE LA VERIFICATION DE CAHIERS DES CHARGES DE SYSTEMES A EVENEMENTS DISCRETS A LA VALIDATION DES SPECIFICATIONS DECRITES EN GRAFCET
  S. LAMPERIERE-COUFFIN
  Thèse de Doctorat de l'Ecole Normale Supérieure de Cachan, Janvier 1998

1997

• MODELISATION DU GRAFCET TEMPORISE ET VERIFICATION DE PROPRIETES TEMPORELLES
  D. L'HER
  Thèse de Doctorat de l'université de Rennes I, Septembre 1997

• CONTROL AND SUPERVISION OF EVENT-DRIVEN SYSTEMS
  H. YAZDI
  Ph.D. thesis of Technical University of Denmark (DTU), Februar 1997

1996

• COMMANDE SUPERVISEE DES SYSTEMES A EVENEMENTS DISCRETS
  F. CHARBONNIER
  Habilitation à diriger des recherches de l'INPG, janvier 1996

• DU TTM/RTTL POUR LA VALIDATION DES SYSTEMES COMMANDES PAR GRAFCET
  P. DE LOOR
  Thèse de Doctorat de l'Université de Reims Champagne Ardenne, Octobre 1996

• LE MODELE GRAFCET : REFLEXION ET INTEGRATION DANS UNE PLATE-FORME MULTIFORMALISME SYNCHRONE
  D. GAFFE
  Thèse de Doctorat de l'Université de Nice-Sophia Antipolis,Janvier 1996

1995

• D'UNE THEORIE DES SYSTEMES SEQUENTIELS A LA NOTION DE CODEUR : VALIDATION GLOBALE DU GRAFCET
  M. GUILLAUME
  Thèse de Doctorat de l'Université de Rennes I, Décembre 1995

1994

• ANALYSE DE GRAFCETS PAR GENERATION LOGIQUE DE L'AUTOMATE EQUIVALENT
  J.M. ROUSSEL
  Thèse de Doctorat de l'Ecole Normale Supérieure de Cachan, Décembre 1994

• ACSY-R: UN MODELE POUR L'ANALYSE, LA SPECIFICATION ET LA SIMULATION DE LA COMMANDE DE SYSTEMES DISCRETS COMPLEXES REPARTIS
  V. CHAPURLAT
  Thèse de Doctorat de l'Universite Montpellier II, 29 Septembre 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

• APPORT DE LA METHODOLOGIE SYNCHRONE POUR LA DEFINITION ET L'UTILISATION DU LANGAGE GRAFCET
  P. LE PARC
  Thèse de Doctorat de l'université de Rennes I, Janvier 1994

• UTILISATION DU GRAFCET ET DES RESEAUX BAYESIENS POUR LE DIAGNOSTIC DE FONCTIONNEMENT : APPLICATION AU SYSTEME CRYOGENIQUE DE L'EXPERIENCE TORE SUPRA
  O. BADIE
  Thèse de Doctorat en informatique de l'Université Paris 6, 1994

1993

• PERFORMANCES TEMPORELLES D'AUTOMATES PROGRAMMABLES ET CONCEPTION D'UN COPROCESSEUR D'ACCELERATION
  G. RUDELOU
  Thèse de Doctorat de l'université de montpellier 2, 1993

• INTERACTION PRODUIT-PROCEDE. EXTENSION DE LA MODELISATION DE LA COMMANDE AVEC SUIVI AUTOMATIQUE DU PRODUIT
  F. PEREYROL
  Thèse de Doctorat de l'université de montpellier 2, 1993

• CONTRIBUTION A LA SPECIFICATION ET A LA MISE EN OEUVRE DE LA COMMANDE TEMPS-REEL DE CELLULES FLEXIBLES D'ASSEMBLAGE
  M. SOUAM
  Thèse de Doctorat de l'université de Lille I, 1993

1992

• MODELISATION DE PROTOCOLES: APPLICATION A LA COUCHE LIAISON DE DONNEES DE F.I.P.
  G. GARNIER
  Thèse de Doctorat de l'université de Nancy 1, 1992

• CONTRIBUTION A LA DIDACTIQUE DES DISCIPLINES TECHNOLOGIQUES : ACQUISITION ET UTILISATION D'UN LANGAGE D'AUTOMATISME
  J. GINESTIE
  Thèse de Doctorat, 1992

1991

• CONTRIBUTION A LA CONCEPTION DES SYSTEMES DE CONTROLE REPARTI
  D. FOURMAUX
  Thèse de Doctorat de LILLE 1, 1991

• MODELE STRUCTURE DE SPECIFICATION, DE CONCEPTION ET DE MISE AU POINT DE SYSTEMES A EVENEMENTS DISCRETS
  T. GIACCONE
  Thèse de Doctorat de Montpellier 2, 1991

• CONCEPTION D'UN SYSTEME DE GESTION D'INTERFACE UTILISATEUR DANS L'ENVIRONNEMENT CIM
  J. WANG
  Thèse de Doctorat de Valenciennes, 1991

• UNE CONTRIBUTION AU GENIE AUTOMATIQUE : LE PROTOTYPAGE DES MACHINES ET SYSTEMES AUTOMATISES DE PRODUCTION
  H. PANETTO
  Thèse de Doctorat en production automatisée de l'Université de Nancy 1, 1991

1990

• CONTRIBUTION A L'APPLICATION DU DIALOGUE HOMME-MACHINE. APPLICATIONS INDUSTRIELLES A UN RESEAU D'AUTOMATES
  V. CARRE
  Thèse de Doctorat de Reims, 1990

• TRAITEMENT DE L'INFORMATION ET EFFICACITE ECONOMIQUE DES AUTOMATISMES : LA PLACE DU GRAFCET
  P. PERNOT
  Thèse de Doctorat de Grenoble 2, 1990

• AUTOMATISATION D'UN REACTEUR PILOTE MODULAIRE POLYVALENT SOUS PRESSION: APPLICATION A LA CARBOXYLATION DU RESORCINOL
  J. DALIL-ESSAKALI
  Thèse de Doctorat de Paris 6, 1990

• MODELISATION ET SIMULATION DE DEFAILLANCES DANS LES SYSTEMES DE PRODUCTION DISCRETS
  C. PERSEGOL
  Thèse de Doctorat en composants, signaux et systèmes de l'Université de Montpellier 2, 1990

1989

• GRAFCET COLORE: CONCEPTION ET REALISATION D'UN OUTIL DE GENERATION, DE SIMULATION ET DE COMMANDE TEMPS REEL
  D. SUAU
  Thèse de Doctorat de Montpellier 2

• DE LA MODELISATION A L'IMPLANTATION AUTOMATISEE DE LA COMMANDE HIERARCHISEE DE CELLULES DE PRODUCTION FLEXIBLES DANS L'INDUSTRIE MANUFACTURIERE
  E. CRAYE
  Thèse de Doctorat d'Etat de LILLE 1, 1989

• CONTRIBUTION D'UNE APPROCHE ORIENTEE OBJET A LA FORMALISATION D'UNE BASE CAO DE GENERATION D'APPLICATIONS EN PRODUCTIQUE
  J.P. CALLET
  Thèse de Doctorat de Montpellier 2, 1989

• MODELISATION GRAFCET DE LA COMMANDE ET STIMULATION DE LA PARTIE OPERATIVE DE SYSTEMES DE PRODUCTION ET DE MANUTENTION
  J.L. MULLER
  Thèse de Doctorat de Montpellier 2, 1989

• UNE CONTRIBUTION AU GENIE AUTOMATIQUE : LA SPECIFICATION EXECUTABLE DES MACHINES ET SYSTEMES AUTOMATISES DE PRODUCTION
  J.M. TIXADOR
  Thèse de Doctorat de Nancy 1, 1989

1988

• CONCEPTION D'UN SYSTEME EXPERT POUR LA CREATION D'UN GRAFCET : REALISATION D'UNE MAQUETTE
  T. JACQUEMIN
  Thèse de Doctorat d'Etat de Inpg, 1988

1987

• SYSTEME EXPERT DE GENERATION D'AUTOMATES PROGRAMMABLES A PARTIR DU CAHIER DES CHARGES
  O. FAHLAOUI
  Thèse de Doctorat de Paris 11, 1987

• CONTRIBUTION A L'ETUDE ET A LA REALISATION D'UN SYSTEME COMPLET DE CAO DES AUTOMATISMES INDUSTRIELS
  C. SANTONI
  Thèse de Doctorat d'Etat de Aix Marseille 3, 1987

• SPECIFICATION ET COMMANDE DES SYSTEMES A EVENEMENTS DISCRETS : LE GRAFCET COLORE
  S. AGAOUA
  Thèse de Doctorat d'Etat de Inpg, 1987

• DESCRIPTION ET SIMULATION DE SYSTEMES PHYSIQUES COMPLEXES CONTROLES PAR GRAFCET
  C. MAHDJOUBI
  Thèse de Doctorat d'Etat de INSA Rennes, 1987

• CONTRIBUTION A LA SURETE DES AUTOMATISMES SEQUENTIELS : MODELISATION, IDENTIFICATION ET TEST EN LIGNE DE LA PARTIE OPERATIVE
  R. HACHEMANI
  Thèse de Docteur Ingenieur de Lille 1, 1987

• ETUDE D'UN SYSTEME DE GENERATION AUTOMATIQUE DE GAMMES DE FABRICATION
  M. SPADONI
  Thèse de Doctorat d'Etat de Metz, 1987

• ETUDE ET REALISATION D'UN OUTIL DE CONCEPTION DE SYSTEMES LOGIQUES COMPLEXES
  D. TAIS LAILHUGUE
  Thèse de Doctorat d'Etat de Montpellier 2, 1987

• METHODOLOGIE ET CAO D'AUTOMATISMES A PARTIR DU GRAFCET : DEFINITION, IMPLANTATION ET UTILISATION DU CONCEPT DE BIBLIOTHEQUE DE COMPORTEMENT
  P. LORCA
  Thèse de Doctorat d'Etat de Montpellier 2, 1987

• OUTILS DE CAO PARAMETRES POUR LA CONDUITE DE PROCESSUS
  J.L. MALAVAL
  Thèse de Doctorat d'Etat de Montpellier 2, 1987

• CONTRIBUTION A LA DEFINITION D'UNE METHODOLOGIE D'ANALYSE ET DE SYNTHESE D'UN PROCESSUS INDUSTRIEL
  I. RAAD
  Thèse de Doctorat de 3e cycle, 1987

• ESCAL : UN SYSTEME DE CONCEPTION DES AUTOMATISMES LOGIQUES
  B. PICARD D'ESTELAN
  Thèse de Doctorat en automatique de l'Institut national polytechnique de Grenoble, 1987

• ETUDE ET REALISATION D'UN OUTIL DE CONCEPTION DE SYSTEMES LOGIQUES COMPLEXES
  D. THAIS-LAILHUGUE
  Thèse de Doctorat en composants, signaux et systèmes de l'Université de Montpellier 2, 1987

1986

• RECONNAISSANCE DE SCHEMAS MANUSCRITS : CONTRIBUTION A L'ETUDE D'OBJETS EN MOUVEMENT
  M. SILBERMANN
  Thèse de Doctorat en automatique et traitement du signal de l'Institut national polytechnique de Grenoble, 1986

• CONTRIBUTION AUX LANGAGES DE 4EME GENERATION, ORIENTES VERS LES SYSTEMES DE CONDUITE ET DE DIAGNOSTIC DE PANNES D'INSTALLATIONS INDUSTRIELLES
  V. DESCAMPS
  Thèse de Doctorat de Paris 11, 1986

• MODELISATION DE SYSTEMES A RESSOURCES PAR EXTENSIONS DU GRAFCET : APPLICATION A LA C.A.O. D'ATELIERS FLEXIBLES
  J.L. STURLESE
  Thèse de Doctorat d'Etat de Montpellier 2, 1986

• OUTIL DE CAO POUR SYSTEMES DE COMMANDE MULTIPROCESSEURS SPECIFIES PAR GRAFCET
  G. DECHENAUX
  Thèse de Doctorat d'Etat de Montpellier 2, 1986

• ETUDE ET REALISATION D'UN CIRCUIT INTEGRE VLSI COPROCESSEUR DE LA CHAINE DE CAO DE CONTROLE DE SYSTEME TEMPS REEL
  T. EZZEDINE
  Thèse de Doctorat d'Etat de Montpellier 2, 1986

1985

• CONCEPTION ET REALISATION D'UN MONITEUR GRAPHIQUE DE GRAFCET HIERARCHISES ET STRUCTURES
  C. HERAUD
  Thèse de Doctorat de Montpellier 2, 1985

1984

• SACILAM : UNE METHODOLOGIE INTERACTIVE DE CONCEPTION HIERARCHISEE DES SYSTEMES LOGIQUES COMPLEXES
  R. ALALI
  Thèse de Doctorat en sciences de l'Université de Montpellier 2, 1984

• SSIGMA : UN OUTIL DE REPRESENTATION ET DE SIMULATION ADAPTE A LA CONCEPTION DE SYSTEMES INDUSTRIELS
  F. MOUIS KELLER
  Thèse de Docteur Ingenieur de ECP, 1984

• LA COMMANDE SEQUENTIELLE REPARTIE: SYNTHESE DU GRAFCET, UTILISATION DES RESEAUX LOCAUX
  Y. DERAIL
  Thèse de Docteur Ingenieur de INP Grenoble, 1984

1983

• CONCEPTION ASSISTEE PAR ORDINATEUR DE COMMANDE EN TEMPS REEL D'AUTOMATISMES COMPLEXES A PARTIR DE SPECIFICATIONS EN LEDA-GRAFCET ET FORTRAN
  P.M. GROJEAN
  Thèse de Doctorat de Montpellier 2, 1983

• LEDA-MOD: SPECIFICATION DE COMMANDES D'AUTOMATISMES COMPLEXES PAR ASSOCIATIONS DE GRAFCET: LANGAGE ET CHAINE DE C.A.O. ASSOCIEE
  C. CAZALOT
  Thèse de Doctorat de 3e cycle de Montpellier 2, 1983

• CONTRIBUTION A L'ETUDE DES RESEAUX D'AUTOMATES PROGRAMMES INTERCONNECTES
  H. DENEUX
  Thèse de Docteur Ingénieur de l'Institut national polytechnique de Grenoble, 1983

• UNE STATION MULTI-PROCESSEUR POUR LA CONDUITE DECENTRALISEE DE PROCEDES INDUSTRIELS : APPLICATION A LA COMMANDE CONTINUE ET SEQUENTIELLE
  A. SEDIR
  Thèse de Docteur Ingénieur de l'Institut national polytechnique de Grenoble, 1983

1982

• SYSTEME A MICROPROCESSEUR POUR L'INTERPRETATION DU GRAFCET
  B. GAGI
  Thèse de Docteur Ingénieur en automatique de l'Institut national polytechnique de Grenoble, 1982

• METHODE DE CONCEPTION DESCENDANTE DE SYSTEMES TEMPS REEL
  D. PILAUD
  Thèse de 3e cycle en génie informatique de l'Institut national polytechnique de Grenoble, 1982

• ORACLE : UN OUTIL DE REPRESENTATION D'AUTOMATISMES COMPLEXES MODELISES PAR LE GRAFCET
  P. LEROY
  Thèse de 3e cycle en conception assistée des systèmes de l'Université de Montpellier 2, 1982

• DEVELOPPEMENT D'UN SYSTEME TEMPS REEL POUR L'AUTOMATISATION DE PROCEDES BIOCHIMIQUES : UTILISATION D'UN OUTIL MICRO-INFORMATIQUE
  L. KONATE
  Thèse de 3e cycle en contrôle des systèmes de l'UTC Compiègne, 1982

• DEFINITION ET SIMULATION D'UNE UNITE DE COMMANDE POUR PROCESSUS SIMULTANES
  B. YONG
  Thèse de doctorat de 3e cycle de Lille 1, 1982

• SUR UN SYSTEME DE GESTION DE PROCESSUS MULTITACHES: APPLICATION A LA COMMANDE ET A LA SIMULATION
  N. LAHMAR
  Thèse de doctorat de 3e cycle de Lille 1, 1982

1981

• SPECIFICATION ET CONCEPTION SURE D'AUTOMATISMES DISCRETS COMPLEXES, BASEES SUR L'UTILISATION DU GRAFCET ET DE RESEAUX DE PETRI
  M. MOALLA
  Thèse de doctorat d'Etat de INP Grenoble, 1981

• DISPOSITIF INTERACTIF D'AIDE A LA CONCEPTION DES PROGRAMMES DE COMMANDE DE PROCESSUS LOGIQUES INDUSTRIELS
  J.P. PARSY
  Thèse de doctorat de 3e cycle de Lille 1, 1981

• SYSTEMES MULTI-AUTOMATES PROGRAMMABLES: REALISATION MATERIELLE ET PROGRAMMATION A PARTIR D'UNE DESCRIPTION GRAFCET
  K. QUOTB
  Thèse de Docteur Ingenieur de Lille 1, 1981

• CONTRIBUTION A L'AMELIORATION DES PERFORMANCES D'UN SYSTEME DE TELEOPERATION PAR ASSERVISSEMENT ADAPTATIF D'UNE CAMERA SUR L'OUTIL MANIPULE PAR LE BRAS ESCLAVE
  P. KUSPRIYANTO
  Thèse de Docteur Ingenieur de Montpellier 2, 1981

1980

• ETUDE DES PRINCIPES ET DE LA TRANSPORTABILITE DE TRADUCTEURS DE CAHIER DES CHARGES SUR MINICALCULATEURS ET MICROPROCESSEURS
  B. CARRIERE
  Thèse de Docteur Ingénieur de l'Université de Montpellier 2, 1980

• ETUDE ET REALISATION D'UN RESEAU HIERARCHISE D'AUTOMATES DISTRIBUES
  N. SHAHRIAR-NAMINI
  Thèse de Docteur Ingénieur de l'Université Paris 6, 1980

1979

• SPECIFICATION ET IMPLANTATION AUTOMATIQUE DE PROCESSUS DE CONTROLE EN TEMPS REEL
  A. REBOUL
  Thèse de Doctorat en sciences de l'Université de Montpellier 2, 1979