Diagnostic des systèmes dynamiques hybrides à modes non linéaires PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Diagnostic des systèmes dynamiques hybrides à modes non linéaires PDF full book. Access full book title Diagnostic des systèmes dynamiques hybrides à modes non linéaires by Talel Zouari. Download full books in PDF and EPUB format.
Author: Talel Zouari
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Cette thèse concerne le diagnostic des systèmes à commutations (classe particulière de systèmes dynamiques hybrides) à modes non linéaires. Certains modes correspondent au fonctionnement normal, sans défaut ; d'autres modes représentent le comportement du système en présence de défauts capteurs, actionneurs ou composants internes. Une représentation générale multi-mode/multimodèle est proposée. Chaque mode non linéaire est modélisé sous la forme multimodèle de type Takagi-Sugeno. Cette modélisation permet de représenter un système non linéaire par une agrégation de modèles locaux linéaires. Une fonction de pondération est utilisée pour déterminer la contribution de chaque modèle local linéaire. Une conception robuste de résidus, basée sur des techniques de projection matricielle est proposée. Cette méthode utilise uniquement les données d'entrées/sorties et la connaissance des fonctions de pondération. En premier lieu, la méthode de projection des données permet de détecter et de localiser les défauts affectant les capteurs dans un mode non linéaire. En deuxième lieu, elle permet de détecter les défauts actionneurs ou les défauts internes en détectant les commutations et en reconnaissant, à chaque instant, le mode actif. Des conditions de discernabilité entre les modes sont établies et un indice de discernabilité calculé en-ligne est utilisé pour réduire la complexité de la méthode d'identification du mode courant. Des exemples académiques sont traités tout au long de la thèse afin d'illustrer en simulation, les différentes méthodes proposées.
Author: Talel Zouari
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Cette thèse concerne le diagnostic des systèmes à commutations (classe particulière de systèmes dynamiques hybrides) à modes non linéaires. Certains modes correspondent au fonctionnement normal, sans défaut ; d'autres modes représentent le comportement du système en présence de défauts capteurs, actionneurs ou composants internes. Une représentation générale multi-mode/multimodèle est proposée. Chaque mode non linéaire est modélisé sous la forme multimodèle de type Takagi-Sugeno. Cette modélisation permet de représenter un système non linéaire par une agrégation de modèles locaux linéaires. Une fonction de pondération est utilisée pour déterminer la contribution de chaque modèle local linéaire. Une conception robuste de résidus, basée sur des techniques de projection matricielle est proposée. Cette méthode utilise uniquement les données d'entrées/sorties et la connaissance des fonctions de pondération. En premier lieu, la méthode de projection des données permet de détecter et de localiser les défauts affectant les capteurs dans un mode non linéaire. En deuxième lieu, elle permet de détecter les défauts actionneurs ou les défauts internes en détectant les commutations et en reconnaissant, à chaque instant, le mode actif. Des conditions de discernabilité entre les modes sont établies et un indice de discernabilité calculé en-ligne est utilisé pour réduire la complexité de la méthode d'identification du mode courant. Des exemples académiques sont traités tout au long de la thèse afin d'illustrer en simulation, les différentes méthodes proposées.
Author: Romain Testylier
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Cette thèse porte sur les techniques d'analyse formelle de systèmes hybrides à dynamiques continues non linéaire. Ses contributions portent sur les algorithmes d'atteignabilité et sur les problèmatiques liées à la representation des ensembles atteignables. This thesis deals with formal analysis of hybrid system with non linear continous dynamic. It contributes to the fields of reachability analysis algorithm and the set representation.
Author: Salim Chaib
Publisher:
ISBN:
Category :
Languages : fr
Pages : 135
Get Book Here
Book Description
Les systèmes hybrides sont des systèmes dynamiques faisant intervenir explicitement et simultanément des phénomènes continus et discrets. L'étude des systèmes hybrides : observabilité, synthèse d'observateurs et leur diagnostic sont des problèmes très actuels. Les axes de recherche traités dans cette thèse concernent En premier, l’étude de l’observabilité d’une classe de systèmes hybrides. Nous avons développé deux approches pour l'observabilité de l'état discret dans un système hybride. La première approche est algébrique pour les systèmes hybrides linéaires affines en la commande. La deuxième est géométrique et elle est destinée aux systèmes hybrides non linéaires. En deuxième lieu, nous nous somme intéressés à la synthèse d’observateurs hybrides. Les travaux réalisés dans cet axe de recherche se résument par la synthèse d'un observateur hybride basé sur une fonction de Lyapunov commune, la synthèse d'un observateur hybride avec limitation de performances via un placement régional des pôles et la synthèse d'un observateur hybride à hystérésis, avec une application sur une plate-forme robotique de deux manipulateurs en coopération. Dans la dernière partie, nous avons abordé le problème de diagnostic des systèmes hybrides. Deux approches ont été développées. La première est adaptée aux systèmes hybrides linéaires avec un saut sur l'état continu. Cette approche est basée sur les sous-espaces invariants. La deuxième méthode est une nouvelle approche pour le diagnostic et la reconstruction de défaut dans les systèmes hybride non linéaires. Cette dernière est basée sur un projecteur décomposant la dynamique du système hybride en deux parties. Cette décomposition permet par la suite la reconstruction des défauts. Cette Approche à été appliquée au problème de reconstruction de défauts dans un missile, en utilisant un modèle hybride non linéaire du missile.
Author: Antonio Favela Contreras
Publisher:
ISBN:
Category :
Languages : fr
Pages : 162
Get Book Here
Book Description
LES SYSTEMES DYNAMIQUES HYBRIDES SONT DES SYSTEMES DEFINIS STRUCTURELLEMENT PAR LA COOPERATION DE DEUX SOUS-SYSTEMES, L'UN DE TYPE CONTINU ET LE SECOND DE TYPE EVENEMENTIEL. L'APPROCHE A LAQUELLE NOUS NOUS SOMMES INTERESSES DANS LE CADRE DE LA THESE CONSIDERE LE MODELE DU SYSTEME HYBRIDE COMME UNE EXTENSION DE L'AUTOMATE DISCRET EN ASSOCIANT UNE EVOLUTION CONTINUE A CHAQUE ETAT DISCRET. LE MODELE RESULTANT DE CETTE APPROCHE EST CONNU COMME ETANT LE MODELE AUTOMATE HYBRIDE. DANS UN PREMIER TEMPS, NOUS PRESENTONS CERTAINES PROPRIETES DYNAMIQUES DES AUTOMATES HYBRIDES CONCERNANT LA VALIDATION DES TRANSITIONS. NOUS PROPOSONS UNE METHODE D'ANALYSE PERMETTANT DE TROUVER LA REGION ATTEIGNABLE POUR UNE CLASSE DE SYSTEMES HYBRIDES CONTINUS-LINEAIRES. NOUS INTRODUISONS L'AUTOMATE HYBRIDE CONTINU-LINEAIRE OU LE SYSTEME DE TRANSITIONS CONTINU EST CARACTERISE PAR L'EQUATION D'ETAT LINEAIRE ET LE SYSTEME DE TRANSITIONS DISCRET EST CARACTERISE PAR DES CONDITIONS DE FRANCHISSEMENT DEFINIES PAR DES SURFACES DE COMMUTATION CONVEXES DANS L'ESPACE D'ETAT CONTINU. PUIS, DANS UN DEUXIEME TEMPS, NOUS ETABLISSONS UNE FORMULATION ANALYTIQUE DU COMPORTEMENT EN REGIME PERMANENT DES AUTOMATES HYBRIDES CONTINUS-LINEAIRES POUR LE CAS OU LA STRUCTURE DISCRETE EST UN CYCLE. POUR LE CAS ANALYSE, NOUS ETABLISSONS DES CONDITIONS NECESSAIRES ET SUFFISANTES POUR ATTEINDRE UN CYCLE LIMITE. AINSI, DEUX RESULTATS PRINCIPAUX ONT ETE OBTENUS : 1) CARACTERISATION DE L'ESPACE ATTEIGNABLE A PARTIR D'UNE REGION INITIALE, ET 2) COMPORTEMENT EN REGIME PERMANENT ET CYCLE LIMITE.
Author: Jaâfar Ben Salah
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Ce mémoire de thèse présente deux nouvelles approches pour l'analyse et la commande des systèmes non-linéaires complexes, comme les systèmes dynamiques à commutation de la classe des convertisseurs d'énergie électrique. Ces systèmes ont plusieurs modes de fonctionnement et ont un point de fonctionnement désiré qui, en général, n'est le point d'équilibre d'aucun des modes. Dans cette classe de systèmes, la commutation d'un mode de fonctionnement à un autre est commandée selon une loi qui doit être synthétisée. Par conséquent, la synthèse de commande implique l'étude des conditions qui permettent à un cycle limite stable de s'établir au voisinage du point de fonctionnement désiré, puis de la trajectoire de commande qui permet de l'atteindre en respectant les contraintes physiques de comportement (courant maximum supporté par les composants,. . .) ou les contraintes de temps (durée minimum entre deux commutations,. . .). Le cycle limite sera qualifié d'hybride car il est composé de plusieurs dynamiques(deux dans ces travaux).La première méthode développée s'appuie sur les propriétés géométriques des champs de vecteurs et est une extension d'une partie des travaux de thèse de Manon au LAGEP. Une condition nécessaire et suffisante d'existence et de stabilité d'un cycle limite hybride composé d'une séquence de deux modes de fonctionnement dans IR2 est présentée. Ce cycle définit la région finale à atteindre par le système depuis son état initial, par une trajectoire déterminée de manière optimale selon un critère donné (durée totale, énergie dépensée, . . .). La méthode proposée est appliquée aux convertisseurs d'énergie Buck et Buck-Boost alimentant une charge résistive. Une extension à IRn a été proposée et démontrée. Elle est illustrée sur un système non-linéaire dans IR3.La deuxième méthode est développée dans IR2 et basée sur la théorie de Lyapunov, bien connue en automatique pour étudier la stabilité des systèmes non-linéaires et concevoir des commandes stabilisantes.Il s'agit de déterminer par une approche géométrique, une fonction de Lyapunov quadratique commune aux deux modes de fonctionnement du système, qui permette d'obtenir un cycle limite hybride stable le plus proche possible du point de fonctionnement désiré et une commande stabilisante directe des interrupteurs.
Author: Belkhiat-D
Publisher: Omn.Univ.Europ.
ISBN: 9786131526053
Category : Literary Criticism
Languages : de
Pages : 200
Get Book Here
Book Description
Ce livre porte, en premier lieu et principalement, sur le diagnostic base de mod le des Syst mes Dynamiques Hybrides (SDH). Une probl matique r currente dans ce type de probl me concerne la prise en consid ration de fa on explicite les deux aspects, continu et discret, constituant un SDH. Dans ce cadre, nous proposons une m thodologie de d tection et de localisation de d fauts qui combine les outils initialement d di s au diagnostic des syst mes continus et d'autres sp cifiques aux Syst mes Ev nements Discrets (SED). En second lieu, sur la base des r sultats obtenus l'aide de l'approche de diagnostic d velopp e, nous proposons une approche pr liminaire de synth se de lois de commande tol rantes aux d fauts capteurs. Cette approche permet de pr server les performances nominales du syst me (situation non d faillante) en pr sence d'un d faut de capteurs.
Author: Hicham Hihi
Publisher:
ISBN:
Category :
Languages : fr
Pages : 200
Get Book Here
Book Description
Le comportement de nombreux procédés industriels résulte de l’évolution et de l’interaction de variables continues et discrètes. Ce comportement peut être représenté par une succession de modes. La transition d’un mode à l’autre peut être contrôlée ou spontanée. L’objectif de cette thèse est d’étudier les propriétés structurelles des systèmes hybrides linéaires à commutations modélisés par bond graph. Après une présentation des principales classes de systèmes hybrides, une modélisation combinant un automate hybride et un bond graph a été proposée. Une deuxième partie a été consacrée à l’étude de la commandabilité/observabilité des systèmes linéaires à commutations contrôlées. Des méthodes basées sur la notion de sous espace commandable/observable ont été interprétés graphiquement en termes de chemins causaux sur le modèle bond graph. L'observabilité des systèmes linéaires à commutations spontanées a été proposée dans la troisième partie. La discernabilité des modes, l'observabilité des états discret, continu et hybride ainsi que l’observabilité des instants de commutations ont été abordées. L’étude de ces notions a nécessité l’introduction de la matrice jointe de commandabilité/observabilité combinée, du coefficient joint de commandabilité, de la séquence de commutation, du graphe de commutation...etc. Leur interprétation par bond graph a permis de proposer des méthodes graphiques d’observabilité. Enfin, la stabilité des systèmes à commutations a été étudiée en utilisant les fonctions multiples de Lyapunov. Les résultats obtenus sont basés sur de simples manipulations graphiques opérées sur les modèles bond graphs
Author: Van Luong Le
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Get Book Here
Book Description
In automatic control, obtaining a model is always the cornerstone of the synthesis procedures such as controller design, fault detection or prediction... This thesis deals with the identification of a class of complex systems, hybrid dynamical systems. These systems involve the interaction of continuous and discrete behaviors. The goal is to build a model from experimental measurements of the system inputs and outputs. A new approach for the identification of linear hybrid systems based on the geometric properties of hybrid systems in the parameter space is proposed. A new algorithm is then proposed to recover the sparsest solutions of underdetermined systems of linear equations. This allows us to improve an identification approach based on the error sparsification. In addition, new approaches based on kernel models are proposed for the identification of nonlinear hybrid systems and piecewise smooth systems.
Author: Laurent Bako
Publisher:
ISBN:
Category :
Languages : fr
Pages : 231
Get Book Here
Book Description
Dans de nombreuses applications modernes, l’interaction de plus en plus importante entre les systèmes numériques (ordinateurs, logiciels, composants logiques, etc.) et les processus physiques (relations entre signaux continus) a conduit, en Automatique, à l’émergence et à la formalisation des systèmes dits hybrides. Formellement, les systèmes hybrides peuvent être définis comme des systèmes mixtes où interagissent des phénomènes de nature à la fois continue et événementielle. L’analyse et la conduite de tels systèmes comme de tout autre type de système dynamique nécessitent bien souvent que l’on dispose d’un modèle mathématique de ces systèmes. Ainsi, nous nous intéressons dans ce travail, à l’identification de systèmes hybrides linéaires à partir de mesures entrée-sortie. Après avoir fait le point sur les méthodes disponibles dans la littérature récente en relation avec ce sujet, nous mettons en évidence la nécessité de développer des méthodes d’identification de systèmes hybrides multivariables dans le contexte très délicat où ni le nombre de sous-modèles constitutifs du système hybride, ni les ordres de ces sous-modèles, ni leurs paramètres ne sont connus a priori.
Author: Smai͏̈n Médar
Publisher:
ISBN:
Category :
Languages : fr
Pages : 135
Get Book Here
Book Description
Le travail présenté dans cette thèse se situe dans le contexte de la supervision et de la reconfiguration de la commande des systèmes dynamiques. Dans la première partie, nous rappelons l'essentiel des travaux qui ont été effectués dans le domaine de la détection et de la localisation de fautes et nous décrivons particulièrement les méthodes basées sur des observateurs. Les différentes techniques d'accommodation sont également considérées. Ensuite, les aspects de modélisation, d'analyse de la stabilité des systèmes dynamiques hybrides sont abordés. La deuxième partie constitue notre contribution. Nous partons de l'hypothèse que le processus peut évoluer entre les éléments d'un ensemble fini de modes nominaux et de défaillance. Un régulateur est synthétisé pour chaque mode de fonctionnement afin d'assurer des performances désirées. La reconfiguration de la commande est effectuée par la commutation entre les différents régulateurs selon le mode de fonctionnement détecté. Nous introduisons une modélisation hybride de cette stratégie qui prend en compte l'interaction entre le processus, la fonction de détection et de localisation, la fonction d'accommodation et le régulateur. Cette modélisation permet la spécification de la stratégie de reconfiguration et l'analyse de la stabilité du système commuté. Les problèmes de stabilité et d'anti-emballement liés à la commutation des régulateurs sont discutés. Ensuite, les différentes étapes de mise en œuvre de cette stratégie sont présentées. Nous proposons une extension de cette stratégie à une classe de systèmes non linéaires. Dans la troisième partie, ces stratégies de reconfiguration sont appliquées sur deux applications en temps réel, à savoir, un processus thermique et un système trois cuves.
