Ce travail propose de nouvelles structures de contrôle pour la téléopération bilatérale à travers des réseaux de communication non dédiés. L'enjeu est donc de concevoir et calculer des structures de commande garantissant la stabilisation et un bon degré de performance en termes de synchronisation (suivi des positions et vitesse) et de transparence (ressenti des forces) sous les retards variables et asymétriques.Nous faisons tout d'abord un tour d'horizon des recherches récentes dans le domaine des systèmes de téléopération et de leurs caractéristiques. Puis, nous considérons des modèles linéaires à plusieurs retards variables pour lesquels nous proposons une approche d'analyse de stabilité par fonctionnelles de Lyapunov-Krasovskii et contrôle robuste H [infinity symbol . Ensuite, trois structures de téléopération seront proposées en temps continu, la comparaison de ces architectures montre que, pour un retard de réseau maximum donné ou calculé, toutes garantissent un suivi de position et vitesse. Les deux dernières, qui utilisent les forces mesurées ou estimées de l'opérateur humain et de l'environnement, garantissent de plus un suivi en force. Au final, la troisième structure (avec proxy) présente la meilleure performance, même si elle demande un peu plus de calcul. Puis, afin d'analyser et d'améliorer les performances de la troisième structure pour des modèles encore plus réalistes, une étude est menée en temps discret, mais aussi sur un modèle non linéaire ou non stationnaire sous perturbations bornées en norme. L'implantation sur la plate-forme est décrite dans un quatrième et dernier chapitre, et puis l'analyse des résultats expérimentaux est alors menée

Cette thèse concerne la stabilisation exponentielle de systèmes commandés en réseaux (NCS en anglais) par retour de sortie. Les solutions proposées reposent sur un observateur distant et capable d'estimer l'état présent du processus malgré les différents retards générés par la présence du réseau. Le premier chapitre présente le contexte général des NCS et décrit plus particulièrement le problème étudié. Le chapitre suivant propose une architecture informatique permettant de réaliser un retour d'état distant basé sur une structure d'observateur. Deux autres chapitres proposent ensuite la synthèse d'un couple loi de commande / observateur garantissant des performances de convergence exponentielle. Les conditions correspondantes s'écrivent sous forme d'inégalités matricielles linéaires (LMI en anglais) et permettent donc une optimisation. Ces conditions sont basées sur la méthode des fonctionnelles de Lyapunov-Krasovskii et des résultats originaux sont proposés. Une première synthèse peut être effectuée globalement, une seconde permet d'adapter les performances dynamiques à la qualité de service disponible à chaque instant. La seconde approche fait intervenir des résultats originaux sur les systèmes à retards et à commutations. Dans un dernier chapitre, nous proposons une solution complètement asynchrone (gérée par événements). Dans ce cas, le problème des pertes de paquets devient crucial et nous y apportant une réponse. L'ensemble des résultats est confirmé par des expérimentations mises au point dans le cadre de ce travail, et correspondant à un robot léger commandé en temps réel à 40km de distance par Internet

Cette thèse concerne la stabilisation exponentielle de systèmes commandés en réseaux (NCS en anglais) par retour de sortie. Les solutions proposées reposent sur un observateur distant et capable d’estimer l’état présent du processus malgré les différents retards générés par la présence du réseau. Le premier chapitre présente le contexte général des NCS et décrit plus particulièrement le problème étudié. Le chapitre suivant propose une architecture informatique permettant de réaliser un retour d’état distant basé sur une structure d’observateur. Deux autres chapitres proposent ensuite la synthèse d’un couple loi de commande / observateur garantissant des performances de convergence exponentielle. Les conditions correspondantes s’écrivent sous forme d’inégalités matricielles linéaires (LMI en anglais) et permettent donc une optimisation. Ces conditions sont basées sur la méthode des fonctionnelles de Lyapunov-Krasovskii et des résultats originaux sont proposés. Une première synthèse peut être effectuée globalement, une seconde permet d’adapter les performances dynamiques à la qualité de service disponible à chaque instant. La seconde approche fait intervenir des résultats originaux sur les systèmes à retards et à commutations. Dans un dernier chapitre, nous proposons une solution complètement asynchrone (gérée par événements). Dans ce cas, le problème des pertes de paquets devient crucial et nous y apportant une réponse. L’ensemble des résultats est confirmé par des expérimentations mises au point dans le cadre de ce travail, et correspondant à un robot léger commandé en temps réel à 40km de distance par Internet / This PhD thesis is dedicated to the exponential output stabilization of linear NCS (Networked Control Systems). The studied solution is based on a remote observer which is able to estimate the present state of the plant despite the various network induced delays. These last are present in both the control and the measurement channels.The first chapter describes the problem and gives a survey on the NCS. The next chapter proposes a computer structure which realizes the remote, observer-based, state feedback controller. The following two chapters propose LMI conditions (Linear Matrix Inequalities) for the design of the observer-based remote controller. The second method of Lyapunov is used with the most up-to-date Lyapunov-Krasovskii functionals. The main objective of the design is to guarantee some performances expressed in the form of exponential stability. Then some enhancements of the control strategy are given. It consists in taking into account the Quality of Service (QoS) in the controller to get better guaranteed performances. The last contribution of this work is to consider the overall system as an event-driven system. It allows one to consider packet dropout problems in the network.The effectiveness of all presented results is demonstrated by real experiments implemented on a light robot controlled over the Internet

Ce travail porte sur la régulation de la sortie des systèmes aux paramètres distribués. Pour ce faire, un simple contrôleur proportionnel intégral est utilisé, puis la stabilité du système en boucle fermée est démontrée à l'aide d'une fonction de Lyapunov. La principale contribution de ce travail est la construction d'un nouveau type de fonction de Lyapunov qui s'inspire d'une méthode bien connue dans le cadre des systèmes non-linéaires : le forwarding.Dans une première partie, le système est établi avec des opérateurs dont les propriétés sont données dans le cadre des semigroupes, puis la problématique de la régulation par contrôleur P-I est posé. Grâce à cette construction de Lyapunov, on peut répondre à cette problématique sous certaines hypothèses. Le lien est alors fait avec les résultats existants dans ce contexte. Dans la seconde partie, la problématique de la régulation est posée pour un système composé de n × n équations hyperboliques linéaires où l'entrée et la sortie se situent sur les conditions aux frontières des EDPs. Sous certaines hypothèses, le résultat permet de réguler n'importe quel vecteur de sortie composé linéairement des conditions aux frontières du système. Cela généralise de nombreux travaux portant sur les systèmes composés d'équations hyperboliques et l'utilisation de contrôleur P-I. Enfin dans le dernier chapitre, les vibrations mécaniques dans les tiges de forage sont étudiées comme cas d'application. Dans un premier temps, le comportement de solutions issues de différents modèles utilisés pour l'étude de ces déformations est détaillé. Dans un second temps, il est montré que la nouvelle fonctionnelle de Lyapunov permet de prendre en compte des modèles plus complexes et d'obtenir la régulation de la vitesse de la tige au fond du forage en ne mesurant que la vitesse en haut du puits. A la fin du chapitre, de nombreuses simulations numériques viennent illustrer nos résultats théoriques / This monograph is devoted to the output regulation of some distributed parameters systems. To reach this objective, a simply proportional integral controller is implemented. Then the stability of the closed loop is proved using a Lyapunov functional that can be built given a Lyapunov functional for the open-loop system. The main contribution of this work is the method to build the Lyapunov functional, it is inspired by a well-known method in non-linear system theory : the forwarding. In a first part, the system studied is an abstract Cauchy problem and the problematic is stated using semigroup theory. Thanks to the Lyapunov employed, the regulation can be guaranteed providing some assumption on the systems operators. The second part detailed how the output regulation can be obtain for all linear outputs when the system is a n × n systems of linear balance laws in one space dimension. The result is given in the case where inputs and outputs act on the PDE’s boundary conditions and for open-loop stabilizable system. It generalize many contribution in the topic of output regulation for systems of linear balance laws. Last but not least, a part is devoted to the study of mechanicals vibrations in a drill pipe. In a first time, the behavior of the solutions for different kind of models use to model the drill pipe is detailed. Then, it is shown that the new Lyapunov functional allow to take into account complex, infinite dimensional model and to regulate the drill pipe velocity at the bottom of the wellbore by only measuring the surface velocity and with a P-I controller. At the end, some simulations are given that illustrate the result

Ce travail s'inscrit dans une thématique de recherche sur l'étude des opérateurs pseudo-différentiels sous représentations diffusives ; l'intégration fractionnaire est un exemple devenu classique d'opérateurs diffusifs.<br />Le première partie consiste en la mise en place des représentations diffusives à temps discret. Certains filtres non-relationnels, notamment les différences frationnaires, sont une agrégation continue de dynamiques purement amorties. Les représentations diffusives s'appliquent à toutes les discrétisations de l'intégration fractionnaire y compris celles pour lesquelles la fonction de transfert n'est pas connue analytiquement. Les filtres diffusifs peuvent être réalisés par un système de dimension infinie. Cette structure est un cadre adapté à l'approximation par un filtre relationnel, à l'analyse asymptotique aux temps longs et à l'élaboration d'un critère de dissipativité.<br />La deuxième partie consiste à appliquer ces outils pour l'étude des couplages formés de filtres diffusifs et de filtres rationnels positifs. L'application d'un critère de Nyquist prouve la stabilité énergétique. Ces couplages sont en fait la somme d'une partie entière et d'une partie diffusive, ce résultat de décomposition montre que certains couplages sont stables EBSB (entrée-bornée, sortie-bornée). La dissipativité de la réalisation diffusive ainsi que le lemme de Kalman-Yacubovich-Popov montrent notamment la stabilité interne de ces couplages ; une démonstration originale du caractère asymptotique de la stabilité interne est ainsi proposée. Les approches utilisées pour prouver ces stabiblités permettent une analyse asymptotique aux temps longs.

Ce travail propose de nouvelles structures de contrôle pour la téléopération bilatérale à travers des réseaux de communication non dédiés. L’enjeu est donc de concevoir et calculer des structures de commande garantissant la stabilisation et un bon degré de performance en termes de synchronisation (suivi des positions et vitesse) et de transparence (ressenti des forces) sous les retards variables et asymétriques.Nous faisons tout d’abord un tour d’horizon des recherches récentes dans le domaine des systèmes de téléopération et de leurs caractéristiques. Puis, nous considérons des modèles linéaires à plusieurs retards variables pour lesquels nous proposons une approche d’analyse de stabilité par fonctionnelles de Lyapunov-Krasovskii et contrôle robuste H [infinity symbol . Ensuite, trois structures de téléopération seront proposées en temps continu, la comparaison de ces architectures montre que, pour un retard de réseau maximum donné ou calculé, toutes garantissent un suivi de position et vitesse. Les deux dernières, qui utilisent les forces mesurées ou estimées de l’opérateur humain et de l’environnement, garantissent de plus un suivi en force. Au final, la troisième structure (avec proxy) présente la meilleure performance, même si elle demande un peu plus de calcul. Puis, afin d’analyser et d’améliorer les performances de la troisième structure pour des modèles encore plus réalistes, une étude est menée en temps discret, mais aussi sur un modèle non linéaire ou non stationnaire sous perturbations bornées en norme. L’implantation sur la plate-forme est décrite dans un quatrième et dernier chapitre, et puis l’analyse des résultats expérimentaux est alors menée / This PhD thesis is dedicated to the control scheme design of the bilateral teleoperation under asymmetric communication channels: the stabilization and a high-level performance under asymmetric time-varying delays and the perturbations of the human operator and environment. After a review of the recent researches and their features in the field of teleoperation system, a less conservative Lyapunov-Krasovskii functional together with H [infinity symbol] control theory has been applied to linear time delay systems, and then the LMI theorems have been obtained in order to calculate the controllers in the control schemes.Firstly, three novel teleoperation control schemes have been presented. Comparing three architectures, all of them guaranteed the stability and the position tracking thanks to the position/velocity information. Force-reflecting control scheme without or with proxy, in addition, ensured the force tracking by using the estimated/measured force of the human operator and the environment. Here, the control scheme with the proxy got a better performance. Secondly, a discrete-time approach has been developed to analyze the force-reflecting control scheme with proxy and obtain a better system performance. Besides, more general systems with time-varying uncertainties (the polytopic-type uncertainties and the norm-bounded model uncertainties) have been considered. Finally, the experimental test-bench and the real system implementation have been designed, which involved the identification and linearizing control of the subsystems (the master/slave robots). The experimental results have illustrated the effectiveness of the approaches proposed in this thesis

Dans cette étude on s'intéresse à la dynamique d'une classe de systèmes non-linéaires décrits par des équations aux dérivées partielles (EDP) du type hyperbolique. L'objectif de l'étude est de construire des lois de contrôle par feedback dynamique de la sortie afin de stabiliser le système autour d'un point d'équilibre d'une part, et, d'autre part, de réguler la sortie vers le point de consigne. Nous considérons la classe des systèmes gouvernés par des EDP quasi-linéaires du type hyperbolique à deux variables indépendantes (une variable temporelle et une variable spatiale). Pour le bien-posé du système dynamique non seulement l'état initial mais aussi certaines conditions frontières doivent être prescrites en cohérence avec les EDP. Nous supposons que l'observation et le contrôle sont ponctuels. Autrement dit l'action du contrôle intervient dans le système via les conditions frontières et l'observation est effectuée aux points de la frontière. Notre étude est motivée par l'observation que de nombreux processus physiques sont modélisés par ce type d'équations EDP. Nous citons, par exemple, des processus tels que flux trafique en transport, flux de gaz dans un réseau de pipeline, échangeurs thermiques en génie des procédés, équations de télégraphe dans des lignes de transmission, canaux d'irrigation en génie civil etc. Nous commençons l'étude par une EDP non-linéaire scalaire. Dans ce cas-là nous proposons un correcteur intégral stabilisant qui assure la régulation de la sortie avec l'erreur statique nulle. Nous prouvons la stabilisation locale du système non-linéaire par le correcteur intégral en construisant une fonctionnelle de Lyapunov appropriée. La conception des correcteurs proportionnels et intégraux (PI) que nous proposons est étendue dans un cadre de systèmes de deux EDP. Nous prouvons la stabilisation du système en boucle fermée à l'aide d'une nouvelle fonctionnelle de Lyapunov. La synthèse des correcteurs PI stabilisants se poursuit dans un cadre de réseaux formés d'un nombre fini de systèmes à deux EDP : réseau étoilé et réseau série en cascade. Les contrôles et les observations se trouvent localisés aux différents nœuds de connexion. Pour ces configurations nous présentons un ensemble de correcteurs PI stabilisants qui assurent la régulation vers le point de consigne. Les correcteurs PI que nous concevons sont validés par des simulations numériques à partir des modèles non-linéaires EDP. La contribution de la thèse, par rapport à la littérature existante, consiste en l'élaboration de nouvelles fonctionnelles de Lyapunov pour une classe de systèmes stabilisés par correcteur PI. En effet une grande quantité de résultats ont été obtenus sur la stabilisation des systèmes hyperboliques par feedback statique de la sortie. Toutefois il existe encore peu de résultats sur la stabilisation de ces systèmes par feedback dynamique de la sortie. L'étude de la thèse est consacrée sur l'élaboration des fonctionnelles de Lyapunov permettant d'obtenir des correcteurs PI stabilisants. L'approche de Lyapunov direct que nous avons proposée a pour l'avantage de permettre d'étudier la robustesse des lois de feedback de la sortie PI vis-à-vis de la non-linéarité. Une autre contribution de la thèse consiste en la construction des programmes de Malab permettant d'effectuer des simulations numériques pour la validation des correcteurs conçus. Pour la résolution numérique des EDP hyperboliques nous avons discrétisé nos systèmes par le schéma numérique de Preissmann. Nous avons chaque fois un système d'équations algébriques non-linéaires à résoudre de façon récurrente. L'apport des simulations numériques nous permet de mieux comprendre la méthodologie applicative de la théorie du contrôle en dimension infinie / In this study we are interested in the dynamics of a class of nonlinear systems described by partial differential equations (PDE) of the hyperbolic type. The aim of the study is to construct control laws by dynamic feedback of the output in order to stabilize the system around an equilibrium point on the one hand and to regulate the output to the set-point. We consider the class of systems governed by hyperbolic PDEs with two independent variables (one time variable and one spatial variable). For the well-posed dynamic system not only the initial state but also certain boundary conditions must be prescribed in coherence with the PDEs. We assume that observation and control are punctual. In other words, the action of the control intervenes in the system via the boundary conditions and the observation is carried out at the points of the border. Our study is motivated by the observation that many physical processes are modeled by this type of PDE equations. Examples include processes such as traffic flow in transportation, gas flows in a pipeline network, heat exchangers in process engineering, telegraph equations in transmission lines, civil engineering irrigation channels, to cite but a few.We begin the study with a scalar nonlinear PDE. In this case we propose a stabilizing integral controller which ensures the regulation of the output with zero static error. We prove the local stabilization of the nonlinear system by the integral controller by constructing an appropriate Lyapunov functional. The design of the proportional and integral (PI) controllers that we propose is extended in a framework of two PDE systems. We prove the stabilization of the closed-loop system with a new Lyapunov functional. The synthesis of stabilizing PI controllers is carried out in a framework of networks formed by a finite number of two PDE systems: star network and serial network in cascade. Controls and observations are located at the different connection nodes. For these configurations we present a set of stabilizing PI controllers that regulate the output to the set-point. The PI controllers that we design are validated by numerical simulations from the nonlinear PDE models. The contribution of the thesis compared to the existing literature consists in the development of new Lyapunov functionals for the class of systems looped by a PI controller. Indeed, a large number of results have been obtained from the stabilization of hyperbolic systems by static feedback of the output. However, there are still few results with the stabilization of these systems by the output dynamic feedback. The study of the thesis is devoted to the development of the Lyapunov functional to obtain stabilizing PI controllers. The direct Lyapunov approach that we have proposed has the advantage of allowing to study the robustness of the output dynamic feedback laws in the form of PI controllers with respect to the nonlinearity. Another contribution of the thesis consists of the Malab program construction allowing to carry out numerical simulations for the validation of the conceived controllers. For the numerical resolution of hyperbolic PDEs, we have discretized our systems using the Preissmann numerical scheme. Each time moment we have a system of non-linear algebraic equations to be solved in a recurring way. The contribution of numerical simulations allows us to better understand the application methodology of the infinite dimension control theory

Cette thèse s'inscrit dans le cadre général de l'étude de la dynamique de populations. Elle porte sur la modélisation et l'analyse mathématique de l'hématopoïèse, le processus de production et de régulation des cellules sanguines. La population de cellules est perçue comme un milieu continu avec une structuration en âge et en espace. Nous avons commencé par analyser des modèles d'équations différentielles et aux différences à retard discret et distribué. Ces modèles à retard permettent de mettre en évidence des comportements particuliers tels que l'existence de solutions périodiques. Ensuite, nous avons pris en compte l'aspect spatial et la diffusion des cellules dans ces modèles, tout en sachant que la structuration en espace, dans le cas de l'hématopoïèse, a été très peu abordée par le passé. Un nouveau modèle a été obtenu du point de vue mathématique. Une étude d'existence d'ondes progressives est effectuée lorsque le domaine est non borné et lorsque le domaine est borné une étude de stabilité des états stationnaires ainsi que de l'existence d'une bifurcation de Hopf est réalisée / This thesis focuses on the study of population dynamics. It is devoted to the mathematical analysis and modeling of hematopoiesis, which is the process leading to the production and regulation of blood cells. The cell's population is seen as a continuous medium structured in age and space. We analyzed models of differential-difference system with discrete- and distributed -delay. These models can exhibit specific behaviors such as the existence of periodic solutions. Then we consider a space structuration and the diffusion of cells in such models, knowing that the space structure has not been widely studied in the case of hematopoiesis. A new model is obtained from the mathematical point of view. We studied the existence of traveling waves when the domain is unbounded. When the domain is bounded, the stability of stationary solutions and the existence of a Hopf bifurcation are obtained

Dans cette thèse, nous étudions l'ensemble des solutions d'équations aux dérivées partielles résultant de modèles d'astrophysique et de biologie. Nous répondons aux questions de l'existence, mais aussi nous essayons de décrire le comportement de certaines familles de solutions lorsque les paramètres varient. Tout d'abord, nous étudions deux problèmes issus de l'astrophysique, pour lesquels nous montrons l'existence d'ensembles particuliers de solutions dépendant d'un paramètre à l'aide de la méthode de réduction de Lyapunov-Schmidt. Ensuite un argument de perturbation et le théorème du Point xe de Banach réduisent le problème original à un problème de dimension finie, et qui peut être résolu, habituellement, par des techniques variationnelles. Le reste de la thèse est consacré à l'étude du modèle Keller-Segel, qui décrit le mouvement d'amibes unicellulaires. Dans sa version plus simple, le modèle de Keller-Segel est un système parabolique-elliptique qui partage avec certains modèles gravitationnels la propriété que l'interaction est calculée au moyen d'une équation de Poisson / Newton attractive. Une différence majeure réside dans le fait que le modèle est défini dans un espace bidimensionnel, qui est expérimentalement consistant, tandis que les modèles de gravitationnels sont ordinairement posés en trois dimensions. Pour ce problème, les questions de l'existence sont bien connues, mais le comportement des solutions au cours de l'évolution dans le temps est encore un domaine actif de recherche. Ici nous étendre les propriétés déjà connues dans des régimes particuliers à un intervalle plus large du paramètre de masse, et nous donnons une estimation précise de la vitesse de convergence de la solution vers un profil donné quand le temps tend vers l'infini. Ce résultat est obtenu à l'aide de divers outils tels que des techniques de symétrisation et des inégalités fonctionnelles optimales. Les derniers chapitres traitent de résultats numériques et de calculs formels liés au modèle Keller-Segel

Dans cette thèse, nous étudions l'ensemble des solutions d'équations aux dérivées partielles résultant de modèles d'astrophysique et de biologie. Nous répondons aux questions de l'existence, mais aussi nous essayons de décrire le comportement de certaines familles de solutions lorsque les paramètres varient. Tout d'abord, nous étudions deux problèmes issus de l'astrophysique, pour lesquels nous montrons l'existence d'ensembles particuliers de solutions dépendant d'un paramètre à l'aide de la méthode de réduction de Lyapunov-Schmidt. Ensuite un argument de perturbation et le théorème du Point xe de Banach réduisent le problème original à un problème de dimension finie, et qui peut être résolu, habituellement, par des techniques variationnelles. Le reste de la thèse est consacré à l'étude du modèle Keller-Segel, qui décrit le mouvement d'amibes unicellulaires. Dans sa version plus simple, le modèle de Keller-Segel est un système parabolique-elliptique qui partage avec certains modèles gravitationnels la propriété que l'interaction est calculée au moyen d'une équation de Poisson / Newton attractive. Une différence majeure réside dans le fait que le modèle est défini dans un espace bidimensionnel, qui est expérimentalement consistant, tandis que les modèles de gravitationnels sont ordinairement posés en trois dimensions. Pour ce problème, les questions de l'existence sont bien connues, mais le comportement des solutions au cours de l'évolution dans le temps est encore un domaine actif de recherche. Ici nous étendre les propriétés déjà connues dans des régimes particuliers à un intervalle plus large du paramètre de masse, et nous donnons une estimation précise de la vitesse de convergence de la solution vers un profil donné quand le temps tend vers l'infini. Ce résultat est obtenu à l'aide de divers outils tels que des techniques de symétrisation et des inégalités fonctionnelles optimales. Les derniers chapitres traitent de résultats numériques et de calculs formels liés au modèle Keller-Segel / In this thesis we study the set of solutions of partial differential equations arising from models in astrophysics and biology. We answer the questions of existence but also we try to describe the behavior of some families of solutions when parameters vary. First we study two problems concerned with astrophysics, where we show the existence of particular sets of solutions depending on a parameter using the Lyapunov-Schmidt reduction method. Afterwards a perturbation argument and Banach's Fixed Point Theorem reduce the original problem to a finite-dimensional one, which can be solved, usually, by variational techniques. The rest of the thesis is de-voted to the study of the Keller-Segel model, which describes the motion of unicellular amoebae. In its simpler version, the Keller-Segel model is a parabolic-elliptic system which shares with some gravitational models the property that interaction is computed through an attractive Poisson / Newton equation. A major difference is the fact that it is set in a two-dimensional setting, which experimentally makes sense, while gravitational models are ordinarily three-dimensional. For this problem the existence issues are well known, but the behaviour of the solutions during the time evolution is still an active area of research. Here we extend properties already known in particular regimes to a broader range of the mass parameter, and we give a precise estimate of the convergence rate of the solution to a known profile as time goes to infinity. This result is achieved using various tools such as symmetrization techniques and optimal functional inequalities. The last chapters deal with numerical results and formal computations related to the Keller-Segel model