Article de référence | Réf : S7105 v1

Modèles hybrides
Systèmes dynamiques hybrides - Modélisation et simulation

Auteur(s) : Michel BERTRAND, Claude IUNG, Janan ZAYTOON

Date de publication : 10 sept. 2004

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

Version en anglais En anglais

RÉSUMÉ

Entre les systèmes à comportement discret et les systèmes continus, on trouve les systèmes hybrides qui font appel aux deux modes de fonctionnement. Cet article précise cette notion de système dynamique hybride, puis présente quelques outils de description et de modélisation de ces outils. La modélisation permet de concevoir le système, mais également de détecter, de gérer et de commander d'éventuels dysfonctionnements.

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

Auteur(s)

  • Michel BERTRAND : Docteur-ingénieur, École nationale supérieure d’arts et métiers (ENSAM), Lille

  • Claude IUNG : Professeur, École nationale supérieure d’électricité et de mécanique (ENSEM), Nancy

  • Janan ZAYTOON : Professeur, université de Reims

INTRODUCTION

Le développement massif de l’automatisation au XXe siècle s’est longtemps fait suivant deux types de technologies, mises en œuvre selon des méthodologies qui leur étaient propres et par des personnels d’origine différente : les systèmes à événements discrets et les systèmes continus.

Les systèmes à événements discrets sont des systèmes à éléments caractérisés par deux états : ouvert ou fermé, marche ou arrêt, sorti ou rentré... L’appareillage « tout ou rien » (TOR) correspondant est classiquement géré en s’appuyant sur l’algèbre de Boole, issue des travaux des logiciens anglais du XIXe siècle, puis, en prenant en compte la chronologie des états, leur séquencement, par des méthodes états-transitions assorties d’une représentation graphique : graphes d’état, réseaux de Petri, Grafcet.

Quant aux systèmes continus, ils sont constitués d’éléments caractérisés par une mesure qui peut prendre une infinité de valeurs : température d’une pièce ou d’un objet, vitesse d’un mobile, niveau dans un réservoir... La gestion de ces systèmes fait appel à des outils mathématiques aptes à la représentation de la dynamique continue : équations différentielles assorties de diverses transformations (Laplace, Fourier...), méthodes d’état à forme matricielle.

Cette répartition en deux catégories de systèmes n’est pas parfaite, tant au niveau des problèmes traités – beaucoup d’ensembles industriels comportant des éléments des deux types – qu’à celui du matériel mis en œuvre. À titre d’exemple, les distributeurs et électrovannes appartiennent a priori au monde TOR, mais des distributeurs et des électrovannes proportionnels, qui ne diffèrent pas fondamentalement des premiers, sont utilisés dans le monde continu. De même, il n’est pas évident de classer un élément présentant dix valeurs possibles, par exemple, dans l’une de ces deux catégories de systèmes.

C’est toutefois la généralisation de l’outil informatique qui a rendu plus aigu le besoin de méthodes unificatrices, car l’ordinateur est devenu l’outil fondamental d’étude et le processeur numérique l’outil fondamental de commande, et ce pour les deux catégories précitées.

Il reste que les logiciels de simulation ne sont pas les mêmes, la spécialisation de processeurs en commande (automates programmables pour le TOR, régulateurs pour le continu) subsiste et, lorsqu’un même processeur et un même logiciel sont utilisés, le graphisme et le mode de programmation pour les parties discrète et continue peuvent néanmoins différer. Cette dichotomie se traduit par des problèmes de cohérence de la description, de lisibilité et un diagnostic difficile en cas d’apparition de défaut.

Outre son caractère d’outil commun aux systèmes discrets et continus, le processeur de commande, de par son fonctionnement interne, qui implique que l’acquisition des données et leur traitement ne peuvent s’effectuer simultanément, a amené à relativiser la notion de temps continu/temps discret. Le temps, qui est discret au niveau du processeur, est ainsi considéré continu dans la plupart des applications, au niveau de l’observation des grandeurs physiques à travers le processeur. Lorsque ce point de vue n’est pas acceptable, la théorie des systèmes échantillonnés est utilisée pour prendre en compte la quantification du temps, dans un univers de grandeurs acquises ou fixées à des instants particuliers.

Parallèlement aux progrès de l’informatique, les ingénieurs se sont attaqués à des problèmes de plus en plus complexes, par le nombre de grandeurs qui interviennent et par leurs interactions. On rencontre ainsi de nombreux cas où des événements, volontaires ou subis, ou l’atteinte d’un seuil entraînent des modifications du comportement de grandeurs continues : changement de valeur ou commutation d’un modèle continu à un autre.

Il devient ainsi nécessaire de mettre au point des méthodes capables de prendre en compte tous les types de grandeurs ainsi que leurs interactions. On appelle systèmes dynamiques hybrides (SDH), ou encore processus mixtes, des systèmes comportant des évolutions continues et des phénomènes discrets qui leur sont liés. Il n’existe pas pour l’instant de théorie globale pour l’étude de ces systèmes, mais plutôt des approches basées sur l’extension de méthodes classiques issues des systèmes continus ou discrets, en vue de couvrir une gamme plus étendue d’applications.

Après avoir fixé la notion de système hybride par quelques exemples, qui serviront aussi à préciser la typologie, nous examinons les outils de description et de modélisation des SDH. Le fait de disposer d’un modèle permet de simuler le comportement du SDH pour le prévoir, l’influencer et chercher à l’optimiser. Il permet aussi, sous certaines conditions, de l’analyser pour détecter a priori d’éventuels dysfonctionnements et/ou d’en faire la commande pour obtenir les performances souhaitées.

Cet article est réservé aux abonnés.
Il vous reste 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v1-s7105


Cet article fait partie de l’offre

Automatique et ingénierie système

(137 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Présentation
Version en anglais En anglais

2. Modèles hybrides

Le modèle est la traduction du comportement dynamique du système physique en une représentation abstraite. C’est une étape nécessaire à toute étude qui ne se réduit pas à l’expérimentation. Sa qualité, en termes de fidélité à la réalité, mais aussi sa lisibilité et ses possibilités d’utilisation, sont essentielles.

2.1 Bases de la représentation

Nous avons déjà signalé la dichotomie continu/discret et ses conséquences méthodologiques. Pour permettre une représentation plus homogène de ces deux types de systèmes, dans le cadre d’une approche SDH, on peut :

  • étendre les approches continues pour intégrer du comportement discret (cas des bond-graphs à commutation par exemple) ou étendre des approches discrètes classiques pour inclure du comportement continu (cas des réseaux de Petri hybrides par exemple) ;

  • combiner les approches discrètes et continues dans une même représentation (automates hybrides, statecharts hybrides, Grafcet hybride), la structuration se faisant à partir du discret, dans la plupart des problèmes industriels 1.3 ;

  • développer une représentation unifiante en utilisant, par exemple, les sous-ensembles flous, où toutes les variables appartiennent à un intervalle [0, 1] dont les variables discrètes n’utilisent que les bornes (voir l’article Introduction à la logique floue) ou la théorie du signal hyperfini (TSH), où ces mêmes variables sont les éléments d’un ensemble de cardinal 2N, assorti...

Cet article est réservé aux abonnés.
Il vous reste 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Automatique et ingénierie système

(137 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Modèles hybrides
Sommaire
Sommaire

BIBLIOGRAPHIE

  • (1) - ZAYTOON (J.) (éd.) -   Les Systèmes Dynamiques Hybrides  -  . 3e Conférence Internationale sur l’Automatisation des Processus Mixtes ADPM’98, Reims (19-20 mars 1998).

  • (2) - FRACHET (J.P.) -   The Hyperfinite Signal : a new concept for modelling dynamic systems  -  . Computing Anticipatory Systems (Casys’97), Liège, Belgique, éd. D. Dubois (août 1997).

  • (3) - LE BAIL (J.), ALLA (H.), DAVID (R.) -   Réseaux de Petri hybrides  -  . Technique et science informatiques, 11, no 5, 95-120 (1992).

  • (4) - ALLA (H.), coll -   Les systèmes de production par lot : une approche discret-continu utilisant les réseaux de Petri hybrides  -  . ADPM’92, Paris (janv. 1992).

  • (5) - HAREL (D.) -   Statecharts : a visual formalism for complex systems  -  . J. of Science of Computer Programming, 8, no 1, 231-274 (1987).

  • (6)...

NORMES

  • Batch Control Part 1 : Models and Terminology - ANSI/ISA-88. 01-1995 -

  • Batch Control Part 2 : Data Structures and Guidelines for Languages - ANSI/ISA-88.00. 02-2001 -

  • Batch Control Part 3 : General and Site Recipe Models and Representation - ANSI/ISA-88.00. 03-2003 -

1 Logiciels

(liste non exhaustive)

Statemate : ce logiciel permettant la simulation des statecharts a été développé par D. Harel, le créateur de cet outil, et son équipe. Il inclut aussi un autre type de graphe, les activitycharts, et permet la réalisation d’interfaces homme-machine de type industriel, avec boutons poussoirs et voyants.

Stateflow : c’est un module du logiciel Matlab/Simulink ; il bénéficie donc des auxiliaires (bibliothèque de fonctions, etc.) disponibles dans cet environnement très répandu. Il simule le fonctionnement d’un statechart discret, et peut traduire le fonctionnement hybride par liaison avec le modèle de la partie continue sous Simulink. Si la commande a été intégrée dans la simulation, elle peut être traduite en exécutable temps réel.

Sirphyco : ce logiciel permettant la modélisation et la simulation de plusieurs variants des réseaux de Petri hybrides a été développé au laboratoire d’automatique de Grenoble.

YAHMST (Yet another Hybrid Simulation Tool) a été développé au laboratoire d’automatique de Grenoble et appliqué au cas d’un processus batch (cf. § 1.1.3) complexe. Il est implanté à l’aide du langage orienté objet Java et permet la structuration hiérarchique du modèle. Basé sur l’association à un mode discret d’un jeu d’équations continues, il intègre au solveur un détecteur d’événements, facilitant le calcul des instants de commutation, et une analyse des équations permettant souvent une simplification de la représentation.

UML (Unified Modeling Language) (voir l’article [H 3 238]) : il s’agit d’une notation permettant...

Cet article est réservé aux abonnés.
Il vous reste 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Automatique et ingénierie système

(137 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS