DIagnostic Supervision et COnduite
- disco -
Activités de recherche de l'Équipe DISCO
Objectifs et Méthodologie
L'objectif de l'équipe DISCO est de développer une recherche méthodologique à large spectre dans le domaine du diagnostic. Le principe fondamental d'un processus de diagnostic est de confronter l'observation incertaine ou non d'un système réel.
Apprentissage automatique pour le diagnostic/pronostic de systèmes
DISCO développe des méthodes de classification statique avec extraction d'indicateurs (normal, anormal, sain, malade, fautif, etc.) sur des populations d'individus exploitant la logique floue, les réseaux de neurones. Une méthode de classification dynamique offre quant à elle, la possibilité d'apprendre des états de comportement dynamiques et de détecter des changements entre ces états en détectant également des états nouveaux. DISCO contribue également à l'apprentissage automatique de modèles temporels (type chroniques) en exploitant des techniques de fouilles de données temporelles sur des logs de systèmes afin de découvrir des classes de fonctionnements temporellement discriminables.
Analyses de modèles de diagnostic par des méthodes formelles
Étude formelle de propriétés relatives au diagnostic (diagnosticabilité, identifiabilité,...) dans les systèmes dynamiques (discrets, continus, hybrides).
Développement d'algorithmes de diagnostic
La synthèse de diagnostiqueurs (algorithmes de diagnostic) repose sur l'existence d'un modèle, d'un flot d'observations et d'un niveau d'objectif fonction de la connaissance issue du modèle. Ce niveau d'objectif peut aller de l'estimation d'états à la synthèse d'une explication de l'apparition d'un défaut.
Intégration diagnostic/pronostic pour la maintenance prévisionnelle
Le pronostic est de plus en plus utilisé dans des applications industrielles en particulier pour la maintenance prévisionnelle. Le diagnostic et le pronostic sont fortement corrélés : le diagnostic détermine en effet l’ensemble des composants en faute expliquant les dysfonctionnements observés, le pronostic détermine quant à lui l’état futur des composants.
Responsable
Cadre scientifique
Dernières Publications
2024
Articles dans une revue
Communications dans un congrès
Autres documents
Comptes rendus de conférences
@softwareversion
Pré-publications, documents de travail
2023
Articles dans une revue
Communications dans un congrès
Brevets
Rapports
Pré-publications, documents de travail
2022
Articles dans une revue
Chapitres d’ouvrages
Communications dans un congrès
Autres documents
Rapports
Pré-publications, documents de travail
2021
Articles dans une revue
Communications dans un congrès
@softwareversion
Rapports
Pré-publications, documents de travail
2020
Articles dans une revue
Chapitres d’ouvrages
Communications dans un congrès
Autres documents
Rapports
DISCO rassemble des chercheurs permanents du CNRS, de l'INSA et de l'Université Paul Sabatier. DISCO fait parti des communautés scientifiques du diagnostic à base de modèle (DX) et de la détection et l'isolation de fautes (FDI). C'est à partir de sa thématique scientifique que la chaire Synergistic transformations in model based and data based diagnosis a été définie dans le cadre du l’institut interdisciplinaire d’intelligence artificielle de Toulouse ANITI. L'équipe DISCO est constituée de membres issus principalement des communautés Automatique et Intelligence Artificielle et développe ainsi une recherche multidisciplinaire sur le diagnostic de système en s'appuyant sur des formalismes et des outils issus de ces deux grandes communautés scientifiques. Cette approche multidisciplinaire du diagnostic fait de DISCO une équipe unique en France.
Membre des comités scientifiques techniques
- Hybrid Systems Technical commitee
- Model-based Diagnosis (DX) committee
- IFAC Safeprocess Technical committee
Membre des associations
- IEEE Computer Society
- AFIA (Association Française en Intelligence Artificielle)
- PHM Society (Prognostics and Health Management)
Comités éditoriaux de revues internationales et nationales
- International journal of intelligent manufacturing technologies
- Transactions of the Institute of Measurement and Control
- Artificial Intelligence
Organisations de conférences et d'ateliers Internationaux
- 33rd International Workshop on Principle of Diagnosis – DX 2022
- 29th International Workshop on Principles of Diagnosis (DX-2018)
- Participation à l'organisation de IFAC2017
- 26th International Workshop on Principles of Diagnosis (DX-2015)
- Workshop on Diagnosis Reasoning: Model Analysis and Performance (DREAMAP@ECAI-12)
- Workshop on Self-Star and Autonomous Systems (SAS at IJCAI-09)
Enseignement, implications universitaires
- Les enseignants-chercheurs ont été impliqués dans le montage des formations suivantes:
- Univ. Toulouse3: Master Electronique, Energie électrique, Automatique : parcours Ingénierie des Systèmes Temps Réel (ISTR)
- INSA de Toulouse (Dept. GEII) : "Systèmes Distribués et Big Data" (filière de la spécialité Informatique-Réseaux) et "Systèmes Informatiques Embarqués Critiques" (filière commune aux spécialités Informatique-Réseaux et Automatique-Electronique).
- Les travaux de DISCO sont disséminés dans plusieurs formations:
- (master) M2, ISTR, Univ. P. Sabatier, Toulouse
- (master) GEII, INSA, Toulouse
- (master) ENAC, Toulouse
- (doctorat) EDSYS, LAAS, Toulouse
- (doctorat) Ecoles d'été sur le diagnostic, Espagne
Les activités de recherche de DISCO conduisent à la production de logiciels et de démonstrateurs. LOGICIELS
- COCD: apprentissage de chroniques non supervisée à partir d'une séquence temporelle par des techniques de fouille de données. Alexandre Sahuguède, Euriell Le Corronc, Marie-Véronique Le Lann
- Diades: outil de diagnostic de systèmes à événements discrets. Diades (DIAgnosis of Discrete Event Systems) propose un ensemble maintenu d'algorithmes et de structures de données pour la modélisation, la génération aléatoire, le diagnostic et la vérification de la diagnosticabilité dans les systèmes à événements discrets. Yannick Pencolé
- Dito: outil de diagnostic logique à base de CSP. Cet outil résoud un moteur générique de diagnostic logique basé cohérence qui transforme le problème de diagnostic en une série de problème CSP (recherche de diagnostics à cardinalité minimale, recherche de diagnostics minimaux). Yannick Pencolé
- Dyclee: outil de classification dynamique. Dyclee (Dynamic Clustering algorithm for tracking Evolving Environments) met en oeuvre une méthode de classification non supervisée dynamique et auto-adaptative avec un mécanisme de détection de nouveauté pour la supervision de systèmes industriels. Renaud Pons et Louise Travé-Massuyès
- Locafleet: logiciel de localisation de flottes de véhicules autonomes. Soheib Fergani
- HCDAM: logiciel d'apprentissage de motifs temporels codé en Java qui extrait le motif commun à un ensemble de séquences d'événements datés. Audine Subias, Euriell Le Corronc, Louise Travé-Massuyès
- Hydiag: outil de diagnostic, diagnostic actif et pronostic sur des systèmes hybrides. Le logiciel HyDiag (Hybrid Diagnoser) est un logiciel développé sous Matlab conçu pour simuler, diagnostiquer et pronostiquer des systèmes hybrides (méthodes à base de modèles) en procédant par abstraction discrète de la dynamique continue et en exploitant Diades. Elodie Chanthery, Yannick Pencolé, Pauline Ribot, Louise Travé-Massuyès
- Hymu: outil d'intégration diagnostic/pronostic. Ce logiciel met en oeuvre les réseaux de Petri hybrides particulaires pour le suivi de l'état de santé d'un système hybrides (diagnostic de défauts et de dégradation et pronostic de vieillissement). Elodie Chanthery , Pauline Ribot.
- MaxPlusDiag: outil de détection et de localisation de décalage temporel dans les systèmes à événements discrets temporels s'appuyant sur la théorie algébrique (max,+). Exploitation de cette technique dans le cadre du suivi d'une chaîne automatisée de production en rapport à son objectif de production. Claire Paya, Yannick Pencolé, Euriell Le Corronc
- Innograde: aide au diagnostic du grade dans le cas d un cancer du sein, à destination des anapathologistes : dépôt Toulouse Tech Transfer, 2014. Marie-Véronique Le Lann
- P3S: outil de classification floue, dépôt Toulouse Tech Transfer. Le logiciel P3S (Process Sensor Selection and Situation assessment) met en oeuvre des techniques de classification fondées sur la logique floue pour la sélection des descripteurs/capteurs. Marie-Véronique Le Lann.
DEMONSTRATEURS
- Prognospice: prototype démontrant l'intégration diagnostic/pronostic d'une panne de régulation de pression par des méthodes de calcul à incertitudes bornées. Prototype livré à LIEBHERR (projet CORALIE). Renaud Pons, Yannick Pencolé, Louise Travé-Massuyès, Pauline Ribot, Carine Jauberthie.
Thèses / HDR soutenues
2024
Louis Goupil, Thèse: Apprentissage machine guidé par des connaissances pour le diagnostic
2023
2022
2021
2020
Valentin Bouziat, Thèse: Gestion des aléas dans un système multi-robots
2018
2017
John William Vásquez Capacho, Thèse: Gestion d’alarmes basée sur des chroniques
2016
2015
DÉPARTEMENT
REJOINDRE
Notre équipe de recherche
Pour plus d’informations sur les offres d’emploi, vous pouvez contacter