J.-M. Roussel

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.

Reactive control system design using the Supervisory Control Theory: Evaluation of possibilities and limits

J.-M. Roussel, M. Cantarelli, 2008, 2008 9th International Workshop on Discrete Event Systems.

Validation and verification of grafcets using finite state machine

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