Algèbre  Application industrielle  Approche multi-Modèle  Architecture des réseaux d'ordinateurs  Asbm  Automate programmable  Automate programmable industriel  Automates finis  Automates programmables  Automates à état fini  Automatisation  BDMP Généralisés  Boole, Algèbre de  Capacité fonctionnelle  Capteurs  Carburants -- Consommation  Commande  Commande automatique  Commande de processus  Commande intelligente  Communication -- Analyse de réseau  Computer aided design  Computer integrated manufacturing  Conception assistée  Contrôle-Commande  Datation des fautes  Diagnostic  Diagnostic de fautes  Diagnostic et pronostic de défauts  Didactique du curriculum  Disciplinarisation de la technologie  Dispositifs de sécurité  Domotique  Durée de vie  Durée de vie résiduelle  Découverte  Détection  Détection de défaut  Enseignement technique  Ethernet  Ethernet  Fabrication, Systèmes flexibles de  Fiabilité  Fonctions de structure  Fonctions modulaires  GRAFCET  Graphe d’événements temporisés  Habitat intelligent  Habitudes de vie  Histoire des enseignements  Identification  Industrial application  Ingénierie assistée par ordinateur  Ingénierie pédagogique  Integrated system  Logiciels -- Vérification  Logiciels  Logique temporelle  Lycée et classes préparatoires aux grandes écoles  MERISE, Méthode  Machine de Moore  Machines -- Dispositifs de sécurité  Machines séquentielles, Théorie des  Matériaux -- Essais dynamiques  Mesures de probabilités  Mesures de sûreté  Minimisation énergétique  Model-checking  Model-checking temporel  Modes de vie  Modèles mathématiques  Modélisation  Méthode FDI  Optimisation quadratique  Petri, Réseaux de  Production system  Productique  Reconnaissance  Ressource partagée  Réseau de Petri  Réseau de communication  Réseaux de Petri  Réseaux de Petri stochastiques  Réseaux de Petri synchronisés  Réseaux de petri étiquetés  Sciences de l’ingénieur  Simulation  Stratégie de reconfiguration  Structure logique  Système homme-Machine  Système intégré  Système production  Système à Evenements Discrets  Système à évènements discrets  Systèmes de commande  Systèmes dynamiques  Systèmes dynamiques et réparables  Systèmes homme-machine  Systèmes à événement discret  Systèmes à événements discrets  Systèmes échantillonnés  Sécurité  Séquences de coupe minimales  Sûreté de fonctionnement  Technique de la production  Temps de réponse  Test  Thèses et écrits académiques  Théorie du langage  Trains  Transports ferroviaires  Validation  Vérification  Vérification de modèles  Vérification formelle  histoire  Étude et enseignement  Évaluation analytique  évaluation  

Jean-Jacques Lesage a rédigé la thèse suivante :


Jean-Jacques Lesage a dirigé les 19 thèses suivantes :

Électronique. Automatique
Soutenue en 2003
Thèse soutenue


Jean-Jacques Lesage a été rapporteur des 4 thèses suivantes :

Automatique. Automatique, génie informatique
Soutenue le 26-01-2017
Thèse soutenue


Jean-Jacques Lesage a été membre de jury des 2 thèses suivantes :