Thèses encadrées par Jean-Jacques LESAGE
- Modelling and Recognition of Human Activities of Daily Living in a Smart Home
K. Viard
Thèse en co-tutelle ENS Cachan / Politecnico di Bari, 157 pages, juillet 2018
- Blackbox Behavioural Identification of Discrete Event Systems by Interpreted Petri Nets
J. Saives
Thèse de l'ENS Cachan, 205 pages, juin 2016
- Contributions à la modélisation, l’évaluation de performances et la commande des Systèmes à Evénements Discrets en utilisant l’algèbre des dioïdes
S. Amari
Habilitation à diriger des recherches, 179 pages, octobre 2016
- Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques réparables et reconfigurables
P.Y. Piriou
Thèse de l'ENS Cachan, 220 pages, décembre 2015
- A Discrete Event Approach for Model-Based Location Tracking of Inhabitants in Smart Homes
M. DANANCHER
Thèse en co-tutelle ENS Cachan / Technische Universität Kaiserslautern (Allemagne), 150 pages, décembre 2013
- Black-Box identification of automated discrete event systems
A.-P. ESTRADA-VARGAS
Thèse en co-tutelle ENS Cachan / Cinvestav (Mexique), 122 pages, 20 février 2013
- Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes dynamiques réparables,
P.-Y. CHAUX
Thèse de l'ENS Cachan, 148 pages, 15 avril 2013
- Evaluation analytique du temps de réponse des systèmes de commande en réseau en utilisant l'algèbre (max,+)
B. ADDAD
Thèse de l'ENS Cachan, 141 pages, 1 juillet 2011
- Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis
G. MERLE
Thèse de l'ENS Cachan, 218 pages, 7 juillet 2010
- Identification and fault diagnosis of industrial closed-loop discrete event systems
M. ROTH
Thèse en co-tutelle ENS Cachan / Université de Kaiserslautern (Allemagne), 225 pages, 8 octobre 2010
- Architectures de contrôle-commande redondantes à base d’Ethernet Industriel : Modélisation et validation par model-checking temporisé
S. LIMAL
Thèse de l'ENS Cachan, 122 pages, 8 janvier 2009
- Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques
Y.HIETTER
Thèse de l'ENS Cachan, 162 pages, 28 mai 2009
- Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride
Z. JUÀREZ-OROZCO
Thèse de l'ENS Cachan, 135 pages, 20 juin 2008
- Méthode de synthèse d'un contrôleur logique à partir de spécifications algébriques
A. MEDINA RODRIGUEZ
Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 185 p., décembre 2007
- Evaluation de performance d'architectures de commande de systèmes automatisés industriels
P. MEUNIER
Thèse de L'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 209 p., mars 2006
- Influence de la prise en compte d'un modèle de processus en vérification formelle des systèmes à événements discrets
J. MACHADO
Thèse de L'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 158 p., juin 2006
- Identification of Discrete Event Systems for Fault Detection Purposes
S.KLEIN
Doctorat de l’Ecole Normale Supérieure de Cachan,
Spécialité : Electronique Electrotechnique et Automatique
- Validation formelle de programmes Ladder Diagram pour Automates Programmables Industriels
O. ROSSI
Thèse de Doctorat en EEA, ENS de Cachan, 208 p., juin 2003
- Une méthode d’évaluation de l’impact des évolutions du produit sur le système de production et la performance de l’entreprise
A. COLLAINE
Doctorat de l'Ecole Normale Supérieure de Cachan, 11 Déc. 2001, LURPA-Ens de Cachan
- Apport de la méta-modélisation formelle pour la conception des systèmes automatisés de production
L. PIETRAC
Doctorat de l'Ecole Normale Supérieure de Cachan, 12 janv. 1999, LURPA-Ens de Cachan
- Contribution A l'Ingenierie Integree Des Systemes De Production : Formalisation Des Mecanismes 'Integration Entre Modeles Et Applications Sur Site Industriel
F. KIEFER
Doctorat de l'Ecole Normale Supérieure de Cachan, janvier 1996
- Aide A La Conception d'Architectures De Conduite Des Systemes De Production
B. DENIS
Doctorat de l'Université de Nancy I, spécialité automatique et production automatisée, février 1994
- Analyse De Grafcets Par Generation Logique De l'Automate Equivalent
J.M. ROUSSEL
Doctorat de l'Ecole Normale Supérieure de Cachan, Décembre 1994