Accueil

GT INCOS (INgénierie de la COmmande et de la Supervision)

Le groupe de travail INCOS est un groupe du GDR CNRS MACS "Modélisation, Analyse et Conduite des Systèmes Dynamiques", Axe 4 "Sûreté, Supervision et Maintenance" (animateur : Didier Maquin).

Il traite de l’Automatique des Systèmes à Événements Discrets (SED). Ses thématiques scientifiques relèvent d’une recherche méthodologique et/ou appliquée visant à développer les modèles et méthodes permettant la génération des modèles de commande et de supervision des SED et contribuant à leur sûreté de fonctionnement ou à l’amélioration de leurs performances.

Le GT se veut être un lieu d'échange au travers de communications scientifiques et de débats organisés lors des réunuons du GT (environ 3 par an), à destination des doctorants, des chercheurs et enseignants-chercheurs, et des industriels concernés par les problématiques traitées au sein d'INCOS.

Depuis 2008, une politique de projets, ayant pour vocation de fédérer un sous-ensemble des équipes impliquées dans le GT afin de favoriser l’émergence de travaux collaboratifs et de réponses concertées à des appels à projets nationaux, a été mise en oeuvre. Le travail en projet pourra s’appuyer sur des benchmarks permettant de confronter plusieurs approches sur un cas d’étude commun ou de fédérer plusieurs approches complémentaires autour de la résolution d’un problème commun. Deux projets sont actuellement actifs :

• Projet « Diagnostic des SED » porté par le CReSTIC (Alexandre Philippot) a pour objectif de confronter les approches de diagnostic de SED pratiquées par les laboratoires participants autour d’un benchmark commun afin d’en monter les performances que limites. Le benchamrk retenu est un système « pick and place », disponible physiquement sur le site du CReSTIC à Reims et en émulation sur le logiciel d’émulation ITS-PLC. Plusieurs approches de diagnostic appliquées au benchmark du projet ont été proposées, un protocole de comparaison des approches est maintenant défini sur la base d'indicateurs spécifiques. Les résultats ont été présentés lors d'une session organisée au Workshop DCDS 2011 (Dependable Control of Discrete System).
• Projet «  Equivalence sémantique entre modèles de SED » porté par le LURPA (Jean-Marc Roussel) a pour objectif de partager les réflexions et les expériences des laboratoires participants autour de la définition d’équivalences sémantiques entre différents modèles formels de SED adaptés pour spécifier, analyser, commander ou contrôler le comportement d'un SED. Sur le plan scientifique, cette réponse ne peut être unique car la transformation de modèles s'effectue toujours avec un objectif précis mais parfois antagoniste selon le contexte. Ces transformations se font généralement avec l’un des objectifs suivants : équivalence de comportement, abstraction de comportement ou raffinement du comportement.