Letteratura scientifica selezionata sul tema "Systèmes port-Hamiltoniens"

L’Objectif de cette thèse est de développeré une théorie de l’identification spécifique pour les systèmes Hamiltonien à ports. Les raisons principales pour motiver cette théorie résident dans les propriétés remarquables de ces systèmes, notamment leur structure de Dirac et sa stabilité par interconnexion conservative de puissance (e.g. parallèle, séries ou feedback). Dans la première partie, les systèmes Hamiltoniens sont analysés en ce qui concerne leur identifiabilité structurelle, par par analyse de leur observabilité/commandabilité, par tests directs, par l’analyse en série de puissance de leur fonction de transfert ou par une nouvelle approche énergétique d’analyse d’une identifiabilité spécifique associée à un port. Dans la partie suivante, des modèles de perturbation par port d’interaction sont introduits et permettent l’analyse de l’identifiabilité « pratique » des systèmes hamiltoniens à ports. Le quatrième chapitre présente des schémas de discrétisation en temps qui préserve les bilans de puissance et d’énergie et leur application sur des exemples de système hamiltoniens à ports linéaires et non linéaires. L’erreur de discrétisation est analysée en introduisant la notion de représentation hamiltonienne de l’erreur de discrétisation. Dans la dernière partie de cette thèse, une approche d’identification dans l’espace d’état est développée pour les systèmes obtenus par discrétisation symplectique des systèmes hamiltoniens à ports. Les cas déterministe est analysé et une approche énergétique basée sur les résultats d’identifiabilité structurelle développé dans la première partie est proposée. Enfin, dans la dernière partie, les contributions du travail sont rappelées et quelques perspectives pour des travaux futurs sont présentées<br>The objective of this thesis is to develop a specific identification theory for Port Controlled Hamiltonian (PCH) systems. The main reasons to develop this theory comes from their remarkable properties like power conservation and stability under power preserving interconnection (e.g. parallel, series or feedback interconnections). In a first part PCH systems are analysed for structural identifiability using some classical or new techniques: observability/controllability identifiability, direct test, power series expansion or a new power energy approach, defining also a new concept of port identifiability. Further it is proposed a perturbation model by means of the interaction port together with a practical identifiability analysis realized using the controllability and observability concepts. The fourth part presents a new framework for time-discretization of PCH systems in the nonlinear or linear case, by combined discretization of the flows and efforts preserving in the same time their characteristic properties. Also in this part it is proposed a discretization error Hamiltonian to distinguish the continuous-time PCH system from the discrete-time one. The fifth part of the thesis makes an analysis of PCH systems identifiability using the subspace identification approach in the deterministic case, proposing also a new power energy approach in direct connection with the structural identifiability results. In the end are presented the main conclusions, personal contributions and perspectives for future work

Cette thèse traite de la modélisation, de la discrétisation et du contrôle de forme des systèmes mécaniques flexibles dans le cadre des systèmes Port-Hamiltoniens (PHS). Les contributions sont triples. Tout d'abord, nous proposons des méthodologies généralisées pour la modélisation des systèmes mécaniques multidimensionnels, linéaires et non linéaires, en utilisant le principe de Hamilton généralisé et étendu, fournissant des représentations explicites et implicites des PHS. Ensuite, nous développons des techniques de discrétisation préservant la structure à travers des méthodes d'éléments finis mixtes (FEM), incluant des approches à deux, trois et quatre champs adaptées aux systèmes PHS et PH-DAE linéaires et non linéaires. Enfin, nous introduisons un contrôleur en dimension finie basé sur des approximations d'ordre faible de systèmes PHS linéaires discrétisés à grande échelle. Ce contrôleur garantit la convergence vers les formes optimales, offrant la meilleure approximation des configurations désirées, tout en assurant la stabilité asymptotique du système discrétisé à grande échelle<br>This thesis addresses the modeling, discretization, and shape control of flexible mechanical systems within the Port-Hamiltonian Systems (PHS) framework. The contributions are threefold. First, we propose generalized methodologies for modeling both linear and nonlinear multidimensional mechanical systems using the generalized extended Hamilton's principle, providing explicit and implicit PHS representations. Second, we develop structure-preserving discretization techniques via mixed Finite Element Methods (FEM), including two, three, and four-field approaches tailored to linear and nonlinear PHS and PH-DAE systems. Finally, we introduce a finite-dimensional controller based on low-order approximations of large-scale discretized linear PHS. This controller ensures convergence to the optimal shapes, offering the best approximation to the desired configurations, while guaranteeing asymptotic stability of the large-scale discretized system

Dans cette thèse nous présentons les résultats sur l'emploi des systèmes Hamiltoniens à port et des systèmes de contact commandés pour la modélisation et la commande de systèmes issus de la Thermodynamique Irréversible. Premièrement nous avons défini une classe de pseudo-systèmes Hamiltoniens à port, appelée systèmes Hamiltoniens à port irréversibles, qui permet de représenter simultanément le premier et le second principe de la Thermodynamique et inclut des modèles d'échangeurs thermiques ou de réacteurs chimiques. Ces systèmes ont été relevés sur l'espace des phases thermodynamiques muni d'une forme de contact, définissant ainsi une classe de systèmes de contact commandés, c'est-à-dire des systèmes commandés non-linéaires définis par des champs de contacts stricts. Deuxièmement, nous avons montré que seul un retour d'état constant préserve la forme de contact et avons alors résolu le problème d'assignation d'une forme de contact en boucle fermée. Ceci a mené à la définition de systèmes de contact entrée-sortie et l'analyse de leur équivalence par retour d'état. Troisièmement, nous avons montré que les champs de contact n'étaient en général pas stables en leur zéros et avons alors traité du problème de la stabilisation sur une sous-variété de Legendre en boucle fermée.

Cette thèse présente une étude sur la modélisation, la formulation par le formalisme des Systèmes Hamiltoniens à ports et la discrétisation des processus de solidification dont l'interface est supposée diffuse et est modélisée par l'approche des champs de phase. Ses travaux traitent en détail de la solidification de l'eau dans le contexte de fournir des modèles numériques adaptés à la simulation, à la conception et au contrôle de procédés de purification de l'eau. Le premier chapitre rappelle d'abord de manière synthétique les modèles physiques de systèmes biphasique et de leur interface. Il présente ensuite en détail l'approche des champs de phase pour la modélisation des interfaces diffuses ainsi que le modèle thermodynamique du système biphasique. Puis il rappelle le modèle dynamique de la solidification d'une espèce, en particulier de l'eau, comme un système de deux équations d'évolution, l'équation d'Allen-Cahn et l'équation de bilan d'énergie. Ces modèles sont basés sur les propriétés thermodynamiques employant l'entropie totale comme potentiel thermodynamique. Dans le deuxième chapitre, après le rappel de la définition de systèmes hamiltoniens dissipatifs à port frontière, on rappelle que l'on peut formuler l'équation d'Allen-Cahn ainsi que le modèle de solidification complet sous cette forme, en augmentant les variables d'état avec le gradient de la variable de champ de phase. Puis l'on montre que les relations thermodynamiques issues des données sont exprimées en termes de variables intensives et mènent à une formulation hamiltonienne à port implicite. Le dernier chapitre se concentre sur la discrétisation préservant la structure du processus de solidification en utilisant la Méthode des Éléments Finis Partitionnés. Cela garantit que le modèle discrétisé conserve des propriétés clés telles que la conservation de l'énergie et la passivité. Le chapitre développe les formulations faibles, les projections et les hamiltoniens discrets pour l'équation de la chaleur et l'équation d'Allen-Cahn, puis développe la discrétisation du modèle de solidification complet. La principale contribution de ce chapitre réside dans la méthodologie de discrétisation appliquée au modèle Port Hamiltonien implicite du processus de solidification en utilisant l'entropie comme fonction génératrice. Globalement, cette thèse propose une approche pour la modélisation, la simulation et le contrôle des processus de solidification en utilisant le cadre Hamiltoniens à ports. Les résultats posent une base complète pour de futures recherches et développements dans les systèmes à paramètres distribués avec interfaces mobiles, en particulier pour les applications en ingénierie environnementale et chimique<br>This thesis presents a study on modeling, formulating, and discretizing solidification processes using the Port Hamiltonian framework combined with the phase field approach. The goal is to provide numerical models suitable for simulating, designing, and controlling such processes. It addresses the challenges of representing and controlling phase change phenomena in distributed parameter models with moving interfaces, with a particular focus on the solidification of pure water. The work has been motivated by the development of green processes for water purification technologies such as cyclic melt and crystallization of water, which offer a low-energy solution while minimizing the use of hazardous materials. The first chapter recalls briefly the physical models of multiphase systems and the description of the interface between the phases, in terms of thin or diffuse interfaces. It presents the phase field theory and the associated thermodynamical models of the multiphase systems. Finally, it expresses the dynamics of solidification processes as a coupled system of evolution equations consisting of the Allen-Cahn equation and energy balance equations. A main contribution of this chapter consists in a comprehensive presentation of solidification using the entropy functional approach within the phase field framework. In the second chapter, the Port Hamiltonian formulation of the dynamics of solidification processes using the phase field approach is developed. This chapter introduces Boundary Port Hamiltonian Systems and shows how an extension of the state space to the gradient of the phase field variable leads to a Port Hamiltonian formulation of the solidification model. The model is written in such a way that it utilizes the available thermodynamic data for liquid water and ice, allowing for a detailed and physically-based modeling, leading to an implicit Boundary Port Hamiltonian model. The final chapter focuses on the structure-preserving discretization of the solidification process using the Partitioned Finite Element Method. This ensures that the discretized model retains the Port Hamiltonian structure and, in turn, the key properties such as energy conservation and passivity. The chapter covers weak formulations, projections, and discrete Hamiltonians for the heat equation and the Allen-Cahn equation, leading to the spatial discretization of the solidification model. The principal contribution of this chapter lies in the discretization methodology applied to the implicit Port Hamiltonian model of the solidification process using entropy as the generating function. Overall, this thesis provides structured models of solidification processes using the Port Hamiltonian framework, providing a foundation for their physics-based simulation and control and for future research and development in distributed parameter systems with moving interfaces, particularly for environmental and chemical engineering applications

Dans cette thèse nous présentons les résultats sur l'emploi des systèmes Hamiltoniens à port et des systèmes de contact commandés pour la modélisation et la commande de systèmes issus de la Thermodynamique Irréversible. Premièrement nous avons défini une classe de pseudo-systèmes Hamiltoniens à port, appelée systèmes Hamiltoniens à port irréversibles, qui permet de représenter simultanément le premier et le second principe de la Thermodynamique et inclut des modèles d'échangeurs thermiques ou de réacteurs chimiques. Ces systèmes ont été relevés sur l'espace des phases thermodynamiques muni d’une forme de contact, définissant ainsi une classe de systèmes de contact commandés, c'est-à-dire des systèmes commandés non-linéaires définis par des champs de contacts stricts. Deuxièmement, nous avons montré que seul un retour d'état constant préserve la forme de contact et avons alors résolu le problème d'assignation d'une forme de contact en boucle fermée. Ceci a mené à la définition de systèmes de contact entrée-sortie et l'analyse de leur équivalence par retour d'état. Troisièmement, nous avons montré que les champs de contact n'étaient en général pas stables en leur zéros et avons alors traité du problème de la stabilisation sur une sous-variété de Legendre en boucle fermée<br>This doctoral thesis presents results on the use of port Hamiltonian systems (PHS) and controlled contact systems for modeling and control of irreversible thermodynamic processes. Firstly, Irreversible PHS (IPHS) has been defined as a class of pseudo-port Hamiltonian system that expresses the first and second principle of Thermodynamics and encompasses models of heat exchangers and chemical reactors. These IPHS have been lifted to the complete Thermodynamic Phase Space endowed with a natural contact structure, thereby defining a class of controlled contact systems, i.e. nonlinear control systems defined by strict contact vector fields. Secondly, it has been shown that only a constant control preserves the canonical contact structure, hence a structure preserving feedback necessarily shapes the closed-loop contact form. The conditions for state feedbacks shaping the contact form have been characterized and have lead to the definition of input-output contact systems. Thirdly, it has been shown that strict contact vector fields are in general unstable at their zeros, hence the condition for the the stability in closed-loop has been characterized as stabilization on some closed-loop invariant Legendre submanifolds

Cette thèse porte sur la conception de commandes robustes pour les systèmes non linéaires, mettant l'accent sur les systèmes mécaniques. Des résultats concluants sont présentés pour résoudre deux situations très abordées dans la théorie du contrôle : 1) La stabilité des systèmes non linéaires perturbés ; 2) Le suivi global de trajectoire dans les systèmes mécaniques en ayant seulement connaissance de la position. Nous avons commencé par donner une méthode de conception des commandes robustes pour assurer une régulation de sortie non passive. En outre, si le système est perturbé (pas appariés), des preuves rigoureuses pour les rejeter sont fournies. Ce résultat est principalement inspiré d'un changement de coordonnées et de l'action intégrale dynamique. Si le scénario à traiter concerne des systèmes mécaniques avec des perturbations variant dans le temps, nous dotons le système de propriétés comme IISS (Integral Input- State Stable) et ISS (Input-State Stable). Ce résultat est obtenu en modifiant la procédure de conception de manière à rejeter les perturbations constantes (pas appariés). Cependant, en raison de la non-linéarité du système, les commandes qui en résultent ont une grande complexité. Pour le même problème, un deuxième et élégant résultat est donné au cas où un changement préalable de variable (impulsions) est réalisé. Finalement, une réponse convaincante au problème de suivi de trajectoire pour les systèmes mécaniques est donnée en tenant compte uniquement des informations de position. Nous résolvons ce problème en deux étapes. Premièrement, quelques modifications sont apportées à la preuve de stabilité d'un observateur de vitesse basée sur la théorie de l'invariance et l’Immersion récemment publié. Notez que ceci est un observateur satisfaisant la convergence exponentielle de vitesse dans les systèmes mécaniques. Deuxièmement et sur la base du changement de coordonnées (impulsions), un contrôleur de suivi avec stabilité exponentielle, tenant compte de la position et de la vitesse, est proposé. De telle sorte qu'avec la combinaison des deux résultats, le suivi de trajectoire exponentielle avec retour de position est donné<br>This thesis focuses on the design of robust control for nonlinear systems, mainly on mechanical systems. The results presented are to two situations widely discussed in control theory: 1) The stability of nonlinear systems disturbed; 2) The global tracking trajectory in mechanical systems having only knowledge of the position. We started giving a design method of robust controls to ensure regulation on non-passive output. In addition, if the system is perturbed (constant unmatched), rigorous proof to its rejection is provided. This result is based mainly on change of coordinates and integral dynamic control. When the scenario to deal are mechanical systems with time-varying matched and unmatched, disturbance, the system is endowed with strong properties as IISS (Integral Input-State Stable) and ISS (Input-State Stable). This is achieved based on the design method to rejection of constant disturbances (unmatched). However, due to the nonlinearity of the system, the controllers have a high complexity. For the same problem, a second and elegant result is given making a initial change of coordinate on the momenta variable, such that the controller significantly simplifies, preserving the aforementioned robustness properties. Finally, a convincing answer to the problem of global exponential tracking of mechanical systems is given taking into account only the position information. We solve this problem in two steps. First, some slight variation is presented to the proof of stability of a speed observer based on Immersion and Invariance theory recently published. Note that this is a speed observer satisfying the exponential convergence speed in mechanical systems. Secondly, and based on the change of coordinates (momenta), a globally exponentially stable tracking controller with position and velocity known is proposed. The combination of both results give the first global exponential tracking controller of mechanical systems without velocity measurements

Cette thèse porte sur la conception de commandes robustes pour les systèmes non linéaires, mettant l'accent sur les systèmes mécaniques. Des résultats concluants sont présentés pour résoudre deux situations très abordées dans la théorie du contrôle : 1) La stabilité des systèmes non linéaires perturbés ; 2) Le suivi global de trajectoire dans les systèmes mécaniques en ayant seulement connaissance de la position. Nous avons commencé par donner une méthode de conception des commandes robustes pour assurer une régulation de sortie non passive. En outre, si le système est perturbé (pas appariés), des preuves rigoureuses pour les rejeter sont fournies. Ce résultat est principalement inspiré d'un changement de coordonnées et de l'action intégrale dynamique. Si le scénario à traiter concerne des systèmes mécaniques avec des perturbations variant dans le temps, nous dotons le système de propriétés comme IISS (Integral Input- State Stable) et ISS (Input-State Stable). Ce résultat est obtenu en modifiant la procédure de conception de manière à rejeter les perturbations constantes (pas appariés). Cependant, en raison de la non-linéarité du système, les commandes qui en résultent ont une grande complexité. Pour le même problème, un deuxième et élégant résultat est donné au cas où un changement préalable de variable (impulsions) est réalisé. Finalement, une réponse convaincante au problème de suivi de trajectoire pour les systèmes mécaniques est donnée en tenant compte uniquement des informations de position. Nous résolvons ce problème en deux étapes. Premièrement, quelques modifications sont apportées à la preuve de stabilité d'un observateur de vitesse basée sur la théorie de l'invariance et l'Immersion récemment publié. Notez que ceci est un observateur satisfaisant la convergence exponentielle de vitesse dans les systèmes mécaniques. Deuxièmement et sur la base du changement de coordonnées (impulsions), un contrôleur de suivi avec stabilité exponentielle, tenant compte de la position et de la vitesse, est proposé. De telle sorte qu'avec la combinaison des deux résultats, le suivi de trajectoire exponentielle avec retour de position est donné.

Cette thèse répond à une problématique de commande frontière d’une conduite acoustique dont l’actionnement est assuré par un réseau d’actionneurs/capteurs co-localisés constituant une peau active. Pour faire face au caractère intrinsèquement multiphysique de ce problème vibro-acoustique, nous avons choisi dans cette thèse d’employer une approche hamiltonienne à ports, approche structurée basée sur la représentation des échanges entre différents domaines énergétiques au sein d’un système et entre différents systèmes. Nous avons proposé une modélisation hamiltonienne à ports de l’équation d’onde interconnectée à la frontière au système d’actionnement distribué, correspondant à une formulation 2D du problème physique. Nous avons développé une méthode de discrétisation spatiale basée sur l’utilisation de différences finies sur plusieurs grilles en quinconce qui préserve la structure hamiltonienne à ports de l’équation d’onde. Cette méthode permet en outre d’interconnecter facilement le système discrétisé avec d’autres sous-systèmes, dans le but de mettre en place un actionnement par exemple. Son principal avantage sur d’autres méthodes préservatives de structure réside dans sa simplicité de mise en œuvre qui découle de l’utilisation de différences finies. Concernant la commande du système vibro-acoustique, nous avons proposé une méthode de synthèse de loi de commande distribuée pour les systèmes régis par deux lois de conservation en 1D. L’originalité de cette méthode réside en le fait qu’elle repose sur le calcul d’invariants structuraux (fonctions de Casimir) exploités afin de modifier la structure du système en boucle fermée. Les conditions d’application sur un système 2D sont étudiées et des résultats numériques valident les lois de commande synthétisées<br>This thesis deals with the boundary control of an acoustic by a network of co-localised sensors/actuators which constitutes a smart skin. In order to cope with this multiphysical problem, we chose to place our study in the framework of port-Hamiltonian systems, a structured approach based on the representation of energy exchanges between different energy domains between different systems of subsystems. We proposed a port-Hamiltonian model of the wave equation interconnected through its boundary to the distributed actuation system, which corresponds to a 2D formulation of the physical problem. We developed a spatial discretization method based on the use of finite differences on several staggered grids that preserve the port-Hamiltonian structure of the wave equation. This method also permits to easily interconnect the discretized system with other subsystems, which is convenient for instance for control purposes. Its main advantage over other structure preserving methods is its simplicity of implementation which stems from the use of finite differences. In order to control the vibro-acoustic system, we proposed a control law synthesis method for systems governed by two conservation laws in 1D. The originality of this method lies in the fact that it relies on the computation of structural invariants (Casimir functions) exploited in order to modify the structure of the system in closed loop. The conditions of application of these laws on a 2D system are studied and numerical results validate the synthesized control laws

Tout phénomène, qu'il soit biologique, géologique ou mécanique peut être décrit à l'aide de lois de la physique en termes d'équations différentielles, algébriques ou intégrales, mettant en relation différentes variables physiques. Les objectifs de la thèse sont de montrer comment les systèmes à paramètres distribués peuvent être modélisés par un modèle bond graph, qui est par nature un modèle à paramètres localisés. Deux approches sont possibles : - utiliser une technique d'approximation qui discrétise le modèle initialement sous forme d'équations aux dérivées partielles (EDP) dans le domaine spatial, en supposant que les phénomènes physiques distribués peuvent être considérés comme homogènes dans certaines parties de l'espace, donc localisés. - déterminer la solution des EDP qui dépend du temps et de l'espace, puis à approximer cette solution avec différents outils numériques. Le premier chapitre rappelle quelques méthodes classiques utilisées pour l'approximation des EDP et les modèles bond graphs correspondants.Dans le deuxième chapitre, l'approche port-Hamiltonienne est présentée et son extension aux systèmes à paramètres distribués est proposée. Dans le troisième chapitre, les principaux modèles utilisés pour la représentation des flux de trafic routier sont rappelés et mis en œuvre en simulation. Ceci conduit à des comparaisons, d'une part entre différentes méthodes de résolution numérique et d'autre part entre différents modèles. Dans le quatrième chapitre, une approche originale propose d'étendre la représentation bond graph issue de la méthodologie Computational Fluid Dynamics au flux de trafic, en utilisant un modèle EDP à deux équations proposé par Jiang

Cette thèse porte sur l’étude des systèmes de lois de conservation couplés par une interface mobile. Un modèle dynamique d’un procédé d’extrusion obtenu à partir des bilans de masse, de taux d’humidité et d’énergie est proposé. Ce modèle exprime le transport de la matière et de la chaleur dans une extrudeuse par des systèmes d’équations hyperboliques définis sur deux domaines complémentaires variant dans le temps. L’évolution des domaines est dictée par une Equation aux Dérivées Ordinaires (EDO) issue du bilan de masse total dans une extrudeuse. Par le principe des applications contractantes l’existence et l’unicité de la solution pour cette classe de système sont prouvées. Le problème de stabilisation de l’interface mobile est aussi abordé en utilisation le formalisme des systèmes à retard. La méthode des caractéristiques permet de représenter le système composé des équations issues du bilan de masse par un système à retard sur l’entrée. Au moyen d’un contrôleur prédictif la position de l’interface est stabilisée autour d’un point équilibre. La dernière partie de ce travail est dédiée à l’étude des systèmes Hamiltoniens à ports frontière couplés par une interface mobile. Ces systèmes augmentés de variables couleur qui sont des fonctions caractéristiques du domaine peuvent s’exprimer comme des systèmes Hamiltoniens à ports frontière<br>This thesis is devoted to the analysis of Partial Differential Equations (PDEs) which are coupled through a moving interface. The motion of the interface obeys to an Ordinary Differential Equation (ODE) which arises from a conservation law. The first part of this thesis concerns the modelling of an extrusion process based on mass, moisture content and energy balances. These balances laws express heat and homogeneous material transport in an extruder by hyperbolic PDEs which are defined in complementary time-varying domains. The evolution of the coupled domains is given by an ODE which is derived from the conservation of mass in an extruder. In the second part of the manuscript, a mathematical analysis has been performed in order to prove the existence and the uniqueness of solution for such class of systems by mean of contraction mapping principle. The third part of the thesis concerns the transformation of an extrusion process mass balance equations into a particular input delay system framework using characteristics method. Then, the stabilization of the moving interface by a predictor-based controller has been proposed. Finally, an extension of the analysis of moving interface problems to a particular class of systems of conservations laws has been developed. Port-Hamiltonian formulation of systems of two conservation laws defined on two complementary time-varying intervals has been studied. It has been shown that the coupled system is a port-Hamiltonian system augmented with two variables being the characteristic functions of the two spatial domains