Jean-Jacques Lesage
IdRefMots clés
FR |
EN
Systèmes échantillonnés
Petri, Réseaux de
Automates programmables
Logiciels -- Vérification
Commande automatique
Identification
Productique
Réseau de Petri
Réseaux de Petri
Théorie des machines séquentielles
Systèmes à événements discrets
Habitat intelligent
Domotique
Détection de défaut (ingénierie)
Système production
Technique de la production
Automate programmable industriel
Commande
Sécurité
Vérification formelle