- Maintain the model consistency of system structures by the physical flow description
C. Galetta
Mémoire du Master ISC de l’ENS Cachan, juillet 2016
- Contrôle par retour d’états de systèmes Max-Plus partiellement observables
R. Jacob
Mémoire du Master ISC de l’ENS Cachan, juillet 2015
- Algebraic synthesis of logical controllers with optimization criteria
H. LEROUX
Mémoire du Master ISC de l'ENS Cachan, juillet 2011
- Determining the availability of a system built with repairable components
P.A. BRAMERET
Mémoire du Master ISC de l'ENS Cachan, juillet 2011
- Symbolic generation of the automaton representing an algebraic description of a logic system
A. GUIGNARD
Mémoire du Master ISC de l'ENS Cachan, juillet 2011
- Apport du model-checking pour l\'analyse qualitative de BDMP
P.-Y.CHAUX
Mémoire du Master IS en EAAPR de l'ENS Cachan, juillet 2009
- Du modèle logique séquentiel à la machine de Mealy à base d'alphabet : une transcription adaptée aux techniques de test
J. PROVOST
Mémoire du Master IS en EAAPR de l'ENS Cachan, juillet 2008
- Algebraic modelling of Fault Trees with Priority AND gates
G. MERLE
Mémoire de Master, ENS de Cachan, Juillet 2007
- Control system design using the Supervisory Control Theory: evaluations of possibilities and limits
M.CANTARELLI
Mémoire de Master, ENS de Cachan, Juillet 2006