Download or read book Diagnostic base de mod les des syst mes temporis s et d une sous classe de syst mes dynamiques hybrides written by Haithem Derbel and published by . This book was released on with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Notre travail de recherche concerne l'étude du diagnostic à base de modèles pour les systèmes temporisés et pour une sous-classe de systèmes dynamiques hybrides. Nous avons d'abord développé une méthode de diagnostic basée sur la compilation hors-ligne d'un diagnostiqueur à partir du modèle automate temporisé du système à diagnostiquer. Une méthode systématique permettant la vérification de la diagnosticabilité du modèle utilisé est ensuite donnée. Nous avons ensuite proposé une méthode de diagnostic pour une sous-classe de systèmes dynamiques hybrides modélisés par des automates hybrides rectangulaires. Cette méthode repose sur l'utilisation d'une procédure de diagnostic en-ligne qui estime l'état courant du système ainsi que les occurrences des défauts non-observables. Enfin, nous avons proposé une méthode de vérification de la diagnosticabilité du langage temporisé accepté par un automate hybride rectangulaire vérifiant les hypothèses considérées dans notre travail.

Download or read book Diagnostic Des Syst mes Dynamiques Hybrides written by Belkhiat-D and published by Omn.Univ.Europ.. This book was released on 2012 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Diagnostic base de mod les des syst mes temporis s et d une sous classe de syst mes dynamiques hybrides written by Haithem Derbel and published by . This book was released on 2009 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt: Notre travail de recherche concerne l'étude du diagnostic à base de modèles pour les systèmes temporisés et pour une sous-classe de systèmes dynamiques hybrides. Nous avons d'abord développé une méthode de diagnostic basée sur la compilation hors-ligne d'un diagnostiqueur à partir du modèle automate temporisé du système à diagnostiquer. Une méthode systématique permettant la vérification de la diagnosticabilité du modèle utilisé est ensuite donnée. Nous avons ensuite proposé une méthode de diagnostic pour une sous-classe de systèmes dynamiques hybrides modélisés par des automates hybrides rectangulaires. Cette méthode repose sur l'utilisation d'une procédure de diagnostic en-ligne qui estime l'état courant du système ainsi que les occurrences des défauts non-observables. Enfin, nous avons proposé une méthode de vérification de la diagnosticabilité du langage temporisé accepté par un automate hybride rectangulaire vérifiant les hypothèses considérées dans notre travail.

Download or read book M thodologies de diagnostic des syst mes dynamiques written by Sihem Kechida and published by Editions Universitaires Europeennes. This book was released on 2012 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: La problematique de surveillance couvre un domaine tres large et a fait l'objet de nombreux travaux de recherche. Deux communautes scientifiques differentes, a savoir (Systemes Continus: SC et Systemes a Evenements Discrets: SED), ont contribue au developpement des methodes de detection et localisation de defauts dont le but est de garantir une securite optimale des installations industrielles. Cependant, ces methodologies presentent certaines limitations puisque l'abstraction consideree ne tient compte que d'un aspect dynamique. Cela est particulierement vrai lorsque les systemes consideres sont a dynamique hybride. Dans beaucoup d'applications, plusieurs outils, avec differents niveaux d'abstraction, doivent etre conjointement utilises pour ameliorer les performances des approches de surveillance. Ce livre est consacre aux techniques de surveillance a base de modele utilisant le concept des indicateurs de residus. L'objectif est de presenter de nouveaux outils et methodes de surveillance pour les systemes complexes. Outre les notions relatives a l'aspect hybride. De nouvelles definitions et theories sont proposees pour la mise en uvre des procedures efficaces de diagnostic.

Download or read book Observation et diagnostic des syst mes hybrides written by Salim Chaib and published by . This book was released on 2007 with total page 135 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Diagnostic des syst mes dynamiques hybrides modes non lin aires written by Talel Zouari and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Commande de syst mes dynamiques hybrides written by Benoît Cébron and published by . This book was released on 2000 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un système dynamique est dit hybride (sdh) lorsque des variables discrètes et continues interagissent. Le développement de méthodes spécifiques de représentation, d'analyse et de commande s'impose pour prendre en compte la complexité de ces systèmes. Une classification des sdh est proposée en fonction des types de phénomènes hybrides considérés : commutations de modèle contrôlées ou autonomes, sauts du vecteur d'état contrôles ou autonomes. Des problèmes de commande sont ensuite poses et analyses pour chaque classe présentée. La recherche d'une commande optimale est posée comme un problème de minimisation d'un critère d'écart entre une trajectoire calculée et une trajectoire désirée. Une méthode de descente est appliquée dans chaque cas ; elle fait appel à l'expression du gradient du critère. Ce dernier est calculé à partir de la solution d'un système adjoint. On montre comment calculer ce système adjoint en adaptant aux cas considérés les principes généraux du calcul des variations. C'est ainsi qu'apparaissent des discontinuités sur l'état adjoint, dont on donne les expressions explicites. Ces discontinuités se retrouvent sur la commande calculée. La minimisation du critère est réalisée d'abord sans contraintes puis avec des contraintes de type borne sur la commande et sur sa dérivée, en mettant en œuvre la méthode d'uzawa. Le problème de commande par retour d'état est abordé pour les classes de sdh a commutations de modèle contrôlées et autonomes. Ceci conduit à la résolution d'équations de riccati. Chaque cas étudié est illustre par une mise en œuvre numérique qui permet de juger de l'efficacité de la méthode proposée, en termes de précision et de temps de calcul, et de conclure à la possibilité de commander des sdh par ces méthodes.

Download or read book Contribution l identification des syst mes dynamiques hybrides written by Laurent Bako and published by . This book was released on 2008 with total page 231 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Mod lisation et simulation des syst mes dynamiques hybrides affines par morceaux written by and published by . This book was released on 2009 with total page 98 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes hybrides affines par morceaux forment une classe importante et simple de systèmes dynamiques hybrides. Il s'agit d'un ensemble fini de sous-systèmes affines associés à une ou plusieurs lois de commutations qui définissent à chaque instant le système affine actif. Ces systèmes sont non linéaires et peuvent présenter une variété de phénomènes complexes liés à des bifurcations et au chaos. On s'intéresse à plusieurs exemples en électronique de puissance : des convertisseurs de type DC-DC. La modélisation de ces convertisseurs est donnée par des modèles classiques approchés ou discrétisés. Ces circuits peuvent également être analysés en utilisant des modèles hybrides. Le comportement des systèmes hybrides se base sur l'existence d'événements. La simulation qui est un outil simple d'analyse de ces systèmes demande un algorithme qui donne les dates exactes de commutations. Les techniques de détection qui existent se basent essentiellement sur des approximations et elles peuvent omettre certains événements et par suite générer des trajectoires qui divergent radicalement de la trajectoire réelle du système hybride simulé. Notre objectif à travers cette thèse, est de fournir un outil rapide et précis de simulation des systèmes hybrides plans affines par morceaux d'ordre 2. Notre approche semi-analytique utilise l'expression analytique des solutions et donne les instants de commutations des événements d'états et des événements temporels de type périodique. Notre algorithme est implémenté en une boîte à outil sous Scicos et sous Matlab.

Download or read book Mod lisation et diagnostic des syst mes written by Collectif and published by Omn.Univ.Europ.. This book was released on 2010 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les objectifs de cet ouvrage s'inscrivent dans le cadre de la ma trise des syst mes afin d'en optimiser l'exploitation, y compris en pr sence de d faillances internes ou externes. Il propose un ensemble de solutions pour la mod lisation et le diagnostic des syst mes non lin aires avec des entr es de commutation r elles ou fictives. Une repr sentation par multimod le est propos e pour appr hender l'ensemble des modes de fonctionnement. Pour les syst mes hybrides dont les entr es de commande sont discr tes le multimod le est pilot par la commutation des entr es gr ce un automate qui repr sente les changements d' tat discrets. Pour les syst mes non lin aires, des entr es discr tes fictives sont introduites pour remplacer les non lin arit s et l'automate associ est d velopp . Les multimod les obtenus sont exploit s pour am liorer les performances des algorithmes de diagnostic bas s sur l'espace de parit . Des r sultats sont propos s pour la localisation des d fauts en exploitant notamment l'amplitude de ces derniers. Finalement, ces diff rentes m thodes sont appliqu es sur la vanne d'admission d'air du moteur thermique essence.

Download or read book MODELISATION ET ANALYSE DU COMPORTEMENT DYNAMIQUE DES SYSTEMES HYBRIDES written by Antonio Favela Contreras and published by . This book was released on 1999 with total page 162 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Surveillance des syst mes dynamiques hybrides written by and published by . This book was released on 2007 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ces travaux présentent une méthodologie de détection et localisation de défauts pour la surveillance des Systèmes Dynamiques Hybrides. La méthodologie développée repose sur une approche mixte qui combine une méthode à base de modèles pour la détection de fautes et une approche à partir de données de reconnaissance de formes pour l’indentification de la ou les faute(s). Elle se décompose en trois grandes étapes : 1)La première étape consiste en la reconstruction de l’état à partir d’un filtre de Kalman étendu et en la génération de résidus par comparaison de l’état reconstruit à celui obtenu par la simulation en parallèle du modèle de référence ; 2)La seconde étape réside dans l’exploitation des résidus générés précédemment pour la construction d’une structure plus complexe, les signatures (non binaires); 3)La troisième et dernière étape s’apparente à la résolution d’un problème de reconnaissance de formes dans lequel la signature générée est comparée à une matrice d’incidence (signatures de défauts théoriques) au sens d’une distance. Cette approche a été intégrée au sein de la plate-forme de simulation PrODHyS, au travers du développement du module PrODHySAEM. Son utilisation est illustrée par l’étude de problèmes de diagnostic dans le domaine des procédés

Download or read book Sur le comportement cyclique des syst mes dynamiques hybrides written by Omar Nour el Alaoui and published by . This book was released on 2002 with total page 149 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les Systèmes Dynamiques Hybrides sont des systèmes faisant intervenir explicitement et simultanément des dynamiques continues et discrètes. Dans ce cadre, nous nous intéressons à une sous-classe de SDH couplant explicitement des configurations discrètes et des équations algébro-différentielles dont la commande est événementielle et périodique. On trouve ce type de fonctionnement dans le cadre de procédés batch et de systèmes électrotechniques. Les travaux menés dans cette thèse ont pour objet d'étudier les convertisseurs statiques sous un aspect hybride, de manière à caractériser ses cycles de fonctionnement lorsque la commande est périodique. L'étude a conduit à examiner le problème selon deux aspects complémentaires que sont l'analyse et la synthèse. L'analyse doit permettre de déterminer la période du cycle de fonctionnement du convertisseur en connaissant a priori la période de la commande et les conditions initiales appliquées au convertisseur. La synthèse consiste à déterminer les caractéristiques de la commande quand le cycle de fonctionnement du convertisseur est imposé. Cette problématique a conduit dans un premier temps au développement d'une modélisation graphique à base de RdP hybrides qui a permis de caractériser des systèmes électrotechniques simples. Cependant cette approche ne s'applique qu'à certains types de convertisseurs car les RdP Hybrides sont limités à l'utilisation de variables d'état qui sont linéaires. Nous avons par conséquent orienté nos travaux vers une modélisation par Réseaux de Petri Mixtes. Afin de conserver tous les avantages de ce modèle et lui associer un cadre formel pour l'analyse et la synthèse

Download or read book Diagnostic des syst mes hybrides written by and published by . This book was released on 2007 with total page 138 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce travail s’inscrit dans le domaine du diagnostic des systèmes hybrides et est basé surl’utilisation d’un modèle. Il a pour objectif de diagnostiquer les fautes à partir de la connaissance structurelle, comportementale ou fonctionnelle du système en représentant ces connaissances (modèle du système) séparément de la connaissance sur la tâche de diagnostic. Les systèmes hybrides incluent à la fois des variables continues et discrètes. La dynamique continue est généralement fournie par des équations différentielles et algébriques alors que la partie discrète est modélisée par des automates ou des systèmes à transition. Le formalisme adopté dans ce travail pour modéliser ces systèmes s’appuie sur le modèle « Réseau de Petri Différentiel à Objet » (RdPDO) qui est intégré dans la plate forme de simulation PrODHyS (Process Object Dynamic Hybrid Simulator). Il possède l’avantage de prendre en compte le comportement hybride d'une part, en associant les variables continues aux jetons et d'autre part, en associant un système algébro-différentiel aux places permettant de faire évoluer les variables d'état continues. La méthodologie de diagnostic proposée s’effectue en deux étapes. La première étape consiste à détecter à l’aide d’une classification floue, des fautes qui présentent les mêmes symptômes - à partir d’une connaissance préalable des états de défaillance obtenue par apprentissage - afin de réduire les chemins ou les scénarios à explorer lors de la seconde phase. Cette dernière sert à diagnostiquer la faute parmi celles détectées à l’étape précédente en levant l’ambiguïté. Pour ce faire, deux raisonnements ont été suivis. Le premier, qualifié de raisonnement avant, consiste à former pour chaque faute incriminée, un critère d’écarts entre les mesures effectuées sur le système et celles émanant du modèle avec la faute simulée, sur une fenêtre temporelle et d’isoler ainsi la faute aboutissant au critère le plus faible. Le second raisonnement qualifié de raisonnement arrière, effectue des calculs similaires mais sur l’évolution temporelle passée du système par une simulation arrière effectuée avec PrODHys, offrant la possibilité supplémentaire par rapport au premier raisonnement de remonter à l’instant de la défaillance. La méthodologie développée est illustrée sur un système hydraulique souvent utilisé comme « benchmark ». Comme nous ne disposons pas d’un système réel, celui-ci est simulé à l’aide d’un modèle de simulation de type RdPDO qui cette fois-ci contient les états de défaillances et des différences (bruits, erreurs de modélisation) par rapport au modèle utilisé pour le diagnostic

Download or read book Diagnostic bases de mod les et maintenance des syst mes dynamiques variant dans le temps written by Renaud Pons and published by . This book was released on 2000 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Mod lisation et classification de comportements dynamiques des syst mes hybrides written by Khaled Boukharouba and published by . This book was released on 2011 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les travaux de cette thèse portent sur l'identification des systèmes dynamiques hybrides. Nous nous intéressons plus précisément à l'identification d'une classe particulière des systèmes hybrides qui est la classe des modèles dynamiques affines par morceaux (PWA). Nous faisons tout d'abord un état de l'art sur d'identification des modèles PWA. Nous proposons ensuite de nouvelles méthodes d'identification des modèles PWA basées sur des techniques innovantes de classification non supervisée combinées avec des techniques de régression pour grouper les données selon leurs sous-modèles respectifs. Puis nous procédons à l'estimation des régions de validité des sous-modèles. Nous proposons ensuite un algorithme récursif d'identification de modèles dynamiques affines par morceaux (PWA) et de modèles dynamiques non linéaires par morceaux dont les paramètres des sous-modèles et des régions peuvent varier dans le temps. Une technique de régression par des LS-SVM récursifs permettant l'adaptation des fonctions de régression est ainsi proposée. L'adaptation des paramètres des régions de validité est assurée par un nouvel algorithme de classification incrémentale et décrémentale multi-classe à vecteurs de support. La dernière partie de ce travail est consacrée à la validation de nos méthodes sur des exemples réels. Nous appliquons nos méthodes à l'identification d'un système hydraulique à surface libre puis à la modélisation d'une machine de montage de composants électroniques sur circuit imprimé. Nous montrons aussi comment la segmentation temporelle de vidéos en différentes scènes peut être effectuée en se basant sur une estimation de sous-modèles linéaires locaux.

Download or read book M thodologie de surveillance des syst mes dynamiques hybrides written by Touria El Mezyani and published by . This book was released on 2005 with total page 187 pages. Available in PDF, EPUB and Kindle. Book excerpt: De nombreux procédés industriels sont hybrides par nature, ce qui signifie que leur comportement résulte de l'évolution et de l'interaction de variables continues et de variables discrètes. Le comportement dynamique d'un système hybride peut être représenté par une succession de modes. Chaque mode est caractérisé par une modalité de l'état discret, un ensemble de contraintes de type égalité (équations d'état par exemple) et un domaine d'admissibilité ou invariant décrit par un ensemble d'inégalités. Une transition d'un mode vers un autre mode a lieu lorsque certaines conditions logiques sont vérifiées. Les transitions peuvent être provoquées par un événement externe contrôlé ou un événement interne directement lié à l'évolution continue. Le principe général de la surveillance : détection et localisation de défaillances, d'un système dynamique, consiste à comparer l'évolution en ligne du système avec les évolutions prédites à partir d'un modèle établi sous des hypothèses de fonctionnement normal et défaillant. Dans le cadre de ce travail, nous avons choisi le modèle automate hybride comme modèle de référence du SDH. Une classification des défaillances est proposée suivant que celles-ci se manifestent sur la dynamique continue et/ou sur la dynamique discrète. Sur cette base et à partir de l'automate hybride représentant toutes les évolutions physiquement possibles du système, des graphes de prédictions de fonctionnement normal GPFN et des graphes de prédictions de fonctionnement défaillant GPFD sont construits. Ces graphes, directement extraits de l'automate, permettent de représenter les trajectoires hybrides du système en fonctionnement normal et en présence de défaillances. Une méthodologie générale de surveillance est décrite sur la base de la classification des défaillances proposée et des graphes de prédiction. Des tests de cohérence sont effectués de telle sorte que les observations continues et discrètes prélevées en-ligne sur le système soient confrontées avec les évolutions décrites par les GPFN et les GPFD. Les résidus stmcturés, issus des Relations de Redondance Analytiques, sont classiquement utilisés pour la surveillance des systèmes continus. Leur utilisation est étendue pour identifier le mode de fonctionnement courant. Ceci nécessite d'introduire les notions de discernabilité et de similarité entre modes. La méthodologie de surveillance est appliquée sur l'exemple d'un système hydraulique constitué de deux réservoirs connectés.