Publications of ISA team (286 réponses)

2007 (18 publication(s))

Journal Papers (2)

• Evaluation des délais de réactivité des architectures de commande distribuées sur réseau Ethernet
  G. MARSAL, B. DENIS, J.-M. FAURE
  Revue des Sciences et Technologies de l'Automatique, e-STA, Volume 4, n° 2, 2ème trimestre 2007
• Manufacturing plant control challenges and issues
  G. MOREL, P. VALCKENAERS, J.-M. FAURE, C. E. PEREIRA, C. DIEDRICH
  Control Engineering Practice, Volume 15, Issue 11, pp. 1321-1331, November 2007

Conference Papers (10)

• Evaluation des performances temporelles d’Ethernet industriel
  B. DENIS
  Journées Techniques AIP-PRIMECA, Ethernet Industriel : Quelle place pour le développement des applications d’automatisme ? Nantes, 18 et 19 janvier 2007
• Measuring the impact of vertical integration on response times in Ethernet fieldbuses
  B. DENIS, S. RUEL, J.-M. FAURE, G. MARSAL, G. FREY
  12th IEEE Conference on Emerging Technologies and Factory Automation, ETFA'07, Patras (Greece), pp. 532-539, Sep. 2007
• Formal verification of redundant media extension of Ethernet PowerLink
  S. LIMAL, S. POTIER, B. DENIS, J.-J. LESAGE
  12th IEEE Conference on Emerging Technologies and Factory Automation, ETFA'07, Patras (Greece), pp. 1045-1052, Sep. 2007
• Algebraic modelling of Fault Trees with Priority AND gates
  G. MERLE, J.-M. ROUSSEL
  Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), pp. 175-180, Cachan, France, 13-15 juin 2007.
• Modèle algébrique des arbres de défaillance intégrant des contraintes sur l'ordre d'occurrence des événements
  G. MERLE, J.-M. ROUSSEL
  2èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'07), CDRom papier N°40, 6p., Reims, France, 9-11 juillet 2007.
• Temporal performance evaluation of control architecture in automation systems
  P. MEUNIER, B. DENIS, J.-J. LESAGE
  6th EUROSIM Congress on Modelling and Simulation, EUROSIM 2007, Ljubljana (Slovenia), CDRom paper N°392, 9 p., Sept. 2007
• Decentralized approach for fault diagnosis of discrete event systems
  M. SAYED MOUCHAWEH, A. PHILIPPOT, V. CARRE MENETRIER
  4th International Conference on Informatics in Control, Automation and Robotics (ICINCO'07), Angers (France), pp.124-129 , May 2007
• Unconditional decentralized structure for the fault diagnosis of discrete event systems
  A. PHILIPPOT, M. SAYED MOUCHAWEH, V. CARRE MENETRIER
  Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), pp. 255-260, Cachan, France, 13-15 juin 2007
• Outil d’aide à l’élaboration de modèles hybrides de simulation pour les systèmes manufacturiers
  B. ROHEE, B. RIERA, V. CARRE-MENETRIER, J.-M. ROUSSEL
  2èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'07), CDRom papier N°62, 6p., Reims, France, 9-11 juillet 2007
• Generic determination of fault models for fdi purposes
  M. ROTH, S. KLEIN, L. LITZ
  1er IFAC Workshop on Dependable Control of Discrete Systems, DCDS'07, Cachan (France), 13-15 juin 2007

PhD theses and French "Habilitation à diriger des 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

Master theses (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

Other publications (1)

• Conception de la commande des systèmes de production à l’aide du logiciel LCM Studio : approches monolithique et modulaire
  A. PHILIPPOT, O. DE SMET
  Rapport d’activité Post Doctoral, 27p., Septembre 2007

2006 (25 publication(s))

Journal Papers (1)

• Designing dependable controllers using algebraic specifications
  J.M. ROUSSEL, J.M. FAURE
  Control Engineering Practice, Volume 14, Issue 10, pp. 1143-1155, October 2006

Conference Papers (16)

• Including systematic faults into fault-tree analysis
  I. BARRAGAN SANTIAGO, J.-M. FAURE and Y. PAPADOPOULOS
  Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS 2006), Aug 30 - Sep 1, 2006, Beijing, P. R. China, pp. 811-816
• Obtaining temporal and timed properties of logic controllers from fault tree analysis
  I.S. BARRAGAN SANTIAGO, Matthias ROTH,J.M. FAURE
  12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, Saint-Etienne, France, May, 17-19, 2006, pp. 243-248
• Performance verification of discrete event systems using hybrid model-checking
  B. DENIS, J.-J. LESAGE, Z. JUÀREZ OROZCO
  2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'06, Alghero (Italy), pp. 365-370, June 2006
• Détermination de l'équivalence comportementale d'algorithmes de contrôle - commande
  V. GOURCUFF, O. DE SMET, J.-M. FAURE
  Conference Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'06, ENST 2006 S 002, pp. 111-125, Paris, 15-17 mars 2006
• Efficient representation for formal verification of PLC programs
  V. GOURCUFF, O. DE SMET, J-M. FAURE
  8th International Workshop On Discrete Event Systems, WODES'06, Ann Arbor (USA), July 2006, pp. 182-187
• Formal verifivation of industriel controllers: with or without a plant model?
  J. MACHADO, B. DENIS, J.-J. LESAGE
  7th Portuguese Conference on Automatic Control, CONTROLO'2006, Lisbon (Portugal), CDRom paper N°80, 6 p., September 2006
• A generic approach to build plant models for DES verification purposes
  J. MACHADO, B. DENIS, J.-J. LESAGE
  8th International Workshop On Discrete Event Systems, WODES'06, Ann Arbor (USA), July 2006, pp.407-412
• Logic controllers dependability verification using a plant model
  J. MACHADO, B. DENIS, J.-J. LESAGE, J.-M. FAURE, J. FERREIRA DA SILVA
  3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna (Poland), pp. 37-42, September 2006
• Evaluation des délais de réactivité des architectures de commande distribuées sur réseau Ethernet
  G. MARSAL, B. DENIS, J.-M. FAURE
  Conférence Internationale Francophone d'Automatique, CIFA 2006, Bordeaux (France), CDRom paper N°283, 6 p., mai 2006
• Evaluation of Response Time in Ethernet-based Automation Systems
  G. MARSAL, B.DENIS, J.-M. FAURE, G. FREY
  6th IEEE International Workshop on Factory Communication Systems, WFCS'2006, Turin (Italy), pp. 95-98, June 27-30 2006
• Evaluation of Response Time in Ethernet-based Automation Systems
  G. MARSAL, B. DENIS, J.-M. FAURE, G. FREY
  11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'06, Prague (Czech Republic), pp. 380-387, September 2006
• Component failure behaviour: patterns and reuse in automated system safety snalysis
  Y. PAPADOPOULOS, A. TRAN, J.-M. FAURE, C. GRANTE
  SAE 2006 World Congress, Detroit, USA paper n° 06AE-287 , April, 3-6, 2006
• A methodology to design and check a plant model
  B. ROHEE, B. RIERA, V. CARRE-MENETRIER, J-M. ROUSSEL
  3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna (Poland), pp. 246-250, September 2006
• Performance analysis of industrial Ethernet networks by means of timed model-checking
  D. WITSCH, B. VOGEL-HEUSER, J.M. FAURE, G. POULARD-MARSAL
  12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, Saint-Etienne (France), pp. 101-106, May 2006
• Comparative study between the timed automata and the RRBF for discrete event system diagnosis
  R. ZEMOURI, J-M. FAURE
  6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processe, SAFEPROCESS 2006, Beijing (China), CDRom paper N°1286, 6p., August 29-September 1 2006
• Diagnosis of discrete event system by stochastic timed automata
  R. ZEMOURI, J-M. FAURE
  IEEE International Conference on Control Applications (CCA/CACSD/ISIC), Munich (Germany), CDRom paper N°307, 6p., October 4-6 2006.

PhD theses and French "Habilitation à diriger des 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

Master theses (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

2005 (14 publication(s))

Journal Papers (1)

• Verification of an evaporator system with UPPAAL
  M. BEN GAID, B. BERARD, O. DE SMET
  Journal Européen des Systèmes Automatisés, Vol. 39/9-10, pp. 1079-1098, Ed. Hermès, 2005

Conference Papers (8)

• From fault-tree analysis to model-checking of controllers
  I. SANTIAGO BARRAGAN, J.-M. FAURE,
  16th IFAC World Congress, CDROM paper n°04596, 6 pages, Praha(CZ), July 4-8, 2005
• Verification of a timed multitask system with UPPAAL
  H. BEL MOKADEM, B. BERARD, V. GOURCUFF, J.-M. ROUSSEL, O. DE SMET
  10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'05, Catania (Italy), CDROM paper CF-000606, September 2005
• Fault detection of Discrete Event Systems using an identification approach
  S. KLEIN, L. LITZ,J.-J. LESAGE
  16th IFAC World Congress, CDROM paper n°02643, 6 pages, Praha(CZ), July 4-8, 2005
• Identification comportementale des systèmes logiques en vue de leur surveillance
  S.KLEIN, J.-J.LESAGE, L.LITZ
  Workshop Modélisation des Systèmes Réactifs, MSR'05, Autrans (France), p. 111-126, octobre 2005
• Réglage du routeur d’un sous réseau dédié au contrôle commande temps réel : Approche expérimentale avec apprentissage par réseau de neurones.
  S. LIMAL, B. DENIS, R. ZEMOURI, J.-J. LESAGE
  3e Conférence Internationale sur la Productique, CIP'05, Tlemcen (Algerie), 3-4 décembre 2005
• Evaluation of Real-Time Capabilities of Ethernet-based Automation Systems using Formal Verification and Simulation
  G. POULARD-MARSAL, D. WITSCH, B. DENIS, J.-M. FAURE, G. FREY
  1ère Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005, RJCITR'05, pp. 27-30, Nancy, France, septembre 2005
• Survey paper on manufacturing plant control challenges and issues
  G. MOREL, P. VALCKENAERS, J.-M. FAURE, C. PEREIRA, C. DIEDRICH
  Selected Plenaries, Milestones and Surveys of the 16th IFAC World Congress, Praha(CZ), , pp. 280-290, July 4-8, 2005
• Designing dependable logic controllers using the supervisory control theory
  J.-M. ROUSSEL, A. GIUA
  16th IFAC World Congress, CDROM paper n°04427, 6 pages, Praha(CZ), July 4-8, 2005

PhD theses and French "Habilitation à diriger des 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

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 (11 publication(s))

Journal Papers (2)

• Spezifikaktion von Betriebszuständen und Betriebsartenumschaltungen - GEMMA: Ein Ansatz aus Frankreich
  G. FREY, S. KLEIN
  atp - Automatisierungstechnische Praxis, 46(2004) 3, pp. 37-40, Oldenbourg Verlag, March 2004
• Algebraic approach for dependable logic control systems design
  J.-M. ROUSSEL, J.-M. FAURE, J.-J. LESAGE, A. MEDINA
  International Journal of Production Research, 42(14), pp. 2859-2876

Conference Papers (4)

• Modélisation et vérification d'un évaporateur en UPPAAL
  M.E.M. BEN GAID, B.BERARD, O. DE SMET
  Conférence AFADL'2004 (Approches Formelles dans l'Assistance au Développement de Logiciels),Besançon, 16-18 juin 2004
• Modélisation par réseau de Petri coloré des architectures de commande distribuées sur réseau de terrain Ethernet et TCP/IP
  G. POULARD, B. DENIS, J.-M. FAURE
  5ème Conférence francophone de MOdélisation et SIMulation, MOSIM04, Nantes (France), pp. 405-412, septembre 2004
• Designing dependable logic controllers using algebraic specification
  J.-M. ROUSSEL, J.-M. FAURE
  7th International Workshop on Discrete Event Systems (WODES'04), Reims (France), pp. 313-318, September 22-24, 2004
• Réseau RRFR pour la surveillance dynamique : application en e-maintenance
  R. ZEMOURI, D. RACOCEANU, N. ZERHOUNI
  CIFA 2004 (Conférence Internationale Francophone d’Automatique), Douz/Tunisie, 22-24 novembre 2004 CD ROM.

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 (14 publication(s))

Conference Papers (9)

• Elaboration of invariant safety properties from fault-tree analysis
  S. HENRY, J.-M. FAURE
  Proceedings of IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications", CD ROM paper S2-I-04-0372, 6 pages, Lille (France), 9-12 July 2003
• Designing fault-tolerant controllers using Model-Checking
  S. KLEIN, G. FREY, L. LITZ
  IFAC-Safeprocess 2003, Washington (USA), pp. 115-120, June 2003
• Supporting the changeability of SIPN-based logic control algorithms by verification and validation
  S. KLEIN, G. FREY, J.-J. LESAGE, L. LITZ
  Proceedings of IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications", CD ROM Procedings, Paper S2-I-04-0372, 6 pages, Lille (France), 9-12 July 2003
• SIPN Editor : A Tool for PLC Programming with Petri Nets
  S. KLEIN, G. FREY, M. MINAS
  ICATPN 2003, Eindhoven (The Netherlands), pp. 440-449, June 2003
• Increasing the efficiency of PLC Program Verification using a plant model
  J. M. MACHADO, B. DENIS, J.-J. LESAGE, J.-M. FAURE, J. C. L. FERREIRA DA SILVA
  6th Industrial Engineering and Production Management IEMP'03, CDRom proceedings, Paper ormhm-4, 10 pages, Porto (Portugal), May 2003
• Model of mechanism behavior for verification of PLC programs
  J. M. MACHADO, B. DENIS, J.-J. LESAGE, J.-M. FAURE, J. F. DA SILVA
  17th International Congress of Mechanical Engineering COBEM'03, CDRom proceedings, Paper 0831, 10 pages, São Paulo (Brazil), Nov. 2003
• Modélisation d'un système logique séquentiel élémentaire à partir d'une spécification algébrique
  ANTONIO MEDINA, JEAN-MARC ROUSSEL
  Journées Doctorales d'Automatique, JDA'03, Valenciennes (France), pp. 245-250, 25-27 juin 2003
• Synthèse d'un programme de commande d'un système logique à partir de l'expression algébrique de ses spécifications
  J.-M. ROUSSEL, A. MEDINA, J.-M. FAURE
  Congrès Francophone Modélisation des Systèmes Réactifs MSR'03, pp. 77-93, Metz (France), 6-8 octobre 2003
• Towards automatic verification of ladder logic programs
  B. ZOUBEK, J.-M. ROUSSEL, M. KWIATKOWSKA
  Proceedings of IMACS-IEEE "CESA'03" : "Computational EngineePhD thesis, ENS de Cachan, 225 p., October 2010ring in Systems Applications", CD ROM paper S2-I-04-0169, 6 pages, Lille (France), 9-12 July 2003

PhD theses and French "Habilitation à diriger des 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

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

Other publications (1)

• Etude de la démarche, des méthodes et outils pour réaliser le portage d'un automatisme à relais de contrale nucléaire vers un automate programmable industriel : Tests de comportements combinatoires, séquentiels et temporisés
  J.-M. ROUSSEL, J.-M. FAURE
  Rapport n°3 du contrat EDF R&D - LURPA n°P11/F01377/0, 47 pages, Décembre 2003

2002 (16 publication(s))

Journal Papers (2)

• A method for assessing the impact of product development on the company
  A. COLLAINE, P. LUTZ, J.-J. LESAGE
  International Journal of Production Research, 40(14), pp. 3311-3336, 2002
• Safety properties verification of ladder diagram programs
  J.-M. ROUSSEL, B. DENIS
  Journal Européen des Systèmes Automatisés, 36(7), pp. 905-917, 2002

Conference Papers (7)

• Verification of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking
  O. DE SMET, O. ROSSI
  21th American Control Conference, ACC’02, Anchorage (USA), CDRom paper N°734, pp. 4147-4152, May 2002
• Toward IEC 61499 Function Blocks diagrams verification
  J.-M. FAURE, C. SCHNACKENBOURG, J.-J. LESAGE
  IEEE International Conference on Systems Man and Cybernetics, SMC'2002, Hammamet (Tunisia), CDRom paper N°TA1C2, 6 pages, Oct. 2002
• Vérification formelle des langages IEC 61131-3
  J.-M. FAURE
  Journée d’étude du Club AUTOMATION Qualité du développement des logiciels applicatifs industriels, Paris, avril 2002
• Controller design for a FMS using Signal Interpreted Petri Nets and SFC : validation of both descriptions via Model-Checking
  S. KLEIN, X. WENG, G. FREY, J.-J. LESAGE, L. LITZ
  21th American Control Conference, ACC’02, Anchorage (USA), CDRom paper N°733, pp. 4141-4146, May 2002
• A Petri net based approach to the development of correct logic controllers
  S. KLEIN, G. FREY, L. LITZ
  Second International Workshop on Integration of Specification Techniques for Applications in Engineering, INT’02, pp. 116-129, Grenoble (France), April 2002
• Synthèse de la commande d'un système hybride : une étude de cas
  N. PERPERE, J.-J. LESAGE, G. MOREL
  Conférence Internationale Francophone d’Automatique CIFA’02, CDRom paper N°16, pages 80 à 85, Nantes, juillet 2002
• An algebraic approach for PLC programs verification
  J.-M. ROUSSEL, J.-M. FAURE
  6th International Workshop on Discrete Event Systems (WODES'02), Zaragoza, Spain, pp. 303-308, 2-4 October, 2002

PhD theses and French "Habilitation à diriger des 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

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

Other publications (3)

• Prise en compte des modes de marche dans le pilotage des systèmes de production
  N. DANGOUMAU, J.-M. FAURE, E. CRAYE, J.-J. DUMERY
  "Pilotage des systèmes de production", coordinateurs J.P. Kieffer et P. Pujo, Ed. Hermès,Traité IC2, chap. 12, pp. 155-180, ISBN 2-7462-0513-0, 2002
• Etude de la démarche, des méthodes et outils pour réaliser le portage d'un automatisme à relais de contrale nucléaire vers un automate programmable industriel : Choix d'un langage de programmation d'automates
  JEAN-MARC ROUSSEL, JEAN-MARC FAURE
  Rapport n°1 du contrat EDF R&D - LURPA n°P11/F01377/0, 40 pages, Décembre 2002
• Etude de la démarche, des méthodes et outils pour réaliser le portage d'un automatisme à relais de contrale nucléaire vers un automate programmable industriel : Règles de programmation en Ladder Diagram
  JEAN-MARC ROUSSEL, JEAN-MARC FAURE
  Rapport n°2 du contrat EDF R&D - LURPA n°P11/F01377/0, 25 pages, Décembre 2002

2001 (16 publication(s))

Journal Papers (1)

• Génération de la commande des systèmes de production en ingénierie intégrée produit/processus
  J.-M. FAURE, F. COUFFIN
  Mécanique et Industries, Elsevier, 2(2), pp.133-142, 2001

Conference Papers (7)

• Cas d'application d'une méthode d'évaluation par les Réseaux de Petri de l'évolution des délais issue des évolutions de produit / système de production
  A. COLLAINE, P. LUTZ, J.-J. LESAGE
  Congrès International de Génie Industriel, CGI'2001, Aix-Marseille (France), pp. 701-710, juin 2001
• Valuation of the impact of product evolutions on delay using Petri Net simulation
  A. COLLAINE, P. LUTZ, J.-J. LESAGE
  International Conference on Industrial Engineering and Production Management, IEPM'2001, Québec (Canada), CDRom paper 10 pages, August 2001
• Formal verification of industrial control systems, 10th IFAC Symposium on Information Control Problems in Manufacturing
  O. DE SMET, J.-J. LESAGE, J.-M. ROUSSEL
  INCOM'2001, Vienna (Austria), CDRom paper, 6 pages, September 2001
• Methods for safe control systems design and implementations, 10th IFAC Symposium on Information Control Problems in Manufacturing
  J.-M. FAURE, J.-J. LESAGE
  INCOM'2001, Vienna (Austria), CDRom paper, 6 pages, September 2001
• Modeling and implementing the control of automated production systems using statecharts and PLC programming languages
  J.M. MACHADO, F. LOUNI, J.-M. FAURE, J.-J. LESAGE, J.C. FERREIRA DA SILVA, J.-M. ROUSSEL
  European Control Conference, ECC'2001, Porto (Portugal), pp. 1019-1024, September 2001
• Vérification de propriétés de sûreté dans les programmes Ladder Diagram
  J.-M. ROUSSEL, B. DENIS
  Congrès Francophone Modélisation des Systèmes Réactifs MSR’01, Toulouse (France), 17-19 octobre 2001, pp. 225-240
• Spécification du comportement de modèles à blocs fonctionnels IEC 61499 à l'aide d'un langage synchrone
  C. SCHNAKENBOURG, F. COUFFIN, J.-M. FAURE
  Congrès Francophone Modélisation des Systèmes Réactifs MSR’01, Toulouse (France), 17-19 octobre 2001, pp. 209-224

PhD theses and French "Habilitation à diriger des 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

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

Other publications (5)

• Validation des logiciels de commande d’automatismes industriels écrits en SFC, LD et ST
  G. CANET, S. COUFFIN, O. ROSSI, J.-J. LESAGE
  Rapport final de Contrat ALCATEL - LURPA - LSV, 215 pages plus annexes, mai 2001
• Dispositif et procédé d’analyse de performances et d’identification comportementale d’un système en tant qu’automate à événements discrets et finis
  B. DENIS, O. DE SMET, J.-J. LESAGE, J.-M. ROUSSEL
  Brevet N° 01 110 933, août 2001
• Constitution d'un méta-modèle de l'atelier GRAFCET pour le logiciel CONTROCAD, méta-modèle rédigé au format Entité-Association
  J.-M. ROUSSEL
  rapport intermédiaire de contrat ALSTOM POWER - LURPA, 25 pages, mai 2001
• Définition des fonctionnalités de l'atelier GRAFCET pour le logiciel CONTROCAD
  J.-M. ROUSSEL
  rapport intermédiaire de contrat ALSTOM POWER - LURPA, 15 pages, avril 2001
• Définition du module de génération de code de l'atelier GRAFCET pour le logiciel CONTROCAD
  J.-M. ROUSSEL
  Rapport final de contrat ALSTOM POWER - LURPA, 15 pages, juin 2001

2000 (15 publication(s))

Journal Papers (1)

• Réutilisation d'un modèle de référence en Génie Automatique - application à l'intégration des activités de conception des systèmes automatisés de production
  F. COUFFIN, S. LAMPERIERE, E. HOSPITAL, J.-M. FAURE
  JESA, 34(1), pp. 35-62, 2000

Conference Papers (12)

• Un cadre pour la vérification automatique de programmes IL
  G. CANET, B. DENIS, A. PETIT, O. ROSSI, P. SCHNOEBELEN
  1ère Conférence Internationale Francophone d'Automatique, IEEE-CNRS-GRAISyHM, CIFA'2000, Lille (France), pp. 693-698, juil. 2000
• Toward the automatic verification of PLC programs written in instruction list
  G. CANET, S. COUFFIN, J.-J. LESAGE, A. PETIT, P. SCHNOEBELEN
  IEEE International Conference on Systems Man and Cybernetics, SMC'2000, Nashville (USA), pp. 2449-2454, Oct. 2000
• Model of product/production system evolutions by coloured Pétri Net
  A. COLLAINE, P. LUTZ, J.-J. LESAGE
  Advances in concurrent engineering, CE'2000, Lyon (France), pp. 759-765, July 2000
• Safe programming of PLC using formal verification methods
  O. DE SMET, S. COUFFIN, O. ROSSI, G. CANET, J.-J. LESAGE, P. SCHNOEBELEN, H. PAPINI
  4th International PLCopen conference on Industrial Control Programming, ICP'2000, Utrecht (The Netherlands), pp. 73-78, October 2000
• Formal verification of the sequential part of PLC programs
  S. LAMPERIERE-COUFFIN, J.-J. LESAGE
  5th Workshop on Discrete Event Systems, WODES'2000, Ghent (Belgium), pp. 247-254, August 2000
• Comparison of different modeling approaches in simulation of programmable logic controller
  P. MEUNIER, B. DENIS, J.-J. LESAGE
  IFAC Conference on Control Systems Design, CSD'2000, Bratislava (Slovaquie), pp. 305-310, June 2000
• Safety and performance analysis for the design of distributed control architecture
  P. MEUNIER, B. DENIS, J.-J. LESAGE
  4th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, SAFEPROCESS'2000, Budapest (Hungary), pp. 874-879, June 2000
• Formal modeling of timed function blocks for the automatic verification of ladder diagram programs
  O. ROSSI, P. SCHNOEBELEN
  4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, ADPM'2000, Dortmund (Germany), pp. 177-182, Sept. 2000
• Formal verification: a tool to improve the safety of control systems
  O. ROSSI, O. DE SMET, S. COUFFIN, J.-J. LESAGE, H.PAPINI, H. GUENNEC
  4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'2000, Budapest (Hungary), pp. 885-890, June 2000
• La norme IEC 61131-3, des possibilités d'ouverture pour les utilisateurs et les fournisseurs
  J.-M. ROUSSEL
  Journée technique du Club AUTOMATION, Paris , sept. 2000
• An extended boolean algebra for the control of logical systems
  C. THIERRY, J.-M. ROUSSEL, J.-J. LESAGE
  16th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation, Lausanne (Switzerland), CDRom paper N° 320 - 6 pages, August 2000
• A formal expression of time for discrete-events dynamic systems
  C. THIERRY, J.-M. ROUSSEL, J.-J. LESAGE
  3th MATHMOD Conference, Vienna (Austria), pp. 445-448, Feb. 2000

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 (14 publication(s))

Conference Papers (7)

• Identification de machine séquentielle binaire : application à un système réactif
  O. DE SMET, J.-M. ROUSSEL, N. HEVIN
  2ème congrès sur la modélisation des systèmes réactifs, MSR'99, Cachan (France), pp. 351-360, mars 1999
• Formal Validation of PLC programs : a survey
  S. LAMPERIERE-COUFFIN, O. ROSSI, J.-J. LESAGE, J.-M. ROUSSEL
  European Control Conference 1999, ECC'99, Karlsruhe (Germany), CD-ROM paper n°741, 6 pages, Sept. 1999
• Formal verificaion of PLC programs described in IEC 61131-3 languages
  S. LAMPERIERE-COUFFIN
  Talk in a lecture series, Department of Electrical Engineering and Information Technology - Institute of Process Automation, Kaiserslautern University (Germany), Nov. 1999
• An approach of formal meta-modeling for the design methods of automated manufacturing system
  L. PIETRAC, B. DENIS, J.-J. LESAGE
  International Workshop on Formal Methods and Manufacturing, Zaragoza (Spain), pp. 65-74, Sept. 1999
• Une approche de méta-modélisation formelle des méthodes de conception des systèmes automatisés de production
  L. PIETRAC, B. DENIS
  Journées Doctorales d'Automatique, JDA'99, Nancy (France), pp. 285-288, sept. 1999
• IEC 60848 et IEC 61131-3 : deux normes complémentaires, Journée d'études "Nouvelles percées dans les langages pour l'automatique"
  J.-M. ROUSSEL, S. LAMPERIERE-COUFFIN, J.-J. LESAGE
  SEE - Club 18 (Automatique et Automatisation Industrielle), Amiens, Nov. 1999
• Formalisation des opérateurs temporels utilisés pour la description des systèmes à événements dicrets
  C. THIERRY, J.-M. ROUSSEL
  Journées Doctorales d'Automatique, JDA'99, Nancy (France), pp. 289-292, sept. 1999

PhD theses and French "Habilitation à diriger des 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

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

Other publications (3)

• Validation des SFC (Sequential Function Charts), Projet VULCAIN, Rapport de fin de tâche n° 1
  S. COUFFIN, J.-J. LESAGE, J.-M. ROUSSEL
  Contrat n° UAI/1.98 avec Alcatel CRC, 151 pages, Novembre 1999
• Modelling of reactive systems, Selected papers of MSR'99 conference
  J.-J. LESAGE EDITOR
  special issue of JESA, 33(8-9), 193 pages, 1999
• Etat de l'art bibliographique sur la validation des LADDER DIAGRAMS, Projet VULCAIN, Rapport de fin de tâche n° 2
  O. ROSSI, S. COUFFIN
  Contrat n° UAI/1.98 avec Alcatel CRC, 55 pages, septembre 1999

1998 (6 publication(s))

Conference Papers (4)

• Approche hybride pour la planification et l'ordonnancement d'un système flexible de production sujet à pannes
  O. DE SMET
  3ème conférence internationale sur l'Automatisation Des Processus Mixtes, ADPM'98, Reims (France), pp. 360-367, mars 1998
• Réactivité et déterminisme du comportement temporel du grafcet
  J.-J. LESAGE, J.-M. ROUSSEL, J.-M. FAURE, P. LHOSTE, J. ZAYTOON
  3ème conférence internationale sur l'Automatisation Des Processus Mixtes, ADPM'98, Reims (France), pp. 99-106, mars 1998
• Validation de spécifications : une expérience sur le grafcet
  J.-M. ROUSSEL
  Journée technique : Sûreté de fonctionnement des systèmes automatisés de production, Lycée R. DAUTRY, Limoges, Déc. 1998
• Eco problem solving for the adaptive control of production systems : the CASPER project
  C. SOHIER, B. DENIS, J.-J. LESAGE
  9th symposium on Information Control in Manufacturing, INCOM'98, Nancy-Metz (France), pp. 65-70 vol. 3, June 1998

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 (10 publication(s))

Journal Papers (2)

• Comportement temporel du Grafcet
  P. LHOSTE, J.-M. FAURE, J.-J. LESAGE, J. ZAYTOON
  JESA, 31(4), pp. 695-711, 1997
• Vérification et validation du Grafcet
  J. ZAYTOON, J.-J. LESAGE, L. MARCE, J.-M. FAURE, P. LHOSTE
  JESA, 31(4), pp. 713-740, 1997

Conference Papers (4)

• Validation du comportement dynamique des architectures de conduite des systèmes de production par simulation
  P. MEUNIER, B. DENIS
  1ère conférence francophone de MOdélisation et de SIMulation : Systèmes de Production et de Logistique, MOSIM'97, Rouen (France), pp. 229-238, juin 1997
• AGGLAE : un outil d'aide à la validation des grafcets de spécification
  J.-M. ROUSSEL, J.-J. LESAGE
  Journées d'Etude sur les Logiciels pour le traitement de l'Image, du Signal et l'Automatique, ELISA'97, Vandoeuvre-les-Nancy (France), 8 pages , mars 1997
• Validation du comportement dynamique d'un système multi-agents : application de l'éco-résolution à une cellule de production manufacturière
  C. SOHIER, B. DENIS, C. VIGNY
  1ère conférence francophone de MOdélisationet de SIMulation : Systèmes de Production et de Logistique, MOSIM'97, Rouen (France), pp. 549-557, juin 1997
• On the supremal controllable Grafcet of a given grafcet
  J. ZAYTOON, C. NDJAB, J.-M. ROUSSEL
  2nd Mathmod Conference, MATHMOD'97, Vienna (Austria), pp. 371-376, Feb. 1997

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

Other publications (1)

• Modelling of reactive systems, Selected papers of MSR'96 conference
  J.-J. LESAGE EDITOR
  special issue of JESA, 31(3), 186 pages, 1997

1996 (14 publication(s))

Conference Papers (7)

• Representation Et Manipulation d'un Automate Equivalent A un Grafcet A l'Aide De Bdd
  M. GATAA, J.M. ROUSSEL
  Actes du Congrès AGI'96 pp. 233-236, Tours, 6-7 juin 1996
• Agregation Et Calcul De Taux De Production Pour un Atelier Multi-Machines Soumises A Des Pannes
  S. JUHEL, H. ABOU-KANDIL, O. DE SMET
  Actes du 5ième congrès international de génie industriel (GI5) p.41 tome 2, Grenoble, France, 2-4 avril 1996
• A Theory Of Binary Signal
  J.J. LESAGE, J.M. ROUSSEL, C. THIERRY
  Proceedings of IMACS-IEEE "CESA'96" pp. 590-595, Lille, 9-12 July 1996
• Formalization Of The Design Of Control Systems
  L. PIETRAC, B. DENIS, J.J. LESAGE
  Proceedings of the Sixth International Symposium on Robotics and Manufacturing (ISRAM'96), Second World Automation Congress (WAC'96), Montpellier, France, May 27-30, 1996
• Definition d'un Cadre Formel Pour l'Expression Et La Verification De Proprietes d'un Modele Grafcet
  J.M. ROUSSEL, J.J. LESAGE
  Actes du Congrès Modélisation des Systèmes Réactifs MSR'96 pp 229-237, Brest, 28-29 mars 1996
• Validation And Verification Of Grafcet Using State Machine
  J.M. ROUSSEL, J.J. LESAGE
  Proceedings of IMACS-IEEE "CESA'96" pp. 758-764, Lille, 9-12 July 1996
• Applying Eco Problem Solving To The Control Of An Adaptative Manufacturing Cell
  C. SOHIER, B. DENIS, P. BOURDET
  Proceedings of IMACS-IEEE "CESA'96", Lille, 9-12 July 1996

PhD theses and French "Habilitation à diriger des 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

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 (10 publication(s))

Conference Papers (3)

• Formalisation De La Conception d'Architecture De Conduite Des Systèmes De Production
  B. DENIS, J.J. LESAGE
  Proceedings of the Second International Conference on Industrial Automation, AIAI'95, pp. 257-264, Nancy (France), 7-9 june 1995
• A Method For Design And Valuation Of Manufacturing System Control Architecture
  B. DENIS, J.J. LESAGE, J.M. ROUSSEL
  Proceeding of 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, pp. 4486-4491, Vancouver, British Columbia, Canada, Oct. 22-25, 1995
• Un Panorama De La Recherche En Conception De La Conduite Des Systèmes De Production
  B. DENIS, J.J. LESAGE
  Actes du congrès international de génie industriel de Montréal, Ecole Polytechnique de Montréal, pp. 1537-1549, Montréal, Quebec, Canada, 7-9 Oct. 1995

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

Other publications (3)

• Expérimentation d'Une Méthode De Structuration Des Diagrammes Fonctionnels. Tome 1 : Rapport d'Expérimentation
  L. CABARROCAS, S. COSSART, B. DENIS, J.J. LESAGE
  Rapport d'étude, Contrat n°P312L8602/EP685 avec EDF Direction des Etudes et Recherches Service Ensemble de Production, 46 pages, avril 95
• Expérimentation d'Une Méthode De Structuration Des Diagrammes Fonctionnels. Tome 2 : Annexe Technique
  L. CABARROCAS, S. COSSART, B. DENIS, J.J. LESAGE
  Rapport d'étude, Contrat n°P312L8602/EP685 avec EDF Direction des Etudes et Recherches Service Ensemble de Production, 135 pages, avril 95
• Méthode De Structuration Des Diagrammes Fonctionnels Des Automatismes
  B. DENIS, J.J. LESAGE
  Rapport d'étude, Contrat n°P312L8602/EP685 avec EDF Direction des Etudes et Recherches Service Ensemble de Production, 29 pages, Nov. 95

1994 (11 publication(s))

Conference Papers (3)

• A Boolean Algebra For A Formal Expression Of Events In Logical Systems
  B. DENIS, J.J. LESAGE, J.M. ROUSSEL
  Proc. of IMACS Mathmod, pp. 859-862, Vienna (Austria), february 1994
• Modèles De Spécification Fonctionnelle De La Commande Des Systèmes De Production : Synthèse De Trois Etudes De Cas
  L. PIETRAC, G. TIMON, B. DENIS, J.J. LESAGE, J.M. ROUSSEL
  actes de la journée PRIMECA les systèmes de production, Clermont-Ferrand, Décembre 1994
• Specification Fonctionnelle Du Controle/Commande De Tranche Nucleaire
  L. PIETRAC, J.J. LESAGE, G. TIMON, F. CHERIAUX, M. BRUNET
  actes du Symposium ADPM'94 sur l'automatisation des processus mixtes, BRUXELLES, pp. 83-92, Novembre 1994

PhD theses and French "Habilitation à diriger des 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

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

Other publications (2)

• Principes d'une Méthode de Structuration des Diagrammes Fonctionnels
  L. CABARROCAS, S. COSSART, B. DENIS, J.J. LESAGE
  Rapport d'étude, Contrat n°P312L8602/EP685 avec EDF Direction des Etudes et Recherches Service Ensembles de Production, 27 p., avril 94
• De l'Analyse Des Besoins Au Cahier Des Charges d'un Système d'Automatisation De La Production : Synthèse Sur l'Apport Des Techniques De Modélisation Fonctionnelle Pour La Conception d'Architectures
  B. DENIS, J.J. LESAGE, J.M. ROUSSEL, G. TIMON
  Rapport de synthèse - Contrat METRAUMAT/ENS de Cachan N°9110, 32 pages, Avril 1994

1993 (11 publication(s))

Journal Papers (4)

• Towards A Theory Of Integrated Modelling
  B. DENIS, J.J. LESAGE, G. TIMON
  Journal of Design Sciences and Technology, Ed. Hermes, Vol. 2 N° 1/93, pp. 87-96, Oct. 1993
• An Integration Of Production Management Rules And Fabrication Know-How For Real Time Cell Production Control
  D. GENDREAU, J.J. LESAGE, G. TIMON
  International Journal of Robotics and CIM , Pergamon Press Ltd, Vol. 10, N° 1/2, pp.115-122, Feb. 1993
• Hierarchical Approach To Grafcet Using Forcing Order
  J.J. LESAGE, J.M. ROUSSEL
  Automatique Productique Informatique Industrielle - AFCET - CNRS, Ed. HERMES, Vol. 27, N° 1/93, pp 25-38, mars 1993
• Une Algebre De Boole Pour l'Approche Evenementielle Des Systemes Logiques
  J.M. ROUSSEL, J.J. LESAGE
  APII-AFCET/CNRS, Ed Hermes, Vol. 27-N°5, pp. 541-560, Décembre 1993

Conference Papers (2)

• Les Methodes d'Analyse Fonctionnelle A l'Epreuve Du Feu : Presentation De Deux Etudes De Cas Realisees Par Le Lurpa
  J.J. LESAGE
  actes de la journée d'étude De l'analyse des besoins au cahier des charges d'un SAP organisée par l'EXERA, non paginés, CACHAN, Décembre 1993
• Real Time Scheduling Of A Production Cell Based On A Multi-Agent System
  C. SOHIER, P. BOURDET
  Proceedings of International Conference on Industrial Engineering and Production Management, MONS BELGIUM, 2-4 juin 1993

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

Other publications (3)

• Etude De Cas Rafale-X54 "Cahier Des Charges Au Format Guide d'Analyse Des Besoins Et Modélisation IDEF0, Merise, Gemma et Objet AOO"
  B. DENIS, J.J. LESAGE, J.M. ROUSSEL, G. TIMON
  Rapport de fin d'étude - Contrat METRAUMAT/ENS de Cachan N° 9110 , 194 pages, mai 1993
• Modelisation Fonctionnelle Du Controle/Commande Des Tranches Nucleaires : Analyse Bibliographique Et Etude Du Cas Rcv
  L. PIETRAC, J.J. LESAGE, G. TIMON
  Rapport de fin d'étude - Contrat EDF/Direction des Etudes et Recherches/Etablissement Chatou N° 9306, 182 pages, Nov. 1993
• Modelisation Fonctionnelle Des Parties Mecaniques Des Tranches Nucleaires : Analyse Bibliographique Et Etude Du Cas Rcv
  L. PIETRAC, J.J. LESAGE, G. TIMON
  Rapport de fin d'étude - Contrat EDF/Direction des Etudes et Recherches/Etablissement Chatou N° 9306, 175 pages, sept. 1993

1992 (12 publication(s))

Journal Papers (2)

• Definition of a SIMAN model with the SA/RT method
  G. CORTHIER, P. CASTAGNA, J.-J. LESAGE
  Manufacturing Systems, 21(1), pp. 31-37, 1992
• A methodological integration between functional and data analysis
  F. KIEFER, J.-J. LESAGE
  Manufacturing Systems, 21(2), pp. 121-128, 1992

Conference Papers (4)

• Towards A Theory Of Integrated Modelling
  B. DENIS, J.J. LESAGE, G. TIMON
  Proceedings of IFAC Workshop on CIM in Process and Manufacturing Industries, Espoo, Finland, Nov. 23-25, 1992
• Grafcet Et Enseignement : Où En Est-On ?
  D. GENDREAU
  Actes du Congrès GRAFCET'92, PARIS, 25-26 mars 1992
• Une Approche Formelle De La Modelisation Integree
  J.J. LESAGE, B. DENIS, G. TIMON
  Actes du Symposium International "La conception en 2000 et au-delà" pp. 343-353, STRASBOURG, France - 24/27 Nov. 1992
• Preuve De La Coherence d'Une Hierarchie De Forçage Entre Grafcets Partiels
  J.J. LESAGE, J.M. ROUSSEL
  Actes du Congrès GRAFCET'92, pp. 125-134, PARIS, 25-26 mars 1992

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

Other publications (2)

• Etude De Cas Sedem-91 "Cahier Des Charges Au Format Guide d'Analyse Des Besoins Et Modelisation Idef0, Merise, Grafcet Et Sa-Rt"
  B. DENIS, J.J. LESAGE, J.M. ROUSSEL, G. TIMON
  Rapport de fin d'étude : Réf.: EXERA S 3609X92, 178 pages - Contrat METRAUMAT/ENS de Cachan N° 9110, avril 1992
• Modele Generique De Transaction Client-Serveur Au Sein d'un Atelier De Production
  G. DERROISNE, F. KIEFER, J.J. LESAGE
  Rapport final - Contrat AEROSPATIALE de CHATILLON - ENS de Cachan N° 9124, 59 pages, juil. 1992

1991 (15 publication(s))

Conference Papers (7)

• Prise En Compte De l'Existant Dans La Conception De La Conduite Des Systemes Integres De Production
  P. BOURDET, F. KIEFER, M. LE ROY, J.J. LESAGE, G. TIMON
  Actes du 3ème Congrès International de Génie Industriel, pp. 51-60, TOURS, mars 1991
• Le Grafcet : Nouvelles Evolutions Et Aspects Normatifs
  B. FROMENT, D. GENDREAU
  Les 9èmes Journées Robotique et Productique - SAINT ETIENNE, Maison de la Productique, 3 et 4 Décembre 1991
• Utilisation Des Graphiques De Deroulement Matiere Dans l'Analyse Et La Conception Des Systemes De Conduite
  D. GENDREAU, J.J. LESAGE
  Actes du 3ème Congrès International de Génie Industriel, pp. 583-592, TOURS, mars 1991
• An Extension Of The Production Management Concepts Towards The Real Time Cell Production Control
  J.J. LESAGE, G. TIMON
  Proc. of the 4th IFIP Conf. on Computer in Production and Engineering, pp. 659-666, North - Holland, BORDEAUX, Sept.1991
• Le Grafcet Dans Le Genie Automatique
  J.J. LESAGE
  Actes du Congrès MESUCORA 91, pp 3-15, PARIS, Novembre 1991
• A Methodological Integration Between Functional And Data Analysis
  J.J. LESAGE, F. KIEFER
  23th international CIRP Conference on Production Systems, NANCY, juin 1991 - CIRP Proceedings-Manufacturing Systems, Vol. 21, N°2, pp. 121-128, 1992
• Les Outils De Modelisation Pour Le Cycle De Vie Des Systemes Automatises De Production
  J.J. LESAGE
  Actes du Colloque Génie Automatique et Product. Ind., non paginés, ISMCM/ST OUEN - mars 1991

PhD theses and French "Habilitation à diriger des 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

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

Other publications (4)

• Approche Objet Et Ingenierie Des Systemes Automatises De Production
  J.J. LESAGE, J.M. ROUSSEL
  Rapport de fin d'étude, réf : EXERA S 3601X91, 58 pages - Contrat METRAUMAT/ENS de Cachan N° 9110 - Nov. 1991
• CU3L - Communication - Description Du Programme De Mise En Oeuvre Des Communications Entre Compatible PC Et Robonum800
  G. SUCHEY
  Notice interne, ENS/LURPA - 91/03"
• CU3L - Communication - Description Du Programme De Communication De La Carte LPC De La Robonum800
  G. SUCHEY
  Notice interne, ENS/LURPA - 91/02"
• CU3L - Communication - Listing PC-LPC - Communication Entre Compatible PC Et Num800
  G. SUCHEY
  Notice interne, ENS/LURPA - 91/04"

1990 (10 publication(s))

Conference Papers (3)

• A New Approach To Cell Automatic Supervision In F.M.S
  P. BOURDET, J.J. LESAGE, D. GENDREAU, F. KIEFER, G. TIMON
  Proceedings CIRP - AC'90, Vol.3 pp.32-39, Rydzna, POLOGNE, Sept. 1990
• Les Relations Entre La Gamme Automatique Et Le Pilotage d'Une Cellule Flexible De Production
  D. GENDREAU
  Séminaire Gamme Automatique en Usinage, 21-22 Nov. 1990 - Groupe GAMA, HERMES, N° ISBN 2-86601-255-0
• Conception Integree Des Systemes De Commande En Ingenierie Productique : Une Approche Multidisciplinaire Appliquee Au Systeme Logistique d'un Atelier Flexible
  F. KIEFER, J.J. LESAGE, G. TIMON
  Actes du Congrès International CIM 90, pp. 251-259, Bordeaux, juin 1990

PhD theses and French "Habilitation à diriger des 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

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

Other publications (1)

• Utilisation Conjointe De Idef0, Merise Et Oracle Pour l'Analyse, La Conception Et Le Prototypage d'un Systeme d'Information
  F. KIEFER, J.J. LESAGE, G. TIMON
  Rapport Interne, ENS/LURPA-90/26, 29 pages, Novembre 1990

1989 (31 publication(s))

Conference Papers (1)

• Expertise De La Repartition Des Fonctions De Commande Dans Une Architecture Operationnelle
  M. BOSOM, D. GENDREAU, J.J. LESAGE
  Actes du Congrès AUTOMATION 89, pp 33-39, PARIS, mai 1989

PhD theses and French "Habilitation à diriger des 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

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

Other publications (19)

• Cellules Photoelectriques Detection Chariot Poste 12 Cellule Cu3L
  D. COSTES
  Notice interne, ENS/LURPA - 89/13, juin 1989
• Notice d'Utilisation Du Programme Cu3L
  D. COSTES
  Notice interne, ENS/LURPA - 89/22, juin 1989
• Programme Automate Tsx87-10 Cellule Cu3L
  D. COSTES
  Notice interne, ENS/LURPA - 89/21, juin 1989
• Programme De La Conduite De La Cellule De Fraisage Cellule Cu3L
  Y. DE GELIS, A. SUCHEY
  Notice interne, ENS/LURPA - 89/20, juillet 1989
• Cablage Platine Cellule Cu3L
  M. ETIENNE
  Notice interne, ENS/LURPA - 89/12, mai 1989
• Cellules Photoelectriques De Dialogue Cellule Cu3L
  M. ETIENNE
  Notice interne, ENS/LURPA - 89/10, mars 1989
• Documentation Provisoire Arret d'Urgence Chariots
  M. ETIENNE
  Notice interne, ENS/LURPA - 89/16, juin 1989
• Liaisons Automate - Logique Cablee - Relayage Capteurs Magasin
  M. ETIENNE
  Notice interne, ENS/LURPA - 89/15, juin 1989
• Magasin - Integration Dans Le Magasin Automatique Des Cellules De Dialogue Avec Les Chariots Filoguides
  M. ETIENNE
  Notice interne, ENS/LURPA - 89/14, juin 1989
• Transpalette Cellule Cu3L
  M. ETIENNE
  Notice interne, ENS/LURPA - 89/11, mai 1989
• Cahier Des Charges d'un Directeur De Commande Num 760 Fm
  D. GENDREAU
  Rapport interne, ENS/LURPA - 89/24, juin 1989
• Palettisation - Ascenseur Et Portes - Nomenclatures, Schemas Cellule De Mesure Tridimensionnelle
  B. HOUX
  Notice interne, ENS/LURPA - 89/06, juin 1989
• Palettisation - Alimentation Et Raccordement Des Capteurs Et Actionneurs - Nomenclatures, Schemas Cellule De Mesure Tridimensionnelle
  B. HOUX
  Notice interne, ENS/LURPA - 89/08, juin 1989
• Palettisation - Cablage Inventaire Des Entrees/Sorties Automate Implantation Des Capteurs Cellule De Mesure Tridimensionnelle
  B. HOUX
  Notice interne, ENS/LURPA - 89/04, juin 1989
• Palettisation - Dialogue Avec Les Chariots - Cablages, Schemas - Nomenclatures Cellule De Mesure Tridimensionnelle
  B. HOUX, M. ETIENNE, S. PLANCHAIS
  Notice interne, ENS/LURPA - 89/09, juin 1989
• Patellisation - Transfert Central - Nomenclatures, Schemas Cellule De Mesure Tridimensionnelle
  B. HOUX
  Notice interne, ENS/LURPA - 89/07, juin 1989
• Palettisation - Transfert Marbre - Nomenclatures, Schemas Cellule De Mesure Tridimensionnelle
  B. HOUX
  Notice interne, ENS/LURPA - 89/05, juin 1989
• Typologie Des Techniques De Modelisation Utilises En Production Automatisee
  J.J. LESAGE
  Rapport Interne, ENS/LURPA-89/25, 28 pages, Nov. 1989
• F30 - Notice Technique - Cablage - Nomenclature/Schéma
  M. RAFIQUI
  Notice interne, ENS/LURPA - 89/03

1988 (11 publication(s))

Conference Papers (2)

• Conception Et Modelisation Des Systemes De Production: Une Approche Nouvelle De La Conduite Optimale
  B. FROMENT, J.J. LESAGE, P. BOURDET
  Actes du 2ème congrés international de Génie Industriel, pp 563-570, NANCY, Déc.1988
• Criteres De Performance De La Fonction Stockage En Atelier Flexible
  J.J. LESAGE, P. BOURDET, D. RIOPEL, L. VILLENEUVE
  Actes du 2ème congrés international de Génie Industriel, PP 393-400, NANCY, Déc.1988

PhD theses and French "Habilitation à diriger des 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

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

Other publications (4)

• Choix d'Une Strategie De Localisation Des Produits Pour Le Magasin Automatique Du L.U.R.P.A.
  N. ARNAUD, J.J. LESAGE, C. DESTOMBES
  Rapport interne, ENS/LURPA - 88/01, 81 pages, mars 1988
• Informatique - Reseaux Configuration Du Reseau Factor
  B. DENIS
  Notice interne, ENS/LURPA - 88/26 - juil. 1988
• Magasin Emma : Logiciel d'Exploitation Et De Maintenance Du Magasin Automatique. Manuel Utilisateur
  A. SOUCHAY
  Notice interne, ENS/LURPA - 88/25
• Magasin Emma : Logiciel d'Exploitation Et De Maintenance Du Magasin Automatique. Listing Du Programme.
  A. SOUCHAY
  Notice interne, ENS/LURPA - 88/03

1987 (1 publication(s))

Other publications (1)

• Entreposage En Atelier Automatise Flexible : Solution d'un Laboratoire De Recherche
  P. BOURDET, J.J. LESAGE, D. RIOPEL, L. VILLENEUVE
  Rapport interne, ENS/LURPA - 87/01, 24 pages, janv. 1987

1986 (1 publication(s))

Other publications (1)

• Preliminaires A La Conception Du Systeme De Commande d'Une Cellule De Fraisage En Atelier Automatise Flexible
  P. CHARTIER, J.J. LESAGE
  Contrat ADEPA-ENS CACHAN, N°8613, Déc. 1986