Publications d'un membre du LURPA : Jean-Marc ROUSSEL (14 réponses)
2015 (1 publication(s))
2014 (3 publication(s))
- 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
2011 (1 publication(s))
2010 (3 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
2006 (1 publication(s))
2004 (1 publication(s))
2002 (1 publication(s))
1993 (2 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