Etude Et Analyse Des Systèmes Dynamiques Hybrides : Approche Par Les Réseaux De Petri Hybrides Et Automates Hybrides Linéaires

Résumé: Les SDH sont des systèmes où la dynamique discrète interagit avec la dynamique continue, c'est cette interaction qui détermine le comportement qualitatif et quantitatif du SDH. Les travaux sur les systèmes hybrides sont récents et ont bien évidemment concerné, dans un premier temps, la modélisation. D'autres problèmes ont ensuite été abordés dans la littérature comme la surveillance, la reconfiguration, la stabilité et l'observabilité des SDH, ce qui a donné lieu à beaucoup de formalisme de modélisation. Le plus générale parmi ces formalismes est le réseau de Petri hybride (RdPH). Il permet la modélisation des systèmes hybrides dont la dynamique continue est positive et linéaire par morceau. Les automates hybrides AHs sont un autre formalisme permettant la modélisation de la plus grande variété des dynamiques continues utilisé principalement pour la vérification de certaines propriétés du système. Cependant, en ce qui concerne la modélisation, on peut mentionner que le développement de modèles à l'aide des AHs n'est pas aisé vu que la sémantique associée à ce formalisme est orientée plutôt vers l'analyse de comportements. Un algorithme de traduction traitant une nouvelle classe du réseau de Pétri Hybride (HPN) appelé RdPH D-C-élémentaire. La méthode nous permet d'analyser les propriétés des systèmes hybrides à l'aide de l'automate hybride linéaire produit par le processus de traduction dans un but d'associer la puissance d'analyse des AHLs à la puissance de modélisation des RdPH.La méthode est appliquée à un système de trois réservoirs et analysée par le logiciel PHAVer. Son efficacité est illustrée par des résultats numériques de simulation.

Publié dans la revue: