Jean-Jacques Lesage

Overview of discrete event systems opacity: Models, validation, and quantification

Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure · Annual Reviews in Control · 2016 · 220 citations · Full text

Engineering, Computer Systems, Systems Engineering +7

Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events

Guillaume Merle, Jean‐Marc Roussel, Jean-Jacques Lesage et al. · IEEE Transactions on Reliability · 2010 · 136 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Towards the automatic verification of PLC programs written in Instruction List

Géraud Canet, S. Couffin, Jean-Jacques Lesage et al. · 2002 · 120 citations

Computing, Computer Engineering, Computer Science +16

Algebraic determination of the structure function of Dynamic Fault Trees

Guillaume Merle, Jean‐Marc Roussel, Jean-Jacques Lesage · Reliability Engineering & System Safety · 2010 · 71 citations · Full text

Computing, Computer Science, Computer Systems +11

FAULT DETECTION OF DISCRETE EVENT SYSTEMS USING AN IDENTIFICATION APPROACH

Stéphane Klein, Lothar Litz, Jean-Jacques Lesage · IFAC Proceedings Volumes · 2005 · 62 citations · Full text

Engineering, Computer Science, Systems Engineering +9