Filtre logique et Théorie du Contrôle Supervisé
Dimitri Renard  1, 2, *@  , David Annebicque  2, *@  , Ramla Saddem  3, *@  , Bernard Riera  4, *@  
1 : PROSYST
Prosyst, Valenciennes
2 : Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - UR 3804
Université de Reims Champagne Ardenne (URCA)
3 : Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - UR 3804  (CRESTIC)
Université de Reims Champagne Ardenne (URCA)
4 : Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - UR 3804
Université de Reims Champagne-Ardenne
UFR Sciences Exactes et Naturelles, Moulin de la Housse, BP 1039, 51687 Reims CEDEX 2, FRANCE -  France
* : Auteur correspondant

Cet article explore le lien entre un superviseur de coordination de tâches opératives synthétisé selon la Théorie du Contrôle Supervisé (SCT) et son pendant sous forme de filtres logiques. La SCT, bien que rigoureuse, est difficilement intégrable dans les automates programmables industriels (API) en raison de contraintes de synchronisation et de complexité. Les filtres logiques, plus simples à implémenter, offrent une alternative intuitive mais moins formalisée. Ce travail propose une démarche permettant d'exprimer les filtres logiques comme des formes réduites ou spécialisées de superviseurs SCT, conciliant ainsi rigueur théorique et applicabilité industrielle. Une application illustrative appuie la validité de l'approche proposée.


Chargement... Chargement...