Publications d'un membre du LURPA : Jean-Marc ROUSSEL (41 réponses)
- 2018 (1 publication(s))
- Communications dans des congrès (1)
- A relative identification method for reactive systems
C. Galetta, J.-M. Roussel,J.-M. Faure
14th IFAC - IEEE International Workshop on Discrete Event Systems (WODES), Sorrento Coast (Italy), May 2018,
- 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
- Publications en revue à comité de lecture (1)
- 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
B. Aupetit, M. Batteux, A. Rauzy, J.-M. Roussel
20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 20),Saint-Malo (France), papier 7E-2, 9 pages
- Publications en revue à comité de lecture (1)
- Automated generation of partial Markov chain from high level descriptions
P.-A. Brameret, A. Rauzy, J.-M. Roussel
Reliability Engineering and System Safety, 139, pp. 179-187, DOI: 10.1016/j.ress.2015.02.009, 2015
B. Aupetit, M. Batteux, A. Rauzy, J.-M. Roussel
25th Safety and Reliability of Complex Engineered Systems Conference, ESREL 2015, Zürich (Switzerland), September 2015
- Publications en revue à comité de lecture (3)
- 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 - Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers
J. Provost, J.-M. Roussel, J.-M. Faure
IEEE Transactions on Industrial Informatics, DOI: 10.1109/TII.2014.2315972, 2014
J.-M. Roussel
Habilitation à diriger des recherches, 154 pages, juillet 2014
- 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
- 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
- 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
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
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
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
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
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
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
- 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
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
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
J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
WODES 2010, Berlin, Germany, pp. 203-208, August 30 - September 1, 2010
J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
3èmes Journées Démonstrateurs 2010. 30/11 - 1/12 2010, Angers ,France
- 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
- 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