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 automatique  Commande de processus  Domotique  Ethernet  Habitat intelligent  Identification  Logiciels -- Vérification  Machines séquentielles, Théorie des  Modèles mathématiques  Petri, Réseaux de  Productique  Réseau de Petri  Réseaux de Petri  Système production  Systèmes dynamiques  Systèmes dynamiques et réparables  Systèmes à événements discrets  Systèmes échantillonnés  Technique de la production  Vérification  

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

Conception de la commande des systèmes de production : contribution à la structuration, application à la conception de la commande d'un atelier flexible

par Jean-Jacques Lesage sous la direction de Pierre Bourdet - Châtenay-Malabry, Ecole centrale de Paris

Automatique, productique

Soutenue en 1989

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

Modelling and Recognition of Human Activities of Daily Living in a Smart Home

par Kévin Viard sous la direction de Jean-Jacques Lesage et de Maria Pia Fanti . - Paris Saclay

Automatique

Soutenue le 13-07-2018

Identification Comportementale "Boîte-noire" des Systèmes à Evénements Discrets par Réseaux de Petri Interprétés

par Jérémie Saives sous la direction de Jean-Jacques Lesage - Paris Saclay

Automatique

Soutenue le 30-06-2016

A discrete event approach for model-based location tracking of inhabitants in smart homes

par Mickaël Danancher sous la direction de Jean-Jacques Lesage et de Lothar Litz . - Cachan, Ecole normale supérieure

Électronique Électrotechnique Automatique

Soutenue le 02-12-2013

Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes binaires dynamiques et réparables

par Pierre-Yves Chaux sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Électronique Électrotechnique Automatique

Soutenue le 15-04-2013

Black-Box identification of automated discrete event systems

par Ana Paula Estrada Vargas sous la direction de Jean-Jacques Lesage et de Luis Ernesto Lopez Mellado . - Cachan, Ecole normale supérieure

Électronique Électrotechnique Automatique

Soutenue le 20-02-2013

Evaluation analytique du temps de réponse des systèmes de commande en réseau en utilisant l’algèbre (max,+)

par Boussad Addad sous la direction de Jean-Jacques Lesage et de Saïd Amari . - Cachan, Ecole normale supérieure

Électronique Électrotechnique Automatique

Soutenue le 01-07-2011

Identification and fault diagnosis of industrial closed-loop discrete event systems

par Matthias Roth sous la direction de Jean-Jacques Lesage et de Lothar Litz . - Cachan, Ecole normale supérieure

Électronique Électrotechnique Automatique

Soutenue le 08-10-2010

Modélisation algébrique des arbres de défaillance dynamiques, contribution aux analyses qualitative et quantitative

par Guillaume Merle sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Électronique, électrotechnique, automatique

Soutenue en 2010

Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques

par Yann Hietter sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Électronique, électrotechnique, automatique

Soutenue en 2009

Architectures de contrôle-commande redondantes à base d’Ethernet Industriel : modélisation et validation par model-checking temporisé

par Steve Limal sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Électronique, électrotechnique, automatique

Soutenue en 2009

Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride

par Zulema Juarez Orozco sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Électronique, électrotechnique, automatique

Soutenue en 2008

Évaluation de performance d'architectures de commande de systèmes automatisés industriels

par Pascal Meunier sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Électronique, électrotechnique, automatique

Soutenue en 2006

Influence de la prise en compte d'un modèle de processus en vérification formelle des systèmes à évenement discrets

par José Machado sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Électronique, électrotechnique, automatique

Soutenue en 2006

Identification of discrete event systems for fault detection purposes

par Stéphane Klein sous la direction de Jean-Jacques Lesage et de Lothar Litz . - Cachan, Ecole normale supérieure

Électronique, électrotechnique et automatique

Soutenue en 2005

Validation formelle de programmes Ladder Diagram pour automates programmables industriels

par Olivier Jacques Paul Rossi sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Électronique. Automatique

Soutenue en 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

par Anne Collaine sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Sciences appliquées. Électronique

Soutenue en 2001

Apport de la meta-modelisation formelle pour la conception des systemes automatises de production

par Laurent Piétrac sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Sciences et techniques

Soutenue en 1999

Contribution à l'ingéniérie intégrée des systèmes de production : formalisation des mécanismes d'intégration entre modèles et applications sur site industriel

par François Kiefer sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Génie mécanique

Soutenue en 1996

Analyse de Grafcets par génération logique de l'automate équivalent

par Jean-Marc Roussel sous la direction de Jean-Jacques Lesage - Cachan, Ecole normale supérieure

Automatique

Soutenue en 1994

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

Vérification formelle et Simulation pour la Validation du système de contrôle commande des EALE (Équipements d'Alimentation des Lignes Électrifiées)

par Mohamed Niang sous la direction de Bernard Riera , Alexandre Philippot , François Gellot et de Raphaël Coupat . - Reims

ATS - Automatique et Traitement de Signal

Soutenue le 20-12-2018

Contribution au diagnostic et pronostic des systèmes à évènements discrets temporisés par réseaux de Petri stochastiques

par Rabah Ammour sous la direction de Dimitri Lefebvre et de Éric Sanlaville . - Normandie

Automatique, signal, productique, robotique

Soutenue le 11-12-2017

SECAAC : Système d'Eco-Conduite Auto-Adaptatif au Conducteur

par Salvatore La Delfa sous la direction de Frédéric Vanderhaegen , Simon Enjalbert et de Philippe Polet . - Valenciennes

Automatique. Automatique, génie informatique

Soutenue le 26-01-2017

Test and diagnosis of discrete event systems using Petri nets

par Marco Pocci sous la direction de Isabel Demongodin , Alessandro Giua et de Norbert Giambiasi . - Aix-Marseille

Informatique

Soutenue le 23-09-2013

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

Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques, réparables et reconfigurables

par Pierre-Yves Piriou sous la direction de Jean-Marc Faure - Paris Saclay

Automatique

Soutenue le 27-11-2015

Des enseignements techniques aux sciences de l’ingénieur : Analyse didactique et historique du processus de disciplinarisation depuis la Libération

par Christian Hamon sous la direction de Joël Lebeaume - Paris 5

Sciences de l'éducation

Soutenue le 19-06-2012