Publications d'un membre du LURPA : Jean-Marc ROUSSEL (53 réponses)

2007 (3 publication(s))

Communications dans des congrès (3)

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

2006 (2 publication(s))

Publications en revue à comité de lecture (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

Communications dans des congrès (1)

• 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

2005 (2 publication(s))

Communications dans des congrès (2)

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

2004 (2 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

Communications dans des congrès (1)

• 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

2003 (4 publication(s))

Communications dans des congrès (3)

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

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

Publications en revue à comité de lecture (1)

• 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

Communications dans des congrès (1)

• 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

Autres publications (2)

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

Communications dans des congrès (3)

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

Autres publications (4)

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

Communications dans des congrès (3)

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

1999 (5 publication(s))

Communications dans des congrès (4)

• 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
• 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
• 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 (1)

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

1997 (2 publication(s))

Communications dans des congrès (2)

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

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

Communications dans des congrès (1)

• 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

1994 (4 publication(s))

Communications dans des congrès (2)

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

• 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

Autres publications (1)

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

Publications en revue à comité de lecture (2)

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

Autres publications (1)

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

Communications dans des congrès (1)

• 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 (1)

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

Mémoires de DEA (2)

• 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

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