Mémoires de Fin d’Etudes
Etablissement
Université d’Oran1 - Ahmed Ben Bella
Affiliation
Département d’Informatique
Auteur
HAKIKI, Rafika
Directeur de thèse
SEKHRI Larbi (Maitre de conférence)
Filière
Informatique
Diplôme
Magister
Titre
Etude et Analyse des Systèmes Dynamiques Hybrides : Approche par les Réseaux de Petri Hybrides et Automates Hybrides Linéaires
Mots clés
Systèmes hybrides; Réseaux de Petri hybrides; Graphe d’évolution;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.
Date de soutenance
2010
Cote
TH3304
Pagination
X-112F.
Illusatration
ILL
Format
30 cm
Notes
RESUME ET MOTS CLES EN FRANCAIS ET EN ANGLAIS.BIBLIOG.99-104F.ANNEXES 105-112F.
Statut
Soutenue