EBookClubs

Read Books & Download eBooks Full Online

EBookClubs

Read Books & Download eBooks Full Online

Book FORMALISME DE MODELISATION DES SYSTEMES DYNAMIQUES HYBRIDES

Download or read book FORMALISME DE MODELISATION DES SYSTEMES DYNAMIQUES HYBRIDES written by RACHID.. DJENIDI and published by . This book was released on 2001 with total page 235 pages. Available in PDF, EPUB and Kindle. Book excerpt: SCICOS EST UNE BOITE A OUTILS DU LOGICIEL LIBRE DE CALCUL SCIENTIFIQUE SCILAB, DEDIEE A LA MODELISATION ET LA SIMULATION DE SYSTEMES DYNAMIQUES. CES SYSTEMES, REPRESENTES SOUS FORME DE SCHEMA-BLOCS, PEUVENT ETRE POTENTIELLEMENT CONSTITUES D'ELEMENTS DE NATURES DIFFERENTES : CONTINU, DISCRET, EVENEMENTIEL. DE TELS SYSTEMES SONT APPELES : LES SYSTEMES DYNAMIQUES HYBRIDES. L'EXEMPLE LE PLUS CLASSIQUE DE CES SYSTEMES EST UN MODELE D'ENVIRONNEMENT CONTINU, COMMANDE PAR UN CONTROLEUR DISCRET. NOUS COMMENCONS ICI PAR LA PRESENTATION D'UN FORMALISME COMPLET DE MODELISATION DES SYSTEMES DYNAMIQUES HYBRIDES, A TRAVERS UNE ETUDE EXHAUSTIVE DU FONCTIONNEMENT INTERNE DE SCICOS. ENSUITE, NOUS PRESENTONS TROIS NOUVELLES CONTRIBUTIONS : 1. LA GENERATION AUTOMATIQUE DE CODE QUI CONSISTE A GENERER L'ALGORITHME SPECIFIQUE A UNE PARTIE D'UN SYSTEME DYNAMIQUE, INDEPENDEMMENT DU FONCTIONNEMENT DE L'ENSEMBLE. L'ALGORITHME AINSI OBTENU EST GENERE SOUS LA FORME D'UN CODE C, UTILISABLE AUSSI BIEN : _ POUR AMELIORER LES PERFORMANCES DE LA SIMULATION, EN REMPLACANT UN SOUS-ENSEMBLE DE BLOCS, PAR UN SEUL BLOC. _ QUE POUR UNE IMPLANTATION SUR UNE ARCHITECTURE MATERIELLE. 2. L'OUTIL CHECK, QUI PERMET LA DETECTION D'EVENTUELLES SITUATIONS D'INDETERMINISME DANS LES SCHEMA-BLOCS SCICOS. 3. L'INTERFACE SCICOS-SYNDEX QUI PERMET DE TRANSFERER LA DESCRIPTION D'UN SYSTEME DYNAMIQUE DE SCICOS VERS SYNDEX.

Book Mod  lisation et simulation des syst  mes dynamiques hybrides

Download or read book Mod lisation et simulation des syst mes dynamiques hybrides written by Azzedine Azil and published by . This book was released on 2005 with total page 185 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous présentons dans cette thèse une méthodologie pour la modélisation et la simulation de ces systèmes dynamiques hybrides. Le principal objectif de cette modélisation est la simulation du système complet, i.e. de l'environnement avec son système de commande, de façon à répondre aux besoins du monde industriel comme par exemple la validation des lois de commandes.Notre principale contribution est l'extension du formalisme Scicos dans l'objectif d'avoir un formalisme mathèmatique bien défini qui permettera la modélisation et la simulation d'une large classe des systèmes dynamiques hybrides. Nous avons ensuite implémenté ce formalisme dans une sémantique de compilation bien claire, où nous avons développé les différents aspects et règles de la compilation afin d'obtenir un compilateur Scicos robuste et mieux adapté aux applications temps-réel. Ce nouveau compilateur génère un modèle récursif où toutes les activations sont synchrones. Il est cependant indispensable d'adapter le simulateur d'une manière récursive. La mise en oeuvre de la simulation est détaillée par l'analyse et l'adaptation des différentes fonctions astreintes à son exécution et à la gestion dans son évolution.Enfin, nous nous sommes intéressés à la génération automatique de code où nous avons proposé une nouvelle contribution qui offre la possibilité d'obtenir le code caractérisant l'algorithme de description du fonctionnement de n'importe quelle partie (discrète, continue et hybride) d'un schéma-bloc. En général ce code est utilisé soit pour l'accélération de la simulation Scicos (en remplaçant un super-bloc entier par un bloc standard) soit dans les applications temps réel embarquées.

Book Mod  lisation et simulation      venements discrets de syst  mes hybrides

Download or read book Mod lisation et simulation venements discrets de syst mes hybrides written by Bruno Escude and published by . This book was released on 2000 with total page 189 pages. Available in PDF, EPUB and Kindle. Book excerpt: LA PLUPART DES TRAVAUX CONCERNANT LA MODELISATION ET LA SIMULATION DES SYSTEMES DYNAMIQUES HYBRIDES TRAITENT L'ASPECT CONTINU ET DISCRET COMME DEUX ENTITES DISTINCTES. DANS CETTE THESE, NOUS UTILISONS UN PARADIGME DE SPECIFICATION UNIQUE POUR L'ETUDE DES SYSTEMES DYNAMIQUES HYBRIDES. NOUS MONTRONS COMMENT CONSTRUIRE UNE SPECIFICATION A EVENEMENTS DISCRETS D'UN SYSTEME DYNAMIQUE SANS IMPOSER LA CONTRAINTE CLASSIQUE SUR LES TRAJECTOIRES D'ENTREES-SORTIES. EN EFFET, LES ABSTRACTIONS A EVENEMENTS DISCRETS DE SYSTEMES DYNAMIQUES IMPOSENT QUE LES TRAJECTOIRES D'ENTREES-SORTIES SONT CONSTANTES PAR MORCEAUX. NOUS AVONS GENERALISE CE TYPE D'ABSTRACTION A TOUTE TRAJECTOIRE POLYNOMIALE CONTINUE PAR MORCEAUX. NOUS DEFINISSONS ALORS UN EVENEMENT COMME UNE VARIATION D'AU MOINS UN DES COEFFICIENTS DU POLYNOME ET L'ORDRE D'UN EVENEMENT COMME LE DEGRE MAXIMUM DU POLYNOME. POUR LES MODELES COMPOSITES, ENCORE APPELES MODELES STRUCTURELS, LA COMMUNICATION ENTRE LES COMPOSANTS S'EFFECTUE PAR L'INTERMEDIAIRE DE PORTS D'ENTREE-SORTIE. NOUS AVONS ETENDU LE CONCEPT DE PORT EN AJOUTANT LA NOTION D'ORDRE (ORDRE DE L'EVENEMENT QUI PEUT ETRE ACCEPTE SUR CE PORT). LE PROBLEME POSE ENSUITE EST DE FAIRE COMMUNIQUER DEUX MODELES POSSEDANT DES PORTS D'ORDRE DIFFERENT AFIN DE SIMULER UN MODELE COMPOSITE. POUR CELA, NOUS UTILISONS DES MODELES DE COUPLAGE QUI EFFECTUENT LA TRANSFORMATION D'UNE TRAJECTOIRE POLYNOMIALE PAR MORCEAUX D'ORDRE N EN UNE SEQUENCE DE TRAJECTOIRES POLYNOMIALES PAR MORCEAUX D'ORDRE M (N ET M ETANT L'ORDRE DES PORTS INTERCONNECTES). CES EXTENSIONS CONTRIBUENT A GENERALISER LE FORMALISME DEVS TOUT EN CONSERVANT TOUS CES AVANTAGES (MODELES HIERARCHIQUES, REUTILISABILITE, RAPIDITE, ETC.). CE MEMOIRE ILLUSTRE CETTE THEORIE AU TRAVERS DE NOMBREUX EXEMPLES, MODELISES ET SIMULES GRACE A UNE PLATEFORME LOGICIELLE DEVELOPPEE A CET EFFET.

Book Syst  mes dynamiques hybrides

Download or read book Syst mes dynamiques hybrides written by and published by Ed. Techniques Ingénieur. This book was released on with total page 12 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Repr  sentation des syst  mes hybrides complexes par flux de donn  es

Download or read book Repr sentation des syst mes hybrides complexes par flux de donn es written by Luc Thévenon and published by . This book was released on 2000 with total page 130 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE PRESENTE UNE NOUVELLE APPROCHE POUR LA REPRESENTATION DES SYSTEMES DYNAMIQUES HYBRIDES COMPLEXES, I.E. DES SYSTEMES A DYNAMIQUE CONTINUE ET DISCRETE COMPOSES DE NOMBREUSES ENTITES EN INTERACTION, AINSI QU'UN OUTIL POUR LA MANIPULATION DES MODELES ET LEUR SIMULATION. CETTE APPROCHE EST BASEE SUR UN FORMALISME A FLUX DE DONNEES POUR LA REPRESENTATION MODULAIRE DE CES SYSTEMES. L'IDEE PRINCIPALE EST DE DEFINIR UN FORMALISME DE DESCRIPTION MODULAIRE ET DECLARATIF, PLUTOT QU'UN LANGAGE DE SIMULATION IMPERATIF BASE SUR DES INSTRUCTIONS INFORMATIQUES. CE FORMALISME EST BASE SUR L'INTERACTION DE BLOCS DE MODELE DEFINIS PAR UN ENSEMBLE DE RELATIONS ET DE SIGNAUX A-CAUSAUX QUI PERMETTENT DE DECRIRE UNE DYNAMIQUE HYBRIDE. LA COMPLEXITE DU SYSTEME EST AINSI DIVISEE EN PLUSIEURS ENTITES PLUS PETITES ET PLUS SIMPLES QUI PEUVENT ETRE CONSTRUITES, MODIFIEES OU REUTILISEES INDEPENDAMMENT. NOTRE PRINCIPALE CONTRIBUTION A ETE DE FORMALISER UN MOYEN EFFICACE DE REPRESENTER CES BLOCS DE MODELE ET LEURS INTERACTIONS. NOUS AVONS PRINCIPALEMENT UTILISE CETTE APPROCHE POUR LA SIMULATION DU COMPORTEMENT DU SYSTEME EN BOUCLE FERMEE, I.E. DU PROCEDE AVEC SON SYSTEME DE COMMANDE, DE FACON A REPONDRE A DE NOUVEAUX BESOINS COMME PAR EXEMPLE LA VALIDATION DU LOGICIEL DE COMMANDE. NOUS AVONS ENSUITE MIS EN UVRE UNE PROCEDURE DE COMPILATION DU MODELE SOUS UNE FORME ADAPTEE A LA SIMULATION NUMERIQUE, EN ANALYSANT SYMBOLIQUEMENT LA STRUCTURE CAUSALE DU MODELE, ET EN GENERANT DES MODELES LOCAUX POUR CHAQUE CONFIGURATION DU SYSTEME PHYSIQUE. ENFIN, DES METHODES NUMERIQUES DE SIMULATION DES SYSTEMES DYNAMIQUES HYBRIDES ONT EGALEMENT ETE MISES EN UVRE. AFIN D'ILLUSTRER SES CAPACITES DE MODELISATION ET DE SIMULATION, L'OUTIL A ETE VALIDE SUR DIFFERENTS

Book Mod  lisation et commande des syst  mes dynamiques hybrides

Download or read book Mod lisation et commande des syst mes dynamiques hybrides written by Martin Carlos Vera Estrada and published by . This book was released on 2000 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Mod  lisation et simulation des syst  mes dynamiques hybrides continus  discrets et   venementiels

Download or read book Mod lisation et simulation des syst mes dynamiques hybrides continus discrets et venementiels written by Mohammed Teggar and published by . This book was released on 1996 with total page 131 pages. Available in PDF, EPUB and Kindle. Book excerpt: De nouveaux concepts et techniques de modélisation et de simulation ont été introduits ces dernières années. Une des caractéristiques essentielles de ces concepts, est l'utilisation de formalismes fondés sur des notions mathématiques. En effet, un grand pas a été accompli dans ce sens concernant notamment la modélisation des systèmes à évènements discrets. Cependant, de nombreux systèmes combinent des fonctionnements de types continus, discrets et évènementiels. L'entreprise de modélisation et de simulation de ces systèmes reste difficile du fait de la complexité d'interaction entre les trois modes de fonctionnement. Notre contribution, en l'absence d'un outils de simulation adapte à ce type de systèmes est : 1- de proposer une approche de modélisation dont l'objectif est d'utiliser une structure formelle unique pour la spécification des systèmes dont les états évoluent de façon continue, discrète et sur l'occurrence d'évènements 2- d'implémenter une stratégie de simulation basée sur la théorie des systèmes en utilisant les concepts de l'oriente objet. La stratégie de simulation est conçue de façon à permettre une description modulaire et hiérarchique du modèle. 3- de synchroniser les interactions entre la partie continue et la partie discrète du simulateur en introduisant le concept de temps logique dans les mécanismes de synchronisation par messages.

Book Mod  lisation et simulation des syst  mes dynamiques hybrides affines par morceaux

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.

Book MODELISATION ET ANALYSE DU COMPORTEMENT DYNAMIQUE DES SYSTEMES HYBRIDES

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.

Book Contribution    l identification des syst  mes dynamiques hybrides

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.

Book Contribution    la mod  lisation et    l   analyse des syst  mes dynamiques hybrides

Download or read book Contribution la mod lisation et l analyse des syst mes dynamiques hybrides written by Hicham Hihi and published by . This book was released on 2008 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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

Book Syst  mes dynamiques hybrides   Mod  lisation et simulation

Download or read book Syst mes dynamiques hybrides Mod lisation et simulation written by Bertrand and published by . This book was released on with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Mod  lisation  observation et commande de syst  mes dynamiques hybrides

Download or read book Mod lisation observation et commande de syst mes dynamiques hybrides written by Mehdi Gati and published by . This book was released on 2006 with total page 188 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans cette thèse, on s'est intéressé à la modélisation et à la commande de systèmes dynamiques hybrides. Plus particulièrement, nous nous sommes intéressés à deux phénomènes, les à coups d'accélération longitudinale du véhicule en rapport engagé et la combustion homogène.Les à-coups d'accélération sont les variations brusques de l'accélération véhicule engendrées par une forte variation du couple moteur. Pour la compensation des à-coups, nous avons développé un modèle de chaîne cinématique d'un véhicule dans lequel nous avons intégré tous les éléments mécaniques contribuant à l'apparition du phénomène. Le modèle de chaîne développé est un modèle dynamique affine par morceaux à cause des jeux présent dans le système. Nous avons appliqué une commande prédictive qui tient compte des non linéarités de ce système, et nous avons comparé ses performances avec une commande linéaire classique. Nous avons aussi appliqué les techniques d'estimation d'état que nous avons développées dans la partie théorique de la thèse. Le deuxième phénomène étudié était la combustion homogène. Avec cetype de combustion, l'élévation de la température des gaz à l'intérieur de la chambre de combustion présente un comportement hybride. Dans cette thèse nous présentons un modèle réduit de combustion homogène que nous avons validé grâce à des essais réalisés sur banc moteur. De ce modèle nous avons dérivé un second modèle, hybride, qui présente l'avantage d'être simple à calibrer et qui se prête bien pour des problématiques de commande et/ou d'estimation d'état.

Book Introduction    la Commande des Syst  mes Dynamiques Hybrides

Download or read book Introduction la Commande des Syst mes Dynamiques Hybrides written by Bilal Tolbi and published by Univ Europeenne. This book was released on 2016-07-05 with total page 132 pages. Available in PDF, EPUB and Kindle. Book excerpt: Notre projet se situe dans ce contexte, elle est dediee a la technique de commande multimodele globale basee sur les commandes par retour d'etat reconstruit par des observateurs. Notre demarche consiste a realiser une passerelle entre les techniques de commande des systemes continus et des systemes a evenements discrets. L'etude est orientee dans premier temps aux methodes de representation et modelisation en aspect continu, passant par la suite sur les deferents outils de conception d'une commande. L'algorithme de commande presente repose sur une description par l'automate hybride. Le cas evenementiel est ensuite traite en espace d'etat. Le principe s'appuie sur la combinaison des commandes par retour d'etat reconstruit par des observateurs pour les modeles hybrides, obtenant a la fin une commande globale capable de gerer l'aspect continu et evenementiel en meme temps, et satisfaire le cahier de charge selon les parametres desires.

Book Une approche orient  e objet dans la simulation des syst  mes dynamiques semi continus

Download or read book Une approche orient e objet dans la simulation des syst mes dynamiques semi continus written by SIRIKI.. TRAORE and published by . This book was released on 1994 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: LE TRAVAIL PRESENTE ICI CONCERNE LA SIMULATION DES SYSTEMES HYBRIDES. IL S'AGIT PRINCIPALEMENT D'ETUDIER LA FAISABILITE D'UNE APPROCHE ORIENTEE OBJET A TRAVERS: 1) UNE REVUE DE L'ETAT DE L'ART, 2) UNE ETUDE APPROFONDIE DES DIFFERENTS PROBLEMES QUI SE POSENT DANS CETTE APPROCHE, 3) UNE PROPOSITION DE REALISATION, BASEE SUR UNE MAQUETTE COMPOSEE D'UN INTERPRETEUR DE DIALOGUE ORIENTE OBJET, RELIE AU SOLVEUR SIRENA. LA PREMIERE PARTIE EXPLICITE LA NOTION DE SYSTEMES DYNAMIQUES SEMI-CONTINUS EN REPLACANT CES SYSTEMES DANS LE CONTEXTE DES MODELES HABITUELLEMENT MANIPULES PAR LES AUTOMATICIENS (EQUATIONS DIFFERENTIELLES, TRANSFORMEES DE LAPLACE OU EN Z, GRAPHES D'ETAT, RESEAUX DE PETRI OU GRAFCET). LA SECONDE PARTIE ABORDE LES PROBLEMES DE FOND QU'IL EST NECESSAIRE DE RESOUDRE POUR ATTEINDRE L'OBJECTIF FIXE, A SAVOIR: 1) LES PROBLEMES DE STRUCTURATION DU MODELE DANS L'APPROCHE OBJET, 2) LES PROBLEMES LIES A L'ASPECT HYBRIDE ET EN PARTICULIER AUX CHANGEMENTS DE STRUCTURE DU MODELE CONTINU, INDUITS PAR L'EVOLUTION DE LA PARTIE DISCRETE. ON S'INTERESSE ALORS AUX PROBLEMES DE CAUSALITE ET AU CALCUL DES CONDITIONS INITIALES. LA REPRESENTATION PAR BOND GRAPH UTILISEE POUR SERVIR DE BASE AU RAISONNEMENT PERMET DE PROPOSER DES SOLUTIONS. LA TROISIEME PARTIE PRESENTE LA PARTIE APPLICATIVE, D'UNE PART A TRAVERS UNE LARGE ETUDE DES ALGORITHMES UTILISES DANS LES SOLVEURS EXISTANT ET D'AUTRE PART A TRAVERS LA PRESENTATION DE L'OUTIL PROPOSE ET DE SON APPLICATION

Book Noyau num  rique orient   objet d  di      la simulations des syst  mes dynamiques hybrides

Download or read book Noyau num rique orient objet d di la simulations des syst mes dynamiques hybrides written by Alain Sargousse and published by . This book was released on 1999 with total page 207 pages. Available in PDF, EPUB and Kindle. Book excerpt: LES TRAVAUX PRESENTES S'INSCRIVENT DANS LE CADRE D'UNE CONTRIBUTION A LA SIMULATION DYNAMIQUE DES PROCEDES OU DES SYSTEMES HYBRIDES SELON UNE APPROCHE ORIENTEE OBJET. DANS UN PREMIER TEMPS, LES CONCEPTS DE BASE RELATIFS A LA SIMULATION DYNAMIQUE DES PROCEDES CONTINUS A EVENEMENTS DISCRETS ET A LA SIMULATION DYNAMIQUE DES PROCEDES DISCONTINUS SERONT PASSES EN REVUE. LA PROPOSITION D'UNE ARCHITECTURE ORIENTEE OBJET POUR L'ASPECT CONTINU SERA DETAILLEE : ELLE REPOSE EN OUTRE SUR UN NOYAU NUMERIQUE STRUCTURE AUTOUR DE L'ENCAPSULATION D'UN SOLVEUR GENERAL DE TRAITEMENT D'EQUATIONS DIFFERENTIELLES ET ALGEBRIQUES (E.D.A.), ECRIT EN FORTRAN 77. DANS LE CADRE DE CES TRAVAUX, CELUI-CI S'EST VU DOTE DE NOUVELLES FONCTIONNALITES (TRAITEMENT DE MATRICES CREUSES POUR DES SYSTEMES DE GRANDE TAILLE,). DANS UNE DEUXIEME PARTIE, L'ASPECT HYBRIDE AINSI QUE LES PROBLEMES DELICATS RELATIFS AUX INTERFACAGES (FONCTIONS DE SENSIBILISATION, FONCTIONS DE JONCTION) ENTRE LE MONDE CONTINU (SOLVEUR NUMERIQUE, E.D.A., MODELES, DETECTION D'EVENEMENTS) ET LE MONDE DISCRET (GESTION DES EVENEMENTS, GESTION DE TRANSITIONS, FORMALISMES DU DISCRET (AUTOMATES, MACHINES A ETATS, RESEAUX DE PETRI, )) SERONT PLUS PARTICULIEREMENT ABORDES EN EXPLICITANT LES DIFFICULTES ET EN DETAILLANT LES SOLUTIONS PROPOSEES. L'APPROCHE RETENUE REPOSE SUR UNE ARCHITECTURE ORIENTEE OBJET PERMETTANT LA SYMBIOSE ENTRE LE SOLVEUR CONTINU E.D.A., PRESENTANT UNE TECHNIQUE DE DETECTION DES EVENEMENTS ET DE CALCUL DE CONDITIONS INITIALES COHERENTES EFFICACE ET FIABLE ET UN SOLVEUR DISCRET BASE SUR UNE APPROCHE PAR MACHINES A ETATS HYBRIDES A STRUCTURE RECURSIVE. LA FIABILITE DE L'ENVIRONNEMENT DE SIMULATION DYNAMIQUE HYBRIDE SERA ILLUSTREE AU TRAVERS D'EXEMPLES CHOISIS POUR LEUR DEGRE D'HYBRIDITE (DEGRES D'INTERCONNEXION ENTRE LES MODES CONTINU ET DISCRET). IL A ETE CONSTRUIT DANS LA MOUVANCE DE LA PHILOSOPHIE DES PROJETS EUROPEENS BRITE-EURAM CAPE-OPEN/GLOBAL CAPE-OPEN.