Spremljaj
Jean-Marc Faure
Jean-Marc Faure
Professor in Automation Engineering and Control
Preverjeni e-poštni naslov na ens-paris-saclay.fr
Naslov
Navedeno
Navedeno
Leto
Overview of discrete event systems opacity: Models, validation, and quantification
R Jacob, JJ Lesage, JM Faure
Annual reviews in control 41, 135-146, 2016
1962016
Manufacturing plant control challenges and issues
G Morel, P Valckenaers, JM Faure, CE Pereira, C Diedrich
Control Engineering Practice 15 (11), 1321-1331, 2007
1312007
Efficient representation for formal verification of PLC programs
V Gourcuff, O De Smet, JM Faure
2006 8th International Workshop on Discrete Event Systems, 182-187, 2006
772006
Translating Grafcet specifications into Mealy machines for conformance test purposes
J Provost, JM Roussel, JM Faure
Control Engineering Practice 19 (9), 947-957, 2011
612011
Towards IEC 61499 function blocks diagrams verification
C Schnakenbourg, JM Faure, JJ Lesage
IEEE International conference on systems, man and cybernetics 3, 6 pp. vol. 3, 2002
532002
Logic controllers dependability verification using a plant model
JM Machado, B Denis, JJ Lesage, JM Faure, JCLF Da Silva
IFAC Proceedings Volumes 39 (17), 37-42, 2006
492006
Evaluation of response time in Ethernet-based automation systems
G Marsal, B Denis, JM Faure, G Frey
2006 IEEE Conference on Emerging Technologies and Factory Automation, 380-387, 2006
482006
Relationship between endodontic preparations and human dentin permeability measured in situ
P Guignes, J Faure, A Maurette
Journal of endodontics 22 (2), 60-67, 1996
481996
Performance analysis of industrial Ethernet networks by means of timed model-checking
D Witsch, B Vogel-Heuser, JM Faure, G Marsal
IFAC Proceedings Volumes 39 (3), 101-106, 2006
412006
Measuring the impact of vertical integration on response times in Ethernet fieldbuses
B Denis, S Ruel, JM Faure, G Frey, G Marsal
2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA …, 2007
392007
Improving large-sized PLC programs verification using abstractions
V Gourcuff, O De Smet, JM Faure
IFAC Proceedings Volumes 41 (2), 5101-5106, 2008
352008
A formal semantics for Grafcet specifications
J Provost, JM Roussel, JM Faure
2011 IEEE International conference on automation science and engineering …, 2011
332011
Generation of single input change test sequences for conformance test of programmable logic controllers
J Provost, JM Roussel, JM Faure
IEEE Transactions on Industrial Informatics 10 (3), 1696-1704, 2014
282014
An algebraic approach for PLC programs verification
JM Roussel, JM Faure
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002
282002
Methods for safe control systems design and implementation
JM Faure, JJ Lesage
IFAC Proceedings Volumes 34 (17), 171-176, 2001
272001
Generalized Boolean logic driven Markov processes: A powerful modeling framework for model-based safety analysis of dynamic repairable and reconfigurable systems
PY Piriou, JM Faure, JJ Lesage
Reliability Engineering & System Safety 163, 57-68, 2017
262017
Opacity of discrete event systems: models, validation and quantification
R Jacob, JJ Lesage, JM Faure
IFAC-PapersOnLine 48 (7), 174-181, 2015
232015
Building meaningful timed models of closed-loop DES for verification purposes
M Perin, JM Faure
Control Engineering Practice 21 (11), 1620-1639, 2013
222013
Comportement temporel du Grafcet
P Lhoste, JM Faure, JJ Lesage, J Zaytoon
Journal Européen des Systèmes Automatisés (JESA) 31 (4), 695-711, 1997
221997
Survey paper on manufacturing plant control challenges and issues
G Morel, P Valckenaers, JM Faure, C Pereira, CH Diedrich
Proceedings of the 16th IFAC World Congress, 2005
162005
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20