Du réseau de Petri temporel étendu vers les automates hybrides linéaires pour l'analyse des systèmes

Yamen Etouati (1, 2) , Moez Yeddes (1) , Nejib Hadj Alouane (1) , Hassane Alla (2)

1 CRISTAL - Centre de Recherche Réseau Image SysTème Architecture et MuLtimédia
2 GIPSA-SED - GIPSA - Systèmes à événements discrets

The purpose of our research work is to model a subclass (category) of hybrid systems having a strong (powerful) discrete component and a light (weak, faint) continuous component. For that purpose, we propose a new model (Extended Time Petri Nets) which is an extension of Time Petri nets. In addition to the possibilities offered by the Time Petri Net, our model allows to model continuous (or continuous by fragment) linear variables. It keeps in memory the intermediate states reached by the various phases of a given treatment.

Mots clés: Réseau de Petri temporel; système dynamique hybride; modélisation; supervision; automate hybride linéaire

Domaines: Théorie de l'information [cs.IT]; Théorie de l'information et codage [math.IT]

Yamen Etouati, Moez Yeddes, Nejib Hadj Alouane, Hassane Alla. Du réseau de Petri temporel étendu vers les automates hybrides linéaires pour l'analyse des systèmes. CIFA 2009 - IEEE Conférence Internationale Francophone d'Automatique, Feb 2009, Bucarest, Romania. pp.00. ⟨hal-00356493⟩