Résumé: Le diagnostic consiste à détecter, localiser et éventuellement identifier les défauts au sein d’un système. Un modèle ne représentant qu’imparfaitement la réalité, une prise en compte explicite des incertitudes est nécessaire pour mettre en oeuvre des techniques de redondance analytique conduisant à un diagnostic garanti. En s’appuyant sur une représentation déterministe des incertitudes (par des intervalles et, plus particulièrement, des zonotopes, une classe particulière de polytopes), l’objet de ce travail est double : proposer une spécification des modes de fonctionnement aussi proche que possible de la connaissance disponible, d’une part, assurer la correction logique entre la spécification des modes de fonctionnement et la décision fournie, d’autre part. En s’appuyant sur des algorithmes de calcul d’atteignabilité à base de zonotopes pour limiter les problèmes de dépendance et l’effet d’enveloppement, d’une part, sur des algorithmes de détection de collision, d’autre part, l’intérêt d’une re-formulation ensembliste de plusieurs techniques de génération de résidus (indicateurs de défauts) est mise en évidence non seulement pour la synthèse de tests implantés en ligne, mais aussi pour l’aide à la conception d’un système de diagnostic (choix de seuils, analyses de sensibilité). Les approches ensemblistes permettent d’introduire la notion de découplage dans les limites fixées par les bornes. Un nombre arbitrairement grand de perturbations peut ainsi être découplé parfaitement sans contrainte de rang. Les domaines calculés permettent de borner les incertitudes dans toutes les directions de l’espace et d’obtenir des sensibilités meilleures que celles résultant de techniques projectives ou d’élimination. Le travail effectué sur les calculs d’atteignabilité débouche quant à lui sur une ouverture vers la vérification de propriétés de sûreté dans les systèmes dynamiques hybrides

Langue: Français
Collation: 190 p. ill. ;30 cm.
Diplôme: Doctorat d'état
Etablissement de soutenance: Université de Cergy-Pontoise
Spécialité: Automatique
Index décimal 600 .Technologie (sciences appliquées)
Thème Electronique

Mots clés:
Polytopes convexes
Géométrie algorithmique
Systèmes dynamiques hybrides
Zonotopes