(trad auto)Un modèle hybride peut être considéré comme un ensemble d'équations algébriques différentielles (DAE) avec un ensemble de commutateurs ou comme un système d'événements discrets (DES) où des DAE sont attribués à chaque état discret. La première forme, que nous appellerons""Switched-DAEs"", est pratique pour la simulation et l'analyse physique. Il peut être basé sur une approche de port de puissance comme les graphiques d'obligation. La seconde forme, l'automate hybride, permet une analyse abstraite et une évaluation de la complexité en matière de supervision du système. La supervision nécessite aussi souvent de traiter des informations qualitatives, comme des connaissances insérées dans le modèle, et des informations générées vers une Interface Homme-Machine (IHM). Nous considérons ici le cas où des informations qualitatives sont ajoutées sur les EDP commutées avec des intervalles étiquetés définis sur les variables continues. Nous avons également choisi le formalisme automate hybride pour un modèle orienté supervision. Il est calculé à partir d'un système original Switched-DAEs. Nous discutons ici la sémantique des transitions discrètes pour l'automate, et dans quelles conditions l'automate discret est une abstraction appropriée de la dynamique du système hybride.