Sur l'analyse quantitative des réseaux de Petri hybrides : une approche basée sur les automates hybrides

Quantitative analysis of hybrid petri nets : an approach based on hybrid automata

• Auteur / Autrice : Mohamed Allam
• Direction : Hassane Lotfi Alla
• Type : Thèse de doctorat
• Discipline(s) : Génie industriel
• Date : Soutenance en 1998
• Etablissement(s) : Grenoble INPG
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'automatique de Grenoble (1957-2006)

Mots clés

Mots clés contrôlés

Modèles mathématiques

Petri, Réseaux de

Mots clés libres

Sciences appliquees

Informatique, automatique theorique, systemes

Commande processus

Automate

Reseau petri

Systeme hybride

Atteignabilite

Modelisation

Analyse quantitative

Process control

Automaton

Petri net

Hybrid system

Reachability

Modeling

Quantitative analysis

Résumé

L'objectif de notre travail de recherche etait l'association de la puissance de modelisation des reseaux de petri hybrides et la puissance d'analyse des automates hybrides. Pour cela, nous avons propose un algorithme permettant de construire l'automate hybride decrivant l'evolution d'un reseau de petri hybride. La classe des reseaux de petri hybrides valide par l'algorithme de passage a ete identifiee. Pour la classe des reseaux de petri hybrides periodiques, nous avons propose une approche d'analyse quantitative. Elle est basee sur l'analyse d'atteignabilite de l'automate hybride associe au reseau de petri hybride. En effet, le calcul de la region atteignable de l'automate hybride nous permet de caracteriser le fonctionnement periodique quand il existe, et de calculer certaines quantites relatives aux entites du reseau de petri hybride. Ces quantites peuvent etre interpretees comme des performance du systeme modelise. L'interet de l'approche reside dans l'exactitude du calcul des quantites moyennes.