Publications by a LURPA's member: Jean-Jacques LESAGE (99 réponses)
- 2007 (2 publication(s))
- Conference Papers (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
- Conference Papers (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
- Conference Papers (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
- Journal Papers (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
- Conference Papers (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
- Journal Papers (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
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
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
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
- Conference Papers (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
G. CANET, S. COUFFIN, O. ROSSI, J.-J. LESAGE
Rapport final de Contrat ALCATEL - LURPA - LSV, 215 pages plus annexes, mai 2001
B. DENIS, O. DE SMET, J.-J. LESAGE, J.-M. ROUSSEL
Brevet N° 01 110 933, août 2001
- Conference Papers (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
- Conference Papers (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
J.-J. LESAGE EDITEUR
Editions Hermès (ISBN 2-7462-0017-1), 448 pages, 1999
J.-J. LESAGE EDITOR
special issue of JESA, 33(8-9), 193 pages, 1999
S. COUFFIN, J.-J. LESAGE, J.-M. ROUSSEL
Contrat n° UAI/1.98 avec Alcatel CRC, 151 pages, Novembre 1999
- Conference Papers (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
- Journal Papers (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
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
J.-J. LESAGE EDITOR
special issue of JESA, 31(3), 186 pages, 1997
- Conference Papers (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
- 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 - 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
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
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
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
- Conference Papers (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
J.J. LESAGE
Habilitation à Diriger les Recherches de l'Université de Nancy I, spécialité automatique et production automatisée, février 1994
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
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
- Journal Papers (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
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
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
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
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
- Journal Papers (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
B. DENIS, J.J. LESAGE, G. TIMON
Proceedings of IFAC Workshop on CIM in Process and Manufacturing Industries, Espoo, Finland, Nov. 23-25, 1992
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
J.J. LESAGE, J.M. ROUSSEL
Actes du Congrès GRAFCET'92, pp. 125-134, PARIS, 25-26 mars 1992
G. DERROISNE, F. KIEFER, J.J. LESAGE
Rapport final - Contrat AEROSPATIALE de CHATILLON - ENS de Cachan N° 9124, 59 pages, juil. 1992
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
- Conference Papers (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
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
- Conference Papers (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
F. KIEFER, J.J. LESAGE, G. TIMON
Rapport Interne, ENS/LURPA-90/26, 29 pages, Novembre 1990
- 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
J.J. LESAGE
Thèse de Doctorat - ECOLE CENTRALE PARIS/LURPA/ENS CACHAN, janv.1989
J.J. LESAGE
Rapport Interne, ENS/LURPA-89/25, 28 pages, Nov. 1989
- 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
N. ARNAUD, J.J. LESAGE, C. DESTOMBES
Rapport interne, ENS/LURPA - 88/01, 81 pages, mars 1988
- Conference Papers (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
P. BOURDET, J.J. LESAGE, D. RIOPEL, L. VILLENEUVE
Rapport interne, ENS/LURPA - 87/01, 24 pages, janv. 1987
- Conference Papers (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
P. BOURDET, J.J. LESAGE, D. RIOPEL, L. VILLENEUVE
Rapport Interne, ENS/LURPA - 86/04, 32 pages, Oct.86
P. CHARTIER, J.J. LESAGE
Contrat ADEPA-ENS CACHAN, N°8613, Déc. 1986
- Other publications (1)
- Productique : Les Techniques De l'Usinage Flexible
B. FROMENT, J.J. LESAGE
Editions Dunod, Oct. 1984, 2ème édition 1989