Estimation d'état pour les réseaux de Petri synchronisés temporisés labellisés
Mouna Gaouar  1, *@  , Rabah Ammour  1@  , Isabel Demongodin  1@  , Dimitri Lefebvre  2@  
1 : Laboratoire d'Informatique et des Systèmes (LIS)
Aix Marseille Université
2 : Groupe de Recherche en Electrotechnique et Automatique du Havre  (GREAH)  -  Site web
Université du Havre, Université du Havre : EA3220
25, rue Philippe Lebon - B.P. 1123 - 76063 Le Havre cedex -  France
* : Auteur correspondant

Cet article traite de l'estimation de l'état courant dans les Réseaux de Petri Synchronisés Temporisés Labellisés, une sous-classe des Réseaux de Petri Synchronisés Temporisés avec Sorties. Pour représenter l'espace d'états, un Graphe de Classes Synchronisé est introduit, puis transformé en un Automate de Classes d'états à Intervalles, un automate fini dans lequel le temps continu est abstrait au moyen d'événements discrets appelés ticks. Un algorithme de construction d'un observateur pour cette classe d'automates est proposé, permettant de déterminer l'état courant du système à partir de séquences d'observations temporisées. Cette approche offre une base formelle pour des applications allant de la commande à la vérification et à la détection de fautes dans les systèmes à événements discrets temporisés.


Chargement... Chargement...