AMDE, Méthode  Actionneur électromécanique  Actionneurs  Administration autonome  Analyse de sensibilité  Analyses à la volée  Approche Incrémentale  Approche variationnelle  Arbres  Arbres de défaillances  Architecture -- Informatique  Architecture des réseaux d'ordinateurs  Architecture opérationnelle  Architectures de commande  Asbm  Automate Programmable Industriel  Automates communicants  Automates programmables  Automobile  Automobiles -- Conception et construction  BDMP Généralisés  Boitier papillon  Boucles d'asservissement de phase  Boucles de contrôle  Calcul intensif  Calcul sur des intervalles  Circuits logiques  Commande automatique  Commande intelligente  Conception collaborative  Contrôle-Commande  Contrôleurs logiques  Diagnostic de faute  Diagnosticabilité  Dispositifs logiques programmables  Détection de défaut  Fiabilité  Fractionnement des Intervalles de Temps  GRAFCET  Gestion des connaissances  Grafcet  Ingénierie des systèmes  Intervalles de confiance  Invariant de marquage  Logiciels -- Essais  Logiciels -- Validation  Logiciels -- Vérification  Logique mathématique  Machine de Mealy  Machine de Moore  Machines séquentielles, Théorie des  Model-checking  Modèle à base de composants  Modèles de systèmes bouclés  Modèles formels  Modèles mathématiques  Modèles temporisés  Mécatronique  Métaux  Optimisation multidisciplinaire  Ordinateurs -- Programmation  Petri, Réseaux de  Prise de décision  Processus de conception  Processus de test logiciel  Procédés de fabrication -- Automatisation  Programmation synchrone  Qualité logicielle  Recherche d'atteignabilité  Réseau de Petri labellisé  Réseaux de Petri  SIC-testabilité  Satisfiabilité  Simulation fonctionnelle  Simulation par ordinateur  Stratégie de reconfiguration  Synthèse de contrôleur discret  Synthèse de tolérance  Synthèse des contrôleurs  Système mécatronique  Système à événement discret  Systèmes aux événements discrets  Systèmes critiques  Systèmes dynamiques  Systèmes dynamiques et réparables  Systèmes informatiques  Systèmes mécatroniques  Systèmes échantillonnés  Sécurité ferroviaire  Sûreté de fonctionnement  TCP/IP  Test de conformité  Tolérance aux fautes  Tolérance aux fautes  Transformation de modèle  Travail collaboratif  Travail de la tôle  Validation en boucle fermée  Validation fonctionnelle  Variation paramétrique  Vérification  Vérification et validation logicielle  Vérification formelle  Équivalence de modèles  États interdits  Évaluation probabiliste  

Jean-Marc Faure a rédigé la thèse suivante :


Jean-Marc Faure a dirigé les 9 thèses suivantes :

Électronique Électrotechnique Automatique
Soutenue le 08-07-2011
Thèse soutenue

Jean-Marc Faure a été président de jury des 3 thèses suivantes :


Jean-Marc Faure a été rapporteur de la thèse suivante :


Jean-Marc Faure a été membre de jury des 3 thèses suivantes :