Christophe COMBASTEL soutiendra son HDR, vendredi 16 décembre à 9h00 dans l'Amphi JP.DOM du Laboratoire IMS, sur le sujet suivant :« Du diagnostic ensembliste à la vérification et la fusion de données incertaines et mixtes ».

Suite à une thèse sur le diagnostic des entraînements électriques à l’INP Grenoble, mes activités de recherche ont principalement porté sur l’estimation et la prise de décision à base de modèles dynamiques incertains, à l’ENSEA tout d’abord. Depuis mon intégration à l’Université de Bordeaux et au laboratoire IMS en septembre 2015, j’ai ensuite progressivement élargi mes travaux de recherche aux problématiques de sûreté et de sécurité des Systèmes Cyber-Physiques (CPS). Que ce soit pour des applications de diagnostic en ligne, de contrôle d’intégrité ou de conception vérifiée à base de modèles, l’accent est mis sur des algorithmes de propagation d’incertitudes (atteignabilité) et leur utilisation pour estimer/caractériser l’état d’un système (observation, filtres prédicteurs-correcteurs dérivés du filtre de Kalman). Une attention particulière est portée au cas d’erreurs bornées, sans hypothèse spécifique sur la distribution des valeurs à l’intérieur de différentes classes de domaines supports : intervalles et, notamment, zonotopes (image affine d’un hypercube unitaire, décrit implicitement par une matrice). La fusion de données multi-capteurs sous incertitudes mixtes (par exemple : zonotopiques et gaussiennes, continues et discrètes/symboliques) est également l’objet de contributions originales. Une partie de ces travaux a été récemment mise en œuvre pour estimer la position/vitesse d’avions civils plus autonomes en phase d’approche/atterrissage (fusion INS/GPS/ILS). Il ressort de l’ensemble de ces travaux qu’une gestion active de la traçabilité des dépendances s’avère très utile, non seulement pour réduire le conservatisme lors du calcul de domaines englobants, mais aussi pour prendre en compte le caractère fortement interconnecté/distribué de CPS plus autonomes, sûrs, et résilients.