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

2012 (5 publication(s))

Communications dans des congrès (5)

• 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
• Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité
  A. GUIGNARD, J.-M. ROUSSEL, J.-M. FAURE
  Conférence Internationale Francophone d'Automatique (CIFA'12), pp.907-912, Grenoble (France), 4-6 Juillet 2012
• Assessing the Dependability of Systems with Repairable and Spare Components
  P.-A. BRAMERET, A. RAUZY, J.-M. ROUSSEL
  18ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 18), Tours (France), Papier 3D-6, 9 p., octobre 2012,
• Algebraic synthesis of logical controllers with optimization criteria
  H. LEROUX, J.-M. ROUSSEL
  6th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS 2012), Paris (France), pp. 103-114, August 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

2011 (7 publication(s))

Publications en revue à comité de lecture (1)

• 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

Communications dans des congrès (6)

• 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
• Testing Programmable Logic Controllers from Finite State Machines specification
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  Proceedings of the 3rd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'11), pp. 3-8, Saarbrücken, Germany, 15-17 juin 2011
• A formal semantics for Grafcet specifications
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  IEEE 7th International Conference on Automation Science and Engineering (CASE 2011), Trieste, pp. 488-494, Italy, August 24-27, 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
• 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
• Translation from Petri nets into Boolean equations for the algebraic design of logic controllers
  M. DIAZ-RODRIGUEZ, E. LOPEZ-MELLADO, P-A. BRAMERET, J-M. ROUSSEL
  8th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE 2011), Merida Mexico, 6 p., October 26-28, 2011

2010 (7 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
• Verification of a timed multitask system with Uppaal
  H. BEL MOKADEM, B. BERARD, V. GOURCUFF, O. DE SMET, J.-M. ROUSSEL
  IEEE Transactions on Automation Science and Engineering, 7(4), pp. 921-932
• Translating Grafcet specifications into Mealy machines for conformance test purposes
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  Control Engineering Practice, 19(9), pp. 947-957, DOI: 10.1016/j.conengprac.2010.10.001, September 2011

Communications dans des congrès (4)

• 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
• SIC-testability of sequential logic controllers
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  WODES 2010, Berlin, Germany, pp. 203-208, August 30 - September 1, 2010
• Un démonstrateur pour le test de conformité de contrôleurs logiques
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  3èmes Journées Démonstrateurs 2010. 30/11 - 1/12 2010, Angers ,France

2009 (4 publication(s))

Communications dans des congrès (4)

• Construction d'une séquence de test minimale à partir d'une spécification GRAFCET
  J. PROVOST, J.M. ROUSSEL, J.M. FAURE
  3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09), CDRom papier N°19, 6p., Angers, France, 17-18 mars 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
• Test sequence construction from SFC specification,
  J. PROVOST J.-M. ROUSSEL J.-M. FAURE
  Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), pp. 341-346, Bari, Italy, 10-12 juin 2009
• Test exhaustif de contrôleurs logiques spécifiés en Grafcet : apports et limites d’une modélisation par machines de Mealy
  J. PROVOST , J.-M. ROUSSEL , J.-M. FAURE
  7ième colloque francophone sur la Modélisation des Systèmes Réactifs, pp. 889-904, Nantes (France), 16-18 novembre 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
• Reactive control system design using the Supervisory Control Theory: evaluation of possibilities and limits,
  M. CANTARELLI, J.-M. ROUSSEL
  9th International Workshop On Discrete Event Systems, WODES'08, pp. 200-205, Göteborg (Sweden), May 2008

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