LURPA > Historique > Équipe ISA
Thèses et Habilitations de l'Équipe ISA
Zoom sur quelques habilitations à diriger des Recherches de l'équipe
Contribution à la commande sûre des Systèmes à Événements Discrets 1 juillet 2014 HdR de Jean-Marc ROUSSEL (LURPA)
Domaine : Electronique - Electrotechnique - Automatique
Zoom sur quelques thèses de l'équipe
Identification Comportementale "Boîte-noire" des Systèmes à Evénements Discrets par Réseaux de Petri Interprétés 30 juin 2016 Thèse de Jérémie SAIVES (LURPA)
Domaine : Electronique - Electrotechnique - Automatique
Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques réparables et reconfigurables 27 novembre 2015 Thèse de Pierre-Yves PIRIOU (LURPA)
Domaine : Electronique - Electrotechnique - Automatique
Calcul des Indicateurs de Sûreté par la Génération Automatique de Chaînes de Markov Partielles 9 juillet 2015 Thèse de Pierre-Antoine BRAMERET (LURPA)
Domaine : Electronique - Electrotechnique - Automatique
Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée 4 décembre 2014 Thèse d'Anaïs GUIGNARD (LURPA)
Domaine : Electronique - Electrotechnique - Automatique
Une approche orientée événements discrets pour la localisation des habitants dans des habitats intelligents basée sur le modèle 2 décembre 2013 Thèse de Mickaël DANANCHER (LURPA, en cotutelle avec l'Université de Kaiserslautern, Allemagne)
Domaine : Electronique - Electrotechnique - Automatique
Analyse de la fiabilité des architectures de commande en réseau à composants multi-modes 7 novembre 2013 Thèse de Damien AZA-VALLINA (LURPA)
Domaine : Electronique - Electrotechnique - Automatique
