Abstraction  Algorithmes de graphes  Algèbre de processus  Analyse de criticité  Approche collaborative  Approche modulaire  Arcs de reset  Asbm  Automates étendus  Automatique  Automatisation  BDD - Diagramme de décision binaire  BDMP Généralisés  Boucles d'asservissement de phase  Business Process Model and Notation  Capacité opérative  Chaînes de Markov  Chemins disjoints  Chronique  Cohérence  Commande automatique  Commande en temps réel  Commande, Théorie de la  Comportement  Conception de circuit  Conception de système intégré  Conception sure  Contrôle-Commande  Contrôleur exact  Cots  Coupe minimale  Diagnostic de fautes  Diagnostic des SED  Diagnostic des fautes  Diagnosticabilité  Diagnosticabilité modulaire  Diagnosticabilité monolithique  Diagnostiqueur  Domotique  Dépliage  Efficience  Evaluation de la sûreté de fonctionnement basée sur les modèles  Fiabilité  GRAFCET  Gestion de la production  Gestion du risque  Génie industriel  Génie électronique  Incident  Informatique  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Ingénierie système basée sur les modèles  Intégration des systèmes  Langages formels  Langages probabilistes  Machine de Moore  Machines séquentielles, Théorie des  Markov, Processus de  Maîtrise statistique des processus  Microélectronique  Model-cheking  Modelisation des systèmes  Modèles de systèmes bouclés  Modèles mathématiques  Modèles temporisés  Modélisation des états  Observateur  Ontologies  Ontologies  Optimisation  Optimisation mathématique  Ordonnancement  Ordonnancement  Petri, Réseaux de  Pilotage  Prise de décision  Procedure endovasculaire  Processus métier  Processus stochastiques  Procédés de fabrication -- Automatisation  Productique  Pétrole -- Transport  Pétrole  Qualité -- Contrôle  Recherche opérationnelle  Reconfiguration  Reconfiguration  Réseau de canalisation  Réseaux ad hoc  Réseaux de Petri  Réseaux de Petri labellisés  Réseaux locaux sans fil  SADT, Méthode  SCD - Synthèse de contrôleurs discrets  SED  Simulation par ordinateur  Stratégie de reconfiguration  Supervision  Synchronisation  Synchronisation de modèles  Synthèse du control discret  Système de production  Système embarqué  Systèmes complexes  Systèmes de production  Systèmes de télécommunications  Systèmes dynamiques  Systèmes dynamiques et réparables  Systèmes dynamiques hybrides  Systèmes embarqués  Systèmes embarqués  Systèmes hybrides  Systèmes à événements discrets  Systèmes échantillonnés  Sécurité des systèmes  Séquences d’événements  Sûreté de fonctionnement  Thèses et écrits académiques  Théorie des régions  Tolérance aux fautes  Tolérance aux fautes  Tolérance aux fautes  Traitement d'événements  Transfert  Transport  Transport de pétrole  Transport de voyageurs  Vérification formelle  Équivalence de modèles  Évaluation du risque  

Eric Niel a dirigé les 15 thèses suivantes :

Automatique
Soutenue le 16-07-2013
Thèse soutenue


Eric Niel a été président de jury de la thèse suivante :

Automatique, génie informatique, traitement du signal et image
Soutenue le 10-12-2012
Thèse soutenue

Eric Niel a été rapporteur des 9 thèses suivantes :

Automatique, Traitement du Signal et des Images, Génie Informatique
Soutenue le 22-09-2016
Thèse soutenue
Automatique et informatique industrielle
Soutenue le 15-12-2009
Thèse soutenue