Etude des systèmes hybrides
Thèses / mémoires Ecrit par: Hamdi, Fatiha ; Université du Hadj Lakhdar Batna ; Goléa, N. ; Benmahammed, K. ; Publié en: 2002
Résumé: La dynamique d’un système continu est décrite par des équations di¤érentielles,et un système discret est modélisé par un automate qui change d’état quand un évènement se produit. Par contre un système hybride contient les deux sous systèmes continus et discrets, l’évolution de l’un agissant sur l’autre. Ce mémoire présente la modélisation et les techniques d’analyse de stabilité de ces systèmes autonomes,organisé selon les points suivants : 1. Une introduction générale sur ce type de système comportant la description du phénomène et du comportement hybride à travers des exemples illustratifs,suivie d’une classi…cation de ces systèmes selon leur comportement. 2. L’interaction de l’état continu et discret est modélisée par extension de l’automate discret en associant une évolution continue à chaque état discret. La composante continue est décrite par un ensemble d’équations di¤érentielles ordinaires et la composante discrète par un automate …ni. Le modèle résultant de cette approche est connu sous le nom d’automate hybride. Un automate hybride est un modèle formel pour des systèmes dynamiques ayant des composantes à la fois discrètes et continues. Grâce a certaines propriétés que peut avoir un modèle automate hybride, on peut capturer le comportement approprié d’un système hybride, tel que le bloquage, le comportement determininste et non déterministe et le phénomène Zenon qui est une propriété importante d’un modèle automate hybride, puisqu’elle pose d’énormes problèmes. 3. La troisième partie introduit le concept de la stabilité d’un automate hybride autonome traité par deux techniques. La première technique traite la théorie de Lyapunov, présenté sous deux approches: L’approche de la stabilité globale du système hybride basé sur le calcul de la fonction globale de Lyapunov de tous les états continus et discrets du système. La deuxième approche expose la stabilité multi-quadratique, dont le principe consiste à calculer la fonction de Lyapunov pour chaque état du système. La deuxième technique utilise le principe des inégalitées matricielles linéaires LMI, tel que le problème est formulé sous forme de contrainte d’optimisation convexe pour résoudre l’inégalité de Lyapunov. 4. Les résultats de ce travail ont fait l’objet de trois communications (voir annexe2) aux conférences: (a) SNGE201 à Biskra, 2001 (b) CGE01, conférence en génie eléctrique, Ecole Militaire polythechnique 2001 (c) Annaba, 2002 , l'article est accepté
Batna:
Langue:
Français
Collation:
109 p. ill.
;30 cm
Diplôme:
Magister
Etablissement de soutenance:
Batna, Université du Hadj Lakhdar. Faculté des Sciences de l'Ingénieur
Spécialité:
Electronique
Index décimal
629.89 .Commande informatisée (applications de l'automatique, automates, commande électronique ; commande informatisée des systèmes en boucle fermée, en boucle ouverte ; méthodes particulières dans l'ingénierie des commandes automatiques, ouvrages généraux, théor
Thème
Electronique
Mots clés:
Systèmes dynamiques hybrides
Note: Annexe pp.[90-109]; Bibliogr.pp.[110-111]