Publications d'un membre du LURPA : Jean-Marc ROUSSEL (64 réponses)
2017 (2 publication(s))
- Communications dans des congrès (2)
- Safety Analyzes of Mechatronics Systems: a Case Study
B. Aupetit, M. Batteux, Antoine Rauzy, Jean-Marc Roussel
20th IFAC World Congress, Toulouse (France), pp. 11150-11155, July 2017
- A language proposition for system requirements
B. Lebeaupin, A. Rauzy, J.-M. Roussel
11th Annual IEEE International Systems Conference, Montréal (Canada),〈10.1109/SYSCON.2017.7934808, 8 p., April 2017
2016 (1 publication(s))
2015 (1 publication(s))
2013 (3 publication(s))
- Communications dans des congrès (3)
- 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
- Preliminary System Safety Analysis with Limited Markov Chain Generation
P-A. BRAMERET, J.-M. ROUSSEL, A. RAUZY
4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York (United Kingdom), Paper n°3, 6 pages, September 2013
- The AltaRica 3.0 Project for Model-based Safety Assessment
T. PROSVIRNOVA, M. BATTEUX, P.-A. BRAMERET, L. KLOUL, A. CHERFI, T. FRIEDLHUBER, J.-M. ROUSSEL, A. RAUZY
4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York (United Kingdom), Paper n°22, 6 pages, September 2013
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 (6 publication(s))
- 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 (4 publication(s))
- 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 (1 publication(s))
- 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 (1 publication(s))
- 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 (3 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
2002 (1 publication(s))
2001 (3 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
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 (4 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
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 (2 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
1992 (1 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