Dans cette thèse nous étudierons plusieurs problèmes de la théorie du contrôle portant sur des modèles non-linéaires issus de la mécanique des fluides. Dans le chapitre un, nous étudions l'équation de Camassa-Holm sur un intervalle compact de R. Après avoir introduit de bonnes conditions aux bords et une notion de solution faible, nous montrons un théorème d'existence et un théorème d'unicité fort-faible pour le problème mixte. Dans une seconde partie nous fournissons une loi de retour pour les données aux bords qui nous permet de stabiliser asymptotiquement l'état stationnaire naturel de l'équation.\par Dans le chapitre deux, nous étudions le problème de la contrôlabilité exacte d'une loi de conservation scalaire à flux convexe, posée sur un intervalle compact et dans le cadre des solutions entropiques. On fournit des conditions suffisantes sur des fonctions de BV pour qu'elles soient atteignables en temps arbitraire depuis n'importe quelle donnée initiale. On contrôle l'équation via les données aux bords et aussi grâce à un terme source agissant uniformément en espace.\par Enfin le chapitre trois est consacré au problème de la stabilisation asymptotique des états stationnaires constants d'une loi de conservation scalaire à flux convexe, posée sur un intervalle compact et dans le cadre des solutions entropiques. On contrôle à nouveau l'équation via les données aux bords et un terme source agissant uniformément en espace. Nous fournissons deux lois de retour stationnaires (suivant que l'état à stabiliser est de vitesse critique ou non) qui nous permettent de montrer la stabilisation asymptotique globale.

Dans cette thèse, nous étudions les propriétés de contrôlabilité uniforme des semidiscrets approximations de systèmes paraboliques. Dans une première partie, nous nous intéressons à la minimisation de Lq-norme (q > 2) des contrôles semidiscrete pour l'équation parabolique. Notre objectif est de dépasser la limitation de [LT06] à propos de l'ordre ½ de l'absence de limites d'opérateur de contrôle. Plus précisément, nous montrons que la propriété d'observabilité uniforme est également titulaire dans Lq (q > 2), même dans le cas d'un degré d'absence de limites supérieure à 1/2. En outre, une procédure de minimisation pour calculer les commandes d'approximation est fournie. L'étude de l'optimalité Lq dans lapremière partie est dans un contexte général. Cependant, les inégalités d'observabilité discrets qui sont obtenus ne sont pas aussi précises que celles dérivées puis avec des estimations de Carleman. Dans une seconde partie, dans le contexte particulier de unidimensionnels-finis différences nous démontrons une inégalité de Carleman pour une version semi-discret de l'opérateur parabole @t − @x(c@x) qui permet pour dériver les inégalités d'observabilité qui sont beaucoup plus précis. On considère ici que dans le cas où le coefficient de diffusion a un saut qui donne une formulation du problème de transmission. Conséquence de cette inégalité de Carleman, on en déduit cohérentes nul contrôlabilité des résultats pour les classes de linéaires et semi-linéaire des équations paraboliques. / In this thesis, we study uniform controllability properties of semi-discrete approximations for parabolic systems. In a first part, we address the minimization of the Lq-norm (q > 2) of semidiscrete controls for parabolic equation. Our goal is to overcome the limitation of [LT06] about the order 1/2 of unboundedness of the control operator. Namely, we show that the uniform observability property also holds in Lq (q > 2) even in the case of a degree of unboundedness greater than 1/2. Moreover, a minimization procedure to compute the approximation controls is provided. The study of Lq optimality in the first part is in a general context. However, the discrete observability inequalities that are obtained are not so precise than the ones derived then with Carleman estimates. In a second part, in the discrete setting of one-dimensional finite-differences we prove a Carleman estimate for a semi discrete version of the parabolic operator @t − @x(c@x) which allows one to derive observability inequalities that are far more precise. Here we consider in case that the diffusion coefficient has a jump which yields a transmission problem formulation. Consequence of this Carleman estimate, we deduce consistent null-controllability results for classes of linear and semi-linear parabolic equations.

De type parabolique et soumis à l’action d’un couple de contrôles (h, k) où h et k jouent des rôles différents ; le contrôle k étant de type "contrôlabilité" et h de type "contrôle optimal".Il est alors naturel de considérer un problème d’optimisation multi-critères. Il existe plusieurs façons d’étudier de tels problèmes. Nous proposons, dans cette thèse, le contrôle de Stackelberg. Il s’agit d’une notion d’optimisation hiérarchique avec, ici, h qui est le "Leader" et k le "Follower". / In this thesis, we are interested in evolution problems governed by parabolic equations subjected to the action of a pair of controls (h, k) where h and k play different roles : the control k being of "controllability" type and h of "optimal control" type.It is then natural to consider a multi-criteria optimization problem. There are several ways to study such problems. We propose in this thesis, the Stackelberg control which is a notion of hierarchical optimization with here, h which is the "Leader" and k the "Follower".

Les systèmes déployés dans être testés pendant l’élasticité, ce qui entraîne plusieurs problématiques. D’abord, l’exécution d’un test pendant l’élasticité peut exiger de conduire le CBS dans une succession de comportements élastiques spécifiques, càd., une séquence d’ajout/retrait de ressources, qui nécessite des variations précises de la charge des requêtes envoyées au cloud. Seconde, certaines adaptations du CBS ne sont réalisées qu’à un moment précis, par exemple après un ajout de ressources et, par conséquent, leurs tests doivent être synchronisés avec des états spécifiques du CBS. Troisième, les testeurs doivent rejouer les tests pendant l’élasticité de manière déterministe afin de déboguer et corriger le CBS. Quatrième, la création des tests pendant l’élasticité est complexe et laborieuse dû au large nombre de paramètres, et à la particularité du cloud computing. Enfin, seulement quelques combinaisons de paramètres peuvent causer des problèmes au CBS, que les cas de test créés au hasard peuvent manquer, alors qu’un jeu de tests couvrant toutes les combinaisons possibles serait trop grand et impossible à exécuter. Dans cette thèse, nous abordons toutes ces problématiques en proposant plusieurs approches :1) une approche qui conduit les CBSs dans une suite de comportements élastiques prédéfinis, 2) une approche qui synchronise l’exécution des tests selon les états du CBS, 3) une approche qui permette la reproduction des tests pendant l’élasticité, 4) un langage spécifique à ce domaine (DSL, selon l’acronyme anglais) qui résume la mise en œuvre des tests pendant l’élasticité, 5) une approche qui génère des petits ensembles de tests pendant l’élasticité tout en révélant des problèmes liés à l’élasticité. / Systems deployed on elastic infrastructures deal with resource variations by adapting themselves, which may cause errors, or even degrade their performance. Therefore, we must test the Cloud-Based Systems(CBSs) throughout elasticity, which faces problematics. First, executing elasticity tests may require the lead of CBS throughout a specific elastic behavior, i. e.,sequence of resource changes, which depends on an accurate workload generation. Second, CBS adaptations occur at a precise moment, such as after a resource scale out, which requires to test them during a specific CBS states. Third, testers must re-execute elasticity tests in a deterministic manner to debug and fix the CBS. Fourth, implementing elasticity tests is complex and laborious given the wide possibility of parameters, and the peculiarity of cloud computing. Finally, specific combinations of parameters may cause the system issues, where random tests may miss such combinations, while a test set that covers all thecombinations may be large and impractical to execute. In this thesis, we tackle all these five problematics by proposing several approaches: 1) an approach to drive the CBS throughout preset elastic behaviors, 2) an approach to synchronize tests according to the CBS states, 3) an approach to enable reproducing elasticity testing, 4) a Domain Specific Language (DSL)-basedapproach to abstract the elasticity testing implementation, and 5) an approach to generate small sets of tests that reveal relevant elasticity-related issues.

Objectif – Cette thèse vise à montrer dans quelle mesure les membres d'une organisation peuvent contrôler des situations de gestion complexes. Cette question de recherche est traitée en adoptant deux angles d'analyse. D'une part, nous considérons les liens entre contrôlabilité et complexité, sous l'angle formel. D'autre part, nous traitons cette question, sous l'angle informel.Méthodes – Pour aborder cette question formellement, nous testons la présence de chaos dans des ventes de biens à la mode avec deux méthodes : une estimation, robuste au bruit, de l'exposant maximum de Lyapunov et la dimension de corrélation. Puis, nous évaluons l'horizon de prévisibilité de ces ventes pour savoir dans quelle mesure les membres de l'organisation, chargés du budget, peuvent contrôler ces ventes présentant une « complexité restreinte » au sens de Morin. Pour traiter de cette question de manière informelle, une étude de cas a été réalisée pour montrer qu'il est possible de contrôler des systèmes complexes, présentant un fort couplage au sens de Perrow, en utilisant les solutions mises en avant par la théorie des organisations hautement fiables.Résultats – Que l'on aborde la question des liens entre contrôlabilité et complexité sous l'angle formel ou informel, il apparaît que les membres d'une organisation peuvent contrôler des situations de gestion complexes, de façon décentralisée, dans la mesure où ils possèdent une marge de manœuvre. / Objective – This PhD thesis aims at showing to what extent the members of an organization can control complex management situations. This research question was addressed by adopting two perspectives. We mathematically considered the link between complexity and controllability in the one hand. On the other, weddressed this issue by adopting organizational perspectives.Methods – To address mathematically this matter, the presence of chaos was tested, in some sales of fashion goods, by two methods: an estimation of Lyapunov exponent which is robust to noise and correlation dimension. Then, predictability horizon was estimated in order to know to what extent the members of an organization who set the budget can control these “complex” sales, in Morin's restricted sense. In order to informally deal with this issue, a case study was realized to show that it is possible for the members of an organization to control complex and tight coupled systems, in Perrow's sense, by using the guidelines of the High Reliability Theory.Results – Whatever perspective we take, it appears that the members of an organization can control complex management situations in a decentralized way to the extent that they have a certain amount of latitude.

Dans la première partie, on démontre des inégalités de Carleman pour des systèmes paraboliques. Au chapitre 1, on démontre des inégalités de stabilité pour un système parabolique 2 x 2 en utilisant des inégalités de Carleman avec une seule observation. Il s'agit d'un problème inverse pour l'identification des coefficients et les conditions initiales du système. Le chapitre2 est consacré aux inégalités de Carleman pour des systèmes paraboliques dont les coefficients de diffusion sont de classe C1 par morceaux ou à variations bornées. A la fin, on donne quelques applications à la contrôlabilité à zéro. La seconde partie est consacrée à l'étude d'un problème de diffraction d'ondes acoustiques dans un demi-plan homogène. Il s'agit d'un problème aux limites associé à l'équation de Helmholtz dans le demi-plan supérieur avec une donnée de Neumann non homogène au bord. On apporte des éléments de réponse sur la question d'unicité et d'existence des solutions pour certaines classes de la donnée au bord. / In the first part, we prove Carleman estimates for parabolic systems. In chapter1, we prove stability inequalities for 2 x 2 parabolic system using Carleman estimates with one observation. It is concerns to the identification of the coefficients and initial conditions of the system. The chapter2 is devoted to th Carleman estimates of parabolic systems for which the diffusion coefficients are assumed to be ofclass piecewise C1 or with bounded variations. In the end, we give some applications to the null controllability. The second part is devoted to the study of the scattering problem of acoustics waves in a homogeneous half-plane. It is about a boundary value problem associated to the Helmholtz equation in theupper half-plane with a nonhomogeneous Neumann boundary data. We provide some answers to the question of uniqueness and existence of solutions for some classes of the boundary data.

Motivée par les travaux précédents sur la stabilisation de systèmes à excitation persistante, cette thèse s'intéresse à la stabilité et à la stabilisation de systèmes linéaires à commutation en dimensions finie et infinie. Après une introduction générale présentant les principales motivations et les résultats importants de la littérature, on aborde quatre sujets.On commence par l'étude d'un système linéaire en dimension finie à commutation aléatoire. Le temps passé en chaque sous-système $i$ est choisi selon une loi de probabilité ne dépendant que de $i$, les commutations entre sous-systèmes étant déterminées par une chaine de Markov discrète. On caractérise les exposants de Lyapunov en appliquant le Théorème Ergodique Multiplicatif d'Oseledets à un système associé en temps discret, et on donne une expression pour l'exposant de Lyapunov maximal. Ces résultats sont appliqués à un système de contrôle à commutation. Sous une hypothèse de contrôlabilité, on montre que ce système peut être stabilisé presque surement avec taux de convergence arbitraire, ce qui est en contraste avec les systèmes déterministes à excitation persistante.On considère ensuite un système de $N$ équations de transport avec amortissement interne à excitation persistante, couplées linéairement par le bord à travers une matrice $M$, ce qui peut être vu comme un système d'EDPs sur un réseau étoilé. On montre que, si l'activité de l'amortissement intermittent est déterminée par des signaux à excitation persistante, alors, sous des bonnes hypothèses sur $M$ et sur la rationalité des rapports entre les longueurs des arêtes du réseau, ce système est exponentiellement stable, uniformément par rapport aux signaux à excitation persistante. Ce résultat est montré grâce à une formule explicite pour les solutions du système, qui permet de bien suivre les effets de l'amortissement intermittent.Le sujet suivant que l'on considère est le comportement asymptotique d'équations aux différences non-autonomes. On obtient une formule explicite pour les solutions en termes des conditions initiales et de certains coefficients matriciels dépendants du temps, qui généralise la formule obtenue pour le système de $N$ équations de transport. Le comportement asymptotique des solutions est caractérisé à travers les coefficients matriciels. Dans le cas d'équations aux différences à commutation arbitraire, on obtient un résultat de stabilité qui généralise le critère de Hale--Silkowski pour les systèmes autonomes. Grâce à des transformations classiques d'EDPs hyperboliques en équations aux différences, on applique ces résultats au transport et à la propagation d'ondes sur des réseaux.Finalement, la formule explicite précédente est généralisée à une équation aux différences contrôlée, dont la contrôlabilité est alors analysée. La contrôlabilité relative est caractérisée à travers un critère algébrique sur les coefficients matriciels de la formule explicite, ce qui généralise le critère de Kalman. On compare également la contrôlabilité relative pour des retards différents en termes de leur structure de dépendance rationnelle, et on donne une borne sur le temps minimal de contrôlabilité. Pour des systèmes avec retards commensurables, on montre que la contrôlabilité exacte est équivalente à l'approchée et on donne un critère qui les caractérise. On analyse également la contrôlabilité exacte et approchée de systèmes en dimension $2$ avec deux retards sans l'hypothèse de commensurabilité. / Motivated by previous work on the stabilization of persistently excited systems, this thesis addresses stability and stabilization issues for linear switched systems in finite and infinite dimensions. After a general introduction presenting the main motivations and important results from the literature, we analyze four problems.The first system we study is a linear finite-dimensional random switched system. The time spend on each subsystem $i$ is chosen according to a probability law depending only on $i$, and the switches between subsystems are determined by a discrete Markov chain. We characterize the Lyapunov exponents by applying Oseledets' Multiplicative Ergodic Theorem to an associated discrete-time system, and provide an expression for the maximal Lyapunov exponent. These results are applied to a switched control system, showing that, under a controllability hypothesis, almost sure stabilization can be achieved with arbitrarily large decay rates, a situation in contrast to deterministic persistently excited systems.We next consider a system of $N$ transport equations with intermittent internal damping, linearly coupled by their boundary conditions through a matrix $M$, which can be seen as a system of PDEs on a star-shaped network. We prove that, if the activity of the intermittent damping terms is determined by persistently exciting signals, then, under suitable hypotheses on $M$ and on the rationality of the ratios between the lengths of the network edges, such system is exponentially stable, uniformly with respect to the persistently exciting signals. The proof of this result is based on an explicit representation formula for the solutions of the system, which allows one to efficiently track down the effects of the intermittent damping.The following topic we address is the asymptotic behavior of non-autonomous difference equations. We obtain an explicit representation formula for their solutions in terms of their initial conditions and some time-dependent matrix coefficients, which generalizes the one for the system of $N$ transport equations. The asymptotic behavior of solutions is characterized in terms of the matrix coefficients. In the case of difference equations with arbitrary switching, we obtain a stability result which generalizes Hale--Silkowski criterion for autonomous systems. Using classical transformations of hyperbolic PDEs into difference equations, we apply our results to transport and wave propagation on networks.Finally, we generalize the previous representation formula to a controlled difference equation, whose controllability is then analyzed. Relative controllability is characterized in terms of an algebraic property on the matrix coefficients from the explicit formula, generalizing Kalman criterion. We also compare the relative controllability for different delays in terms of their rational dependence structure, and provide a bound on the minimal controllability time. Exact and approximate controllability for systems with commensurable delays are characterized and proved to be equivalent. We also describe exact and approximate controllability for two-dimensional systems with two delays not necessarily commensurable.

Dans cette thèse, nous prouvons des résultats concernant le contrôle et la stabilisation d'équations dispersives étudiées sur un intervalle borné. Pour commencer, nous étudions la stabilisation interne du système de Gear-Grimshaw, qui est un système de deux équations de Korteweg-de-Vries (KdV) couplées. Nous obtenons une décroissance exponentielle de l'énergie totale associée au modèle en introduisant une fonction de Lyapunov convenable. Nous prouvons aussi des résultats de contrôlabilité à zéro et exacte pour l'équation de Korteweg-de Vries avec un contrôle distribué à support dans un sous-intervalle du domaine. Pour la contrôlabilité à zéro du système linéarisé, nous utilisons l'approche classique basée sur la dualité qui ramène le problème à l'étude d'une inégalité d'observabilité qui, dans ce travail, est établie à l'aide d'une inégalité de Carleman. Ensuite, utilisant des fonctions plateau, nous prouvons un résultat de contrôlabilité exacte. Dans les deux cas, le résultat concernant le système non linéaire est obtenu à l'aide d'un argument de point fixe. Enfin, dans la lignée du résultat de contrôlabilité au bord obtenu par L. Rosier pour KdV, nous prouvons que le système linéaire de Boussinesq de type KdV-KdV est exactement contrôlable lorsque des contrôles sont appliqués au bord. Notre méthode repose sur l'utilisation de multiplicateurs et l'approche de la dualité mentionnée ci-dessus. Lorsqu'un mécanisme d'amortissement est introduit au bord, nous montrons que le système non linéaire est aussi exactement contrôlable et que l'énergie associée au modèle décroit exponentiellement / This work is devoted to prove a series of results concerning the control and stabilization properties of dispersive models posed on a bounded interval. Initially, we study the internal stabilization of a coupled system of two Korteweg-de Vries equations (KdV), the so-called Gear-Grimshaw system. Defining a convenient Lyapunov function we obtain the exponential decay of the total energy associated to the model. We also prove results of null and exact controllability for the Korteweg-de Vries equation with a control acting internally on a subset of the domain. In the case of the null controllability for the linear model, we use a classical duality approach which reduces the problem to the study of an observability inequality that, in this work, is proved by means of a Carleman inequality. Then, making use of cut-off functions, the exact controllability is also investigated. In both cases, the result for the nonlinear system is obtained by means of fixed-point argument. Finally, in view of the result of the boundary controllability obtained by L. Rosier for the KdV equation, we prove that the linear Boussinesq system of KdV-KdV type is exactly controllable when the controls act in the boundary conditions. Our analysis is performed using multipliers and the duality approach mentioned above. Adding a damping mechanism in the boundary, it is proved that the nonlinear system is also exactly controllable and that the energy associated to the model decays exponentially

L'objectif de cette thèse est, d'une part, de fournir des méthodes de planification de mouvements pour les systèmes non-holonomes, et d'autre part, d'étudier la contrôlabilité spectrale pour les équations de Schrödinger linéarisées. Nous avons apporté une double contribution au problème de la planification de mouvements pour les systèmes non-holonomes. Fondé sur la géométrie sous-riemannienne, nous avons conçu un nouvel algorithme qui résout complètement le problème dans un cadre général. Nous avons également proposé une implémentation numérique de la méthode de continuation qui fournit des solutions satisfaisantes au problème de la planification du roulement sur le plan, un exemple classique de systèmes non-holonomes à deux entrées. Nous avons donné des conditions nécessaires et suffisantes de contrôlabilité spectrale en temps fini des équations de Schrödinger linéarisées en dimension 2 et 3. Leur généricité par rapport au domaine a été étudiée par une technique originale basée sur les équations intégrales.

Dans cette thèse on s'intéresse à la contrôlabilité de deux classes de systèmes paraboliques linéaires.On caractérise dans un premier temps la contrôlabilité à zéro de systèmes à coefficients constants en dimension 1 lorsque les contrôles agissent sur différentes parties du domaine ou de sa frontière.On regarde ensuite avec le théorème de Fattorini la contrôlabilité frontière approchée de ces systèmes en dimension quelconque.On obtient notamment que les systèmes de 2 équations sont toujours contrôlables dans un rectangle si la zone de contrôle contient 2 directions.Dans un autre travail sur les systèmes à coefficients constants, on obtient une estimation du coût du contrôle frontière à zéro en dimension 1.On utilise ce résultat pour montrer que la contrôlabilité frontière à zéro dans des domaines cylindrique est réduite à la contrôlabilité frontière à zéro en dimension 1.On étudie ensuite la contrôlabilité approchée de systèmes en cascade avec un couplage d'ordre 1.On prouve que la contrôlabilité interne avec un couplage constant à toujours lieu, quel que soit la dimension et la zone de contrôle.On établit d'autre part une caractérisation de la contrôlabilité frontière en dimension 1 avec un couplage variable.Enfin, dans une dernière partie on s'intéresse à la contrôlabilité interne approchée de systèmes en cascade à coefficients variables en dimension 1.On montre qu'on est ramené à établir une caractérisation de la propriété de continuation unique pour une équation elliptique non-homogène.A l'aide de la caractérisation alors obtenue on montre en particulier comment la géométrie de la zone de contrôle peut influencer la contrôlabilité des systèmes. / This thesis focuses on the controllability of two classes of linear parabolic systems.We start with a caracterization of the null-controllability of systems with constant coefficients in dimension 1 where the controls are acting on different parts of the domain or its boundary.With the help of the theorem of Fattorini we then look at the boundary approximate controllability of these systems in any dimension.We show that a system of 2 equations is always approximately controllable on a rectangle if we assume that the control domain contains 2 directions.In another work on the systems with constant coefficients, we obtain an estimate of the boundary null-control cost in dimension 1.We then use this result to show that the boundary null-controllability in cylindrical domains is reduced to the boundary null-controllability in dimension 1.We then study the approximate controllability of cascade systems with a first order coupling term.We prove the distributed controllability when the coupling is constant, whatever the dimension and control domain are.On the other hand, we establish a caracterisation of the boundary controllability in dimension 1 for space-dependent couplings.Last, we investigate the distributed approximate controllability of cascade systems with space-dependent coefficients in dimension 1.Using the theorem of Fattorini and the structure of the systems under study we are lead to characterize the unique continuation property for a non-homogeneous elliptic equation.With the help of the caracterization then obtained we show in particular how the geometry of the control domain can affect the controllability properties of systems.