J.-J. Lesage

A generic approach to build plant models for DES verification purposes

J. Machado, B. Denis, J.-J. Lesage, 2006, 2006 8th International Workshop on Discrete Event Systems.

Algebraic synthesis of transition conditions of a state model

J.-J. Lesage, Y. Hietter, J.-M. Roussel, 2008, 2008 9th International Workshop on Discrete Event Systems.

A method for design and valuation of manufacturing system control architecture

J.-J. Lesage, B. Denis, 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

Towards IEC 61499 function blocks diagrams verification

J.-M. Faure, J.-J. Lesage, C. Schnakenbourg, 2002, IEEE International Conference on Systems, Man and Cybernetics.

Validation and verification of grafcets using finite state machine

J.-J. Lesage, J.-M. Roussel, 1996 .