|
|||||||||||
|
|
Surveillance des processus dynamiques par automates hybrides linéaires 1Gipsa-Lab, Département d’Automatique 2Institut National des Sciences Appliquées et de Technologie Dans ce papier, nous développons une méthode de surveillance des processus dynamiques basée sur les automates hybrides linéaires. Cette méthode tient compte du comportement du système ainsi que de l’évolution de ses paramètres. A cause de dysfonctionnements la dynamique du système peut varier entre plusieurs modes. La surveillance consiste à partir d’une durée globale de fonctionnement du système à garantir à tout instant que cette durée est respectée. La connaissance de l’espace atteignable réalisant cet objectif permettra de détecter au plus tôt le non respect de cette durée. |
||||||||||