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

Conclusion
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 93% à 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

(138 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

5. Conclusion

Les systèmes dynamiques hybrides concernent de nombreux secteurs de l’industrie, mais aussi des transports, voire d’autres activités humaines. Un SDH est un système comportant une partie à évolution continue dans le temps et une partie à évolution événementielle. Même si la présentation des SDH à travers cet article ne prétend pas à l’exhaustivité, elle a montré que le domaine des systèmes hybrides est un domaine large et ouvert. De par sa nature, il s’imprègne des résultats issus de l’automatique des systèmes continus et de celle des systèmes à événements discrets mais aussi de l’informatique, pour étudier les solutions à des problèmes liés à la complexité des systèmes à commander ou à modéliser. L’application de la théorie des SDH aux outils et moyens de conduite opérationnels disponibles dans le monde industriel permettra d’améliorer la sûreté, les performances et les techniques de développement de systèmes réels.

Ainsi, plusieurs approches ont été développées pour la modélisation, l’analyse et la synthèse des SDH. De manière générale, ces approches se distinguent par l’importance qu’elles accordent à la dynamique continue ou événementielle des SDH, et par les domaines d’application visés.

Parmi les différents domaines d’étude des SDH, la modélisation est celui où il existe la plus importante littérature, car il est relativement aisé de formaliser toutes sortes de structures de modèles hybrides. Cependant, le choix d’un cadre global de développement de SDH implique un compromis entre deux critères conflictuels qui sont : la puissance de modélisation et la puissance de décision. Ainsi, les modèles basés sur des extensions des techniques de modélisation issues des systèmes continus ou des systèmes à événements discrets procurent, généralement, de bonnes propriétés en vue de l’analyse et de la synthèse de commande. En revanche, il est difficile d’associer des méthodes formelles performantes d’analyse et de synthèse à des modèles mixtes ayant pour vocation de représenter une large classe des SDH. Aussi, la technique majeure de validation des modèles hybrides complexes reste, à l’heure actuelle, la simulation. En effet, plusieurs méthodes/outils de simulation ont été développés...

Cet article est réservé aux abonnés.
Il vous reste 92% à 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

(138 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
Conclusion
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 94% à 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

(138 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