Publications d'un membre du LURPA : Jean-Jacques LESAGE (188 réponses)

2020 (7 publication(s))

Publications en revue à comité de lecture (3)

• An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets
  F. Basile, G. Faraut, L. Ferrara, J.-J. Lesage
  IEEE Trans. on Automation Science and Engineering, 17(2), pp. 784-798, April 2020
• Human Activity Discovery and Recognition using Probabilistic Finite-State Automata
  K. Viard, M.P. Fanti, G. Faraut, J.-J. Lesage
  IEEE Trans. on Automation Science and Engineering, 17(4), pp. 2085-2096, October 2020
• Fault detection of Discrete-Event Systems based on an identied timed model
  R. De Souza, M. Moreira, J.-J. Lesage
  Control Engineering Practice, 91, DOI: https://doi.org/10.1016/j.conengprac.2019.07.019, 2020

Communications dans des congrès (4)

• Multi-robot Path Planning with Boolean Specifications and Collision Avoidance
  C. Mahulea, M. Kloetzer, J.-J. Lesage
  15th Workshop on Discrete Event Systems, pp. 101-108, Rio de Janeiro (Brazil), November 11-13 2020
• A hierarchical approach for discrete-event model identification incorporating expert knowledge
  R. De Souza, M. Moreira, J.-J. Lesage
  15th Workshop on Discrete Event Systems, (WODES’20), pp. 275-281, Rio de Janeiro (Brazil), November 11-13 2020
• A timed model for discrete event system identification and fault detection
  R. De Souza, M. Moreira, J.-J. Lesage
  21st IFAC World Congress, Jul 2020, Berlin, Germany (to be published)
• Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living
  K. Fouquet, G. Faraut, J.-J. Lesage
  IEEE Int. Conf. on Systems Man and Cybernetics (SMC), Toronto (Canada), pp. 2740-2745, October 11-14, 2020

2019 (5 publication(s))

Publications en revue à comité de lecture (3)

• Finding the Minimal Cut Sequences of dynamic, repairable and reconfigurable systems from GBDMP models
  P.Y. Piriou, J.M. Faure, J.J. Lesage
  Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, DOI: 10.1177/1748006X19827128, February 17, 2019
• Discrete event system identification with the aim of fault detection
  M. Moreira, J.-J. Lesage
  Discrete Event Dynamic Systems, 29(2), pp. 191-209, 2019
• Fault diagnosis based on identified discrete-event models
  M. Moreira, J.-J. Lesage
  Control Engineering Practice, DOI: https://doi.org/10.1016/j.conengprac.2019.07.019, 2019 (to be published)

Communications dans des congrès (2)

• Discovering Systematic Relations between Alarms for Alarms Flows Reduction
  Y. Laumonier, J.-M. Faure, J.-J. Lesage, H. Sabot
  6th International Conference on Control, Decision and Information Technologies (CoDIT 2019)
• Discovering of the unobservable behavior of an interpreted Petri Net model
  F. Basile, G. Faraut, L. Ferrara, J.-J. Lesage
  58th IEEE Conf. on Decision and Control (CDC’19), pp. 2021-2026, Nice (France), December 11-13, 2019

2018 (4 publication(s))

Publications en revue à comité de lecture (2)

• Discovering Petri Net Models of Discrete Event Processes by Computing T-invariants
  T. Tapia-Flores, E. Lopez-Mellado, A.-P. Estrada-Vargas, J.-J. Lesage
  IEEE Trans. on Automation Science and Engineering, 15(3), pp. 992-1003, July 2018
• Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification
  J. Saives, G. Faraut, J.-J. Lesage
  IEEE Trans. on Automation Science and Engineering, PP(99), 15(2), pp. 832-841, 2018

Communications dans des congrès (2)

• An Abstraction Method of Interpreted Petri Nets Preserving the Equivalence of the Controllable Observable Language
  P. Chavarin-Aguirre, E. Lopez-Mellado, J.-J. Lesage
  14th Workshop on Discrete Event Systems, (WODES’18), Sorrento (Italy), pp. 378-384, 30 May-1 June 2018
• Enhanced discrete event model for system identification with the aim of fault detection
  M. V. Moreira, J.-J. Lesage
  14th Workshop on Discrete Event Systems, (WODES’18),pp.172-178, Sorrento (Italy), 30 May-1 June 2018

2017 (6 publication(s))

Publications en revue à comité de lecture (3)

• A Black-box Identification Method for Automated Discrete Event Systems
  A.-P. Estrada-Vargas, J.-J. Lesage, E. Lopez-Mellado
  IEEE Trans. on Automation Science and Engineering, 14(3), pp. 1321-1336
• An Integrated Framework for Binary Sensor Placement and Inhabitants Location Tracking
  M.P. Fanti, G. Faraut, J.-J. Lesage, M. Roccotelli
  IEEE Trans. on Systems, Man, and Cybernetics: Systems, 2016, 48(1), pp. 154-160
• Generalized Boolean logic Driven Markov Processes: a powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems
  P.-Y. Piriou, J.-M. Faure, J.-J. Lesage
  Reliability Engineering and System Safety, vol. 163, pp. 57-68, July 2017

Communications dans des congrès (3)

• Recognition of human activity based on probabilistic finite-state automata
  K. Viard, Mp. Fanti, G. Faraut, J-J. Lesage
  22nd IEEE International Conference on Emerging Technologies And Factory Automation, ETFA'2017, Limassol (Cyprus), Septembre 2017
• Towards Alarm Flood Reduction
  Y. Laumonier, J.-M. Faure, J.-J. Lesage, H. Sabot
  22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA'17) , Sep 2017, Limassol, Cyprus. Proceedings of 2017 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA'17) 2017, 〈https
• Smart Placement of Motion Sensors in a Home Environment
  M.P. Fanti, M. Roccotelli, G. Faraut, J.-J. Lesage
  Maria Fanti, Michele Roccotelli, Gregory Faraut, Jean-Jacques Lesage. Smart Placement of Motion Sensors in a Home Environment. IEEE SMC 2017 - IEEE International Conference on Systems, Man, and Cybernetics (SMC), Oct 2017, Banff, Canada. pp.894-899, 2017,

2016 (7 publication(s))

Publications en revue à comité de lecture (3)

• Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation
  G. Merle, J. -M. Roussel, J. -J. Lesage, V. Perchet, N. Vayatis
  Quality and Reliability Engineering International, Volume 32, issue 1, pp. 7-18, Feb. 2016, doi: 10.1002/qre.1728
• Model-Based Location Tracking of an a priori Unknown Number of Inhabitants in Smart Homes
  M. Danancher, J.-J. Lesage, L. Litz
  IEE Trans. on Automation Science and Engineering, Volume 13, issue 2, pp. 1090-1101, April 2016
• Overview of Discrete Event Systems Opacity: models, validation, and quantification
  R. Jacob, J.-J. Lesage, J.-M. Faure
  Annual Reviews in Control, 41 (2016), pp. 135-146

Communications dans des congrès (4)

• A formal definition of Minimal Cut Sequences for dynamic, repairable and reconfigurable systems
  P.Y. Piriou, J.M. Faure, J.J. Lesage
  2016 European Safety and Reliability Conference (ESREL 2016), 25-29 September 2016, Glasgow, United Kingdom
• From Safety Analysis of Reconfigurable Systems to Design of Fault-Tolerant Control Strategies
  P.-Y. Piriou, J.-M. Faure, J.-J. Lesage
  3rd Int. Conf. on Control and Fault-Tolerant Systems, SysTol’16, pp. 609-614, Barcelona (Spain), 7-9 September, 2016
• Motion Detector Placement Optimization in Smart Homes for Inhabitant Location Tracking
  M.P. Fanti, M. Roccotelli, J.-J. Lesage, G. Faraut
  21th IEEE int. Conf. on Emerging Technologies and Factory Automation, ETFA’16, Berlin (Germany), 6-9 September 2016
• An Event-Based Approach for Discovering Activities of Daily Living by Hidden Markov Models
  K. Viard, Mp. Fanti, G. Faraut, J-J Lesage
  15th IEEE Int. Conf. on Ubiquitous Computing and Communications, (IUCC 2016), pp. 85-92, Dec 2016, Granada, Spain

2015 (5 publication(s))

Publications en revue à comité de lecture (1)

• A Stepwise Method for Identification of Controlled Discrete Manufacturing Systems
  A.-P. ESTRADA-VARGAS, J.-J. LESAGE, E. LOPEZ-MELLADO
  International Journal of Computer Integrated Manufacturing, 28(2), pp. 187-199

Communications dans des congrès (4)

• Opacity of Discrete Event Systems: models, validation and quantification
  R. Jacob, J-J. Lesage, J-M. Faure
  Jacob, R., Lesage, J. J., Faure, J. M. (2015, Mai). Opacity of Discrete Event Systems: models, validation and quantification. In 5th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2015) (pp. 174-181)
• Modeling standby redundancies in repairable systems as guarded preemption mechanisms
  P.Y. Piriou, J.M. Faure, J.J. Lesage
  Dependable Control of Discrete Systems (DCDS'15), Cancun (Mexico), pp. 147-153, May 2015.
• Identification par réseau de Petri du comportement non observable d'un système séquentiel réactif
  J. Saives, G. Faraut, J-J. Lesage
  6èmes Journées doctorales du GDR MACS, JDMACS'15, Papier 9-2, 6 pages, 18-19 juin 2015
• Identification of Discrete Event Systems Unobservable Behaviour by Petri nets using Language Projections
  J. Saives, G. Faraut, J-J. Lesage
  IEEE European Control Conference 2015 (ECC'15), Linz, Austria, Paper WeB2.1, 8 pages, 15-17 July 2015

2014 (7 publication(s))

Publications en revue à comité de lecture (3)

• Input-Output Identification of Controlled Discrete Manufacturing Systems
  A. P. ESTRADA-VARGAS, E. LÓPEZ-MELLADO, J.-J. LESAGE
  Int. Journal of Systems Science, 45(3), pp. 456-471, March 2014
• Quantitative Analysis of Dynamic Fault Trees based on the Structure Function
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE
  Quality and Reliability Engineering International, 30(1), pp. 143–156, February 2014
• Design of logic controllers thanks to symbolic computation of simultaneously-asserted Boolean equations
  J.-M. ROUSSEL, J.-J. LESAGE
  Mathematical Problems in Engineering, vol. 2014, Article ID 726246, doi:10.1155/2014/726246, 15 pages, 2014

Communications dans des congrès (4)

• An Integrated System Model for the Management of Health Care at Home
  M.P. Fanti, A.M. Mangini, W. Ukovich, K. Viard, J.-J. Lesage
  11th IEEE Int. Conf. on Automation Science and Engineering (CASE’14), Taipei (Taiwan), pp. 582-587, August 18-22, 2014
• Petri Net Discovery of Discrete Event Processes by Computing T-invariants
  T. Tapia-Flores, E. Lopez-Mellado, A.-P. Estrada-Vargas, J.-J. Lesage
  19th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA’14), Barcelona (Spain), paper 345, 8 pages, September 16-19, 2014
• Control-in-the-loop Model Based Safety Analysis
  P.-Y. Piriou, J.-M. Faure, J.-J. Lesage
  23th European Safety & Reliability Conf. (ESREL’14), Wroclaw (Poland), September11-14, 2014
• E-santé et maison intelligente : Une approche à travers le prisme des Systèmes à Evénements Discrets
  M. Danancher, J. Saives, G. Faraut, J.-J. Lesage
  JETSAN 2014 (Journées d'étude sur la Télésanté), Jun 2014, Troyes, France. pp.51 - 54

2013 (7 publication(s))

Communications dans des congrès (7)

• Automated Modeling of Reactive Discrete Event Systems from External Behavioral Data
  A.-P. ESTRADA-VARGAS, J.-J. LESAGE, E. LOPEZ-MELLADO
  23rd Int. Conf. on Electronics, Communications and Computing (CONIELECOMP 2013), Cholula Puebla (Mexico), March 2013, pp.120-123
• Fault diagnosis of DES based on a fault-free identified model
  J.-J. LESAGE
  Plenary talk, Colloquium on Discrete Event and Hybrid Systems, Cinvestav-Guadalajara (Mexico),9p., 19 February 2013
• Online Location Tracking of a Single Inhabitant based on a State Estimator
  M. DANANCHER, J.-J. LESAGE, L. LITZ, G. FARAUT
  Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC'13), pp. 391-396, Manchester, United Kingdom, 13-16 October 2013, doi: 10.1109/SMC.2013.73
• Identification of Partially Observable Discrete Event Manufacturing Systems
  A.-P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J.-J. LESAGE
  18th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari (Italy), Paper n°83, 7 pages, September 2013
• A Discrete Event Model for Multiple Inhabitants Location Tracking
  M. DANANCHER, J.-J. LESAGE, L. LITZ, G. FARAUT
  Proceedings of the 9th IEEE international Conference on Automation Science and Engineering (CASE'13), Madison, U.S.A., 17-21 August 2013, pp. 922-927, doi: 10.1109/CoASE.2013.6653946
• A DES Simulator for Location Tracking of Inhabitants in Smart Home
  M. DANANCHER, G. FARAUT, J.-J. LESAGE, L. LITZ
  Proceedings of the 8th EUROSIM Congress on Modelling and Simulation, Cardiff, United Kingdom, pp. 330-335, 10-13 September 2013,
• Towards a unified definition of Minimal Cut Sequences
  P.-Y. CHAUX, J.-M. ROUSSEL, J.-J. LESAGE, G. DELEUZE, M. BOUISSOU
  44th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York (United Kingdom), Paper n°1, 6 pages, September 2013

2012 (8 publication(s))

Publications en revue à comité de lecture (2)

• Fault detection and isolation in manufacturing systems with an identified discrete event model
  M. ROTH, S. SCHNEIDER, J.-J. LESAGE, L. LITZ
  Int. Journal of Systems Science, 43(10), pp. 1826-1841, DOI: 10.1080/00207721.2011.649369, October 2012
• Networked Conflicting Timed Event Graphs Representation in (Max,+) Algebra
  B. ADDAD, S. AMARI, J-J LESAGE
  Discrete Event Dynamic Systems, 22(4), pp. 429-449, December 2012

Communications dans des congrès (6)

• Identification of Industrial Automation Systems: Building Compact and Expressive Petri Net Models from Observable Behavior
  A.-P. ESTRADA-VARGAS, J.-J. LESAGE, E. LOPEZ-MELLADO
  American Control Conference (ACC’12), pp. 6095 - 6101, Montreal (Canada), June 2012
• Systematic extraction of Minimal Cut Sequences from a BDMP model
  P.-Y. CHAUX, J.-M. ROUSSEL, J.-J. LESAGE, G. DELEUZE, M. BOUISSOU
  21th European Safety & Reliability Conf. (ESREL’12), Helsinki (Finland), June 2012
• Indoor Location Tracking based on a Discrete Event Model
  M. DANANCHER, J.-J. LESAGE, L. LITZ
  10th Int. Conf. On Smart homes and health Telematics (ICOST’12), pp. 262-265, DOI: 10.1007/978-3-642-30779-9_40 , Artimino (Italy), 12-15 June 2012,
• Identification de SED au moyen de réseaux de Petri : une approche pour la représentation structurelle des comportements observés
  A.-P. ESTRADA-VARGAS, J.-J. LESAGE, E. LOPEZ-MELLADO
  Septième IEEE Conférence Internationale Francophone d’Automatique (CIFA’12), pp. 919 - 924, Grenoble (France), Juillet 2012
• Algebraic synthesis of logical controllers despite inconsistencies in specifications
  J.-M. ROUSSEL, J.-J. LESAGE
  11th International Workshop On Discrete Event Systems (WODES'12), Guadalajara (Mexico), pp. 307-314, October 2012
• Determination of Timed Transitions in Identified Discrete-Event Models for Fault Detection
  S. SCHNEIDER, L. LITZ, J.-J. LESAGE
  51st IEEE Conference on Decision and Control (CDC'12), Maui, Hawaii (USA), pp. 5816-5821, December 10-13 2012

2011 (14 publication(s))

Publications en revue à comité de lecture (5)

• Algebraic Determination of the Structure Function of Dynamic Fault Trees
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE
  Reliability Engineering and System Safety, 96(2), pp. 267-277, DOI: 10.1016/j.ress.2010.10.001, February 2011
• Genetic algorithms for delays evaluation in networked automation systems
  B. ADDAD, S. AMARI, J-J. LESAGE
  Engineering Applications of Artificial Intelligence, 24(3), pp. 485-490, DOI: 10.1016/j.engappai.2010.10.017, April 2011
• A Virtual Queuing based Algorithm for Delays Evaluation in Networked Control Systems
  B. ADDAD , S. AMARI 1, J-J LESAGE
  IEEE Trans. on Industrial Electronics, 58(9), pp. 4471-4479, DOI: 10.1109/TIE.2010.2098358, September 2011
• Client-Server Networked Automation Systems Reactivity: Deterministic and Probabilistic Analysis
  B. ADDAD, S. AMARI, J-J. LESAGE
  IEEE Trans. on Automation Science and Engineering, 8(3), pp. 540-548, DOI: 10.1109/TASE.2011.2116118, July 2011
• The concept of residuals for fault localization in discrete event systems
  M. ROTH, J.-J. LESAGE, L. LITZ
  Control Engineering Practice, 19(9), pp. 978-988, DOI: 10.1016/j.conengprac.2011.02.008, September 2011

Communications dans des congrès (9)

• Dynamic Fault Tree Analysis Based On The Structure Function
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE
  Proceedings of the Annual Reliability and Maintainability Symposium 2011 (RAMS 2011), pp. 462-467, Lake Buena Vista, FL, USA, January 24-27, 2011
• Diagnostic des SED basé sur un modèle : trois approches évaluées sur une même étude de cas
  M. DANANCHER, M. ROTH, J.-J. LESAGE, L. LITZ
  4èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'11), pp 165--170. Marseille, France, 9-10 juin 2011
• A comparative study of three model-based FDI approaches for Discrete Event Systems
  M. DANANCHER, M. ROTH, J.-J. LESAGE, L. LITZ
  Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems (DCDS'11), pp 29-34, DOI: 10.1109/DCDS.2011.5970314, Saarbrücken, Germany, 15-17 juin 2011
• Qualitative analysis of a BDMP by Finite Automaton
  P.-Y. CHAUX, J.-M. ROUSSEL, J.-J. LESAGE, G. DELEUZE, M.BOUISSOU
  0th European Safety & Reliability Conf. (ESREL’11), Troyes (France), in “Advances in Safety Reliability and risk management”, Taylor & Francis Ed., pp. 2055-2057, September 2011
• Measures vs. Analytic Evaluation of Response Time of Networked Automation Systems
  B. ADDAD, S. AMARI, J-J. LESAGE, B. DENIS
  IEEE 7th International Conference on Automation Science and Engineering (CASE 2011), pp.576-581, Trieste, Italy, August 24-27 2011
• A Stepwise Identification of Automated Discrete Manufacturing Systems
  A. P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J-J LESAGE
  16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011), Toulouse (France), USB Paper N°4-6, 8p., Sepember 2011
• Formalisation des scénarios de défaillance d'un BDMP par automate fini
  P.-Y. CHAUX, J.-M. ROUSSEL, J.-J. LESAGE
  4èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'11), pp. 159-164. Marseille, France, 9-10 juin 2011
• Tailor-made vs. formal languages: how to reconcile effectiveness and rigor of modelling for automation engineering
  J.-J. LESAGE
  Plenary keynote paper, 5th Int. Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS’11), 2p., Tunis (Tunisia), September 2011
• Improving dependability of controlled systems: a challenge for automation science and engineering
  J.-M. FAURE, J.-J. LESAGE
  Plenary keynote paper, 8th Int. Conf. on Informatics in Control Automation and Robotics (ICINCO’11), pp. 19, Noordwijkerhout (The Netherlands), July 2011

2010 (10 publication(s))

Publications en revue à comité de lecture (3)

• Probabilistic Algebraic Analysis of Fault Trees with Priority Dynamic Gates and Repeated Events
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE, A. BOBBIO
  IEEE Trans. on Reliability, 59(1), pp. 250-261, DOI: 10.1109/TR.2009.2035793, March 2010
• Analytic Calculus of Response Time in Networked Automation Systems
  B. ADDAD, S. AMARI, J-J. LESAGE
  IEEE Trans. on Automation Science and Engineering, 7(4), pp. 858-869, DOI: 10.1109/TASE.2010.2047499, October 2010
• A comparative analysis of recent identification approaches for discrete-event systems
  A. P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J.-J. LESAGE
  Mathematical Problems in Engineering, Vol. 2010, Article ID 453254, 21 pages, DOI: 10.1155/2010/453254, April 2010

Communications dans des congrès (7)

• Modélisation de réseaux de graphes d’événements temporisés avec conflits dans l’algèbre (Max,+)
  B. ADDAD, S. AMARI, J-J. LESAGE
  IEEE Conférence Internationale Francophone d’Automatique, CIFA10, papier N°22, 6p., Nancy, France, 2-4 Juin 2010.
• Improving the Efficiency of Dynamic Fault Tree Analysis by Considering Gates FDEP as Static
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE
  Proceedings of the European Safety & Reliability Conference 2010 (ESREL 2010), pp. 845-851, Rhodes, Greece, September 5-9, 2010
• Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE, N. VAYATIS
  Proceedings of the European Safety & Reliability Conference 2010 (ESREL 2010), pp. 794-801, Rhodes, Greece, September 5-9, 2010
• Identification of discrete event systems: Implementation issues and model completeness
  M. ROTH, L. LITZ, J.-J. LESAGE
  7th Int. Conf. on Informatics in Control Automation and Robotics, ICINCO'10, Funchal (Portugal), Vol. 3 pp. 73-80, June 2010
• Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems
  M. ROTH, J.-J. LESAGE, L. LITZ
  American Control Conference, ACC'10, Baltimore (MD-USA), pp. 2601-2606, June 30-July 02, 2010
• An identification method for PLC-based automated discrete event systems
  A.P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J.-J. LESAGE
  49th IEEE Conference on Decision and Control, CDC'10, Atlanta (Georgia-USA), pp. 6740-6746, December 15-17 2010
• Linear time-varying (max,+) representation of conflicting timed event graphs
  B. ADDAD, S. AMARI, J-J. LESAGE
  10th Int Workshop on Discrete Event Systems, Berlin(Allemagne), pp. 310-315, Aout-Septembre 2010

2009 (5 publication(s))

Communications dans des congrès (5)

• An FDI Method for Manufacturing Systems Based on an Identified Model
  M. ROTH, J.-J. LESAGE, L. LITZ
  13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09, Moscow (Russia), pp. 1389 - 1394, June 3-5 2009
• Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE, A. BOBBIO
  Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), pp. 129-134, Bari, Italy, 10-12 juin 2009
• A residual inspired approach for fault localization in DES
  M. ROTH, J.-J. LESAGE, L. LITZ
  Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Event Systems (DCDS'09), pp. 347-352
• Distributed identification of concurrent discrete event systems for fault detection purposes
  M. ROTH, J.-J. LESAGE, L. LITZ
  European Control Conference 2009, ECC 2009, Budapest (Hungary), August 23-26 2009
• Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour
  A. P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J.-J. LESAGE
  IEEE Int. Conf. on Systems, Man, and Cybernetics, San Antonio (USA), pp. 181-186, October 11-14 2009

2008 (4 publication(s))

Communications dans des congrès (4)

• Algebraic synthesis of dependable logic controllers
  Y. HIETTER, J.-M. ROUSSEL, J.-J. LESAGE
  17th IFAC World Congress, Seoul (Korea), pp. 4132-4137, July 2008
• Algebraic Synthesis of Transition Conditions of a State Model
  Y. HIETTER, J.-M. ROUSSEL, J.-J. LESAGE
  9th International Workshop On Discrete Event Systems, WODES'08, pp. 187-192, Göteborg (Sweden), May 2008
• Calcul des conditions de transition d'un Réseau de Petri par synthèse algébrique
  Y. HIETTER, J.-M. ROUSSEL, J.-J. LESAGE
  Conférence Internationale Francophone d'Automatique, CIFA 2008, Bucarest (Roumanie), CDRom papier N°83, 6p., septembre 2008
• Réseaux d'automates hybrides à synchronisations typées pour la modélisation des SDH
  Z. JUÀREZ OROZCO, B. DENIS, J.-J. LESAGE
  Conférence Internationale Francophone d'Automatique, CIFA 2008, Bucarest (Roumanie), CDRom paper N°396, 6 p., septembre 2008

2007 (2 publication(s))

Communications dans des congrès (2)

• 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
• 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

2006 (4 publication(s))

Communications dans des congrès (4)

• 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
• 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
• 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
• 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

2005 (3 publication(s))

Communications dans des congrès (3)

• 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
• 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
• 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

2004 (1 publication(s))

Publications en revue à comité de lecture (1)

• 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

2003 (3 publication(s))

Communications dans des congrès (3)

• 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
• 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
• 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

2002 (4 publication(s))

Publications en revue à comité de lecture (1)

• 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

Communications dans des congrès (3)

• 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
• 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
• 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

2001 (7 publication(s))

Communications dans des congrès (5)

• 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

Autres publications (2)

• 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

2000 (9 publication(s))

Communications dans des congrès (9)

• 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
• 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 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
• 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
• 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
• 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
• 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
• 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
• 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

1999 (6 publication(s))

Communications dans des congrès (3)

• 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
• 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
• 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

Autres publications (3)

• Actes du second congrès sur la Modélisation des Systèmes Réactifs (MSR'99), Cachan (France), Mars 1999
  J.-J. LESAGE EDITEUR
  Editions Hermès (ISBN 2-7462-0017-1), 448 pages, 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
• 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

1998 (2 publication(s))

Communications dans des congrès (2)

• 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
• 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

1997 (4 publication(s))

Publications en revue à comité de lecture (2)

• 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
• Comportement temporel du Grafcet
  P. LHOSTE, J.-M. FAURE, J.-J. LESAGE, J. ZAYTOON
  JESA, 31(4), pp. 695-711, 1997

Communications dans des congrès (1)

• 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

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

Communications dans des congrès (4)

• 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
• 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
• 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

1995 (6 publication(s))

Communications dans des congrès (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
• 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
• 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

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

Communications dans des congrès (3)

• 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
• 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

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

• 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

Autres publications (2)

• 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
• 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

1993 (8 publication(s))

Publications en revue à comité de lecture (4)

• 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
• 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

Communications dans des congrès (1)

• 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

Autres publications (3)

• 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
• 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

1992 (7 publication(s))

Publications en revue à comité de lecture (2)

• A methodological integration between functional and data analysis
  F. KIEFER, J.-J. LESAGE
  Manufacturing Systems, 21(2), pp. 121-128, 1992
• 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

Communications dans des congrès (3)

• 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
• 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

Autres publications (2)

• 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
• 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

1991 (7 publication(s))

Communications dans des congrès (6)

• 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
• 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
• 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
• 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 Dans Le Genie Automatique
  J.J. LESAGE
  Actes du Congrès MESUCORA 91, pp 3-15, PARIS, Novembre 1991
• 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

Autres publications (1)

• 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

1990 (3 publication(s))

Communications dans des congrès (2)

• 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
• 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

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

Communications dans des congrès (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

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

Autres publications (1)

• Typologie Des Techniques De Modelisation Utilises En Production Automatisee
  J.J. LESAGE
  Rapport Interne, ENS/LURPA-89/25, 28 pages, Nov. 1989

1988 (3 publication(s))

Communications dans des congrès (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

Autres publications (1)

• 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

1987 (3 publication(s))

Communications dans des congrès (2)

• Conception d'un Element Essentiel En Productique : l'Entrepot Automatique
  D. RIOPEL, L. VILLENEUVE, P. BOURDET, J.J. LESAGE
  Actes des Troisième conférence des Universités Canadiennes sur la C.A.O./F.A.O. , pp 240-249, Université d'OTTAWA , juillet 1987
• Communications Inter-Automates Dans Les Automatismes Moyennement Complexes : Evolutions Choix Technologiques
  J.J. LESAGE, G. DURAND
  Actes du Congrès AUTOMATION 87, pp 136-150 Paris, mars 1987

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

Communications dans des congrès (1)

• Integration De La Securite Dans un Atelier Automatise Flexible
  J.J. LESAGE
  Congrès annuel de la santé et de la sécurité du travail organisé par la C.S.S.T. QUEBECOISE à l'Ecole Polytechnique de MONTREAL, 1986

Autres publications (2)

• Entreposage En Atelier Automatise Flexible : Cahier Des Charges Pour Les Sous-Traitants En Usinage
  P. BOURDET, J.J. LESAGE, D. RIOPEL, L. VILLENEUVE
  Rapport Interne, ENS/LURPA - 86/04, 32 pages, Oct.86
• 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

1984 (1 publication(s))

Autres publications (1)

• Productique : Les Techniques De l'Usinage Flexible
  B. FROMENT, J.J. LESAGE
  Editions Dunod, Oct. 1984, 2ème édition 1989