Le but de cette thèse est de présenter quelques contributions dans le cadre du contrôle des équations différentielles stochastiques en dimension finie où infinie :<br />(1) Contrôle stochastique non borné sous contraintes d'état.<br />Nous étudions une condition nécessaire sous laquelle les solutions d'une EDS régie par un processus de contrôle non-borné restent dans un voisinage arbitrairement petit d'un ensemble donné de contraintes.<br />(2) Contrôlabilité approchée pour des équations différentielles linéaires avec bruit contrôlé.<br />Dans cette deuxième partie, on s'intéresse à la propriété de contrôlabilité approchée pour une EDS linéaire. Nous proposons une généralisation de la condition de Kalman pour le cas général où le contrôle agit sur le bruit.<br />(3) Contrôlabilité approchée pour des équations différentielles linéaires en dimension infinie.<br />La troisième partie est dédiée à l'étude de la propriété de contrôlabilité approchée pour un système stochastique linéaire dans un espace de Hilbert réel et séparable. En particulier, nous montrons l'existence et unicité pour la solution de l'EDSR duale lorsque les opérateurs qui agissent sur Y et Z sont non-bornés. Dans le cas d'un générateur infinitésimal d'un semi-groupe exponentiellement stable, nous montrons que le test généralisé de Hautus donne une condition nécessaire pour la contrôlabilité approchée.<br />(4) Assurance, réassurance et paiement de dividendes.<br />Nous introduisons un modèle d'assurance qui permet la réassurance et le paiement des dividendes. Notre modèle prend en compte plusieurs contrats homogènes ainsi que la législation européenne en vigueur concernant les provisions des sociétés d'assurance.

Cette thèse est consacrée à l'étude de la contrôlabilité approchée et à zéro des systèmes paraboliques linéaires sur un domaine non vide borné Ω de (), contrôlés par moins de forces que d'équations. Les contrôles seront localisés sur un ouvert de Ω ou sur son bord. Nous étudierons deux problèmes différents. Le premier consiste à contrôler une des équations indirectement à l'aide d'un opérateur de couplage d'ordre un. Nous obtenons alors des résultats pour plusieurs classes d'opérateurs et de systèmes. La deuxième question que nous étudierons est de savoir s'il est possible de contrôler seulement certaines composantes de la solution du système. Nous donnons une condition nécessaire et suffisante lorsque les coefficients de couplage sont constants ou dépendent du temps et étudions un système simplifié quand ils dépendent de l'espace. Nous terminerons en détaillant un schéma numérique avec lequel nous fournirons des perspectives quant à quelques problèmes qui restent ouverts en contrôlabilité partielle des systèmes paraboliques linéaires. / This thesis is devoted to the study of the approximate and null controllability of linear parabolic systems on a nonempty bounded domain Ω of(), controlled by less controls than equations. The controls will be localized in an open set of Ω or on its boundary. We will study two different problems. The first of them involves controlling one of the equations indirectly with a coupling operator of order one. We obtain some results for different class of operators and systems. The second question we will study is to know if it is possible to control only some components of the solution of the system. We give a necessary and sufficient condition when the coupling coefficients are constant or time depending and study a simplified system when they are space dependent. We will finish by giving details on a numerical scheme with which we provide perspectives concerning some open problems in partial controllability of linear parabolic systems.

Dans cette thèse, nous étudions un problème de contrôle et un problème inverse pour les équationsde la chaleur. Notre premier travail concerne la contrôlabilité à zéro pour une équation de la chaleur semi-linéaire. Il est à noter que sans contrôle, la solution est instable et il y aura en général explosion de la solution en un temps fini. Ici, nous proposons un résultat positif de contrôlabilité à zéro sous une hypothèse quantifiée de petitesse sur la donnée initiale. La nouveauté réside en la construction de ce contrôle pour amener la solution à l’état d’équilibre.Notre second travail aborde l’équation de la chaleur rétrograde dans un domaine borné et sous la condition de Dirichlet. Nous nous intéressons à la question suivante: peut-on reconstruire la donnée initiale à partir d’une observation de la solution restreinte à un sous-domaine et à un temps donné? Ce problème est connu pour être mal-posé. Ici, les deux principales méthodes proposées sont: une approche de filtrage des hautes fréquences et une minimisation à la Tikhonov. A chaque fois, nous reconstruisons de manière approchée la solution et quantifions l’erreur d’approximation / My thesis focuses on two main problems in studying the heat equation: Control problem and Inverseproblem.Our first concern is the null controllability of a semilinear heat equation which, if not controlled, can blow up infinite time. Roughly speaking, it consists in analyzing whether the solution of a semilinear heat equation, underthe Dirichlet boundary condition, can be driven to zero by means of a control applied on a subdomain in whichthe equation evolves. Under an assumption on the smallness of the initial data, such control function is builtup. The novelty of our method is computing the control function in a constructive way. Furthermore, anotherachievement of our method is providing a quantitative estimate for the smallness of the size of the initial datawith respect to the control time that ensures the null controllability property.Our second issue is the local backward problem for a linear heat equation. We study here the followingquestion: Can we recover the source of a linear heat equation, under the Dirichlet boundary condition, from theobservation on a subdomain at some time later? This inverse problem is well-known to be an ill-posed problem,i.e their solution (if exists) is unstable with respect to data perturbations. Here, we tackle this problem bytwo different regularization methods: The filtering method and The Tikhonov method. In both methods, thereconstruction formula of the approximate solution is explicitly given. Moreover, we also provide the errorestimate between the exact solution and the regularized one.

Les systèmes d'Equations aux Dérivées Partielles Hyperboliques Linéaires du Premier Ordre (EDPs HLPO) permettent de modéliser de nombreux systèmes de lois de conservation. Ils apparaissent, par exemple, lors de la modélisation de problèmes de trafic routier, d'échangeurs de chaleurs, ou de problèmes multiphasiques. Différentes approches ont été proposées pour stabiliser ou observer de tels systèmes. Parmi elles, la méthode de backstepping consiste à transformer le système originel en un système découplé pour lequel la synthèse de la loi de commande est plus simple. Les contrôleur obtenus par cette méthode sont explicites.Dans la première partie de cette thèse, nous présentons des résultats généraux de théorie des systèmes. Plus précisément, nous résolvons les problèmes de stabilisation en temps fini pour une classe générale d'EDPs HLPO. Le temps de convergence minimal atteignable dépend du nombre d'actionneurs disponibles. Les observateurs associés à ces contrôleurs (nécessaires pour envisager une utilisation industrielle de tels contrôleurs) sont obtenus via une approche duale. Un des avantages importants de l'approche considérée dans cette thèse est de montrer que l'espace généré par les solutions de l'EDPs HLPO considérée est isomorphe à l'espace généré par les solutions d'une système neutre à retards distribués.Dans la seconde partie de cette thèse, nous montrons la nécessité d'un changement de stratégie pour résoudre les problèmes de contrôle robuste. Ces questions surviennent nécessairement lorsque sont considérées des applications industrielles pour lesquelles les différents paramètres du système peuvent être mal connus, pour lesquelles des dynamiques peuvent avoir été négligées, de même que des retards agissant sur la commande ou sur la mesure, ou encore pour lesquels les mesures sont bruitées. Nous proposons ainsi quelques modifications sur les lois de commande précédemment développées en y incorporant plusieurs degrés de liberté permettant d'effectuer un compromis entre performance et robustesse. L'analyse de stabilité et de robustesse sous-jacente est rendue possible en utilisant l'isomorphisme précédemment introduit. / Linear First-Order Hyperbolic Partial Differential Equations (LFOH PDEs) represent systems of conservation and balance law and are predominant in modeling of traffic flow, heat exchanger, open channel flow or multiphase flow. Different control approaches have been tackled for the stabilization or observation of such systems. Among them, the backstepping method consists to map the original system to a simpler system for which the control design is easier. The resulting controllers are explicit.In the first part of this thesis, we develop some general results in control theory. More precisely, we solve the problem of finite-time stabilization of a general class of LFOH PDEs using the backstepping methodology. The minimum stabilization time reachable may change depending on the number of available actuators. The corresponding boundary observers (crucial to envision industrial applications) are obtained through a dual approach. An important by-product of the proposed approach is to derive an explicit mapping from the space generated by the solutions of the considered LFOH PDEs to the space generated by the solutions of a general class of neutral systems with distributed delays. This mapping opens new prospects in terms of stability analysis for LFOH PDEs, extending the stability analysis methods developed for neutral systems.In the second part of the thesis, we prove the necessity of a change of strategy for robust control while considering industrial applications, for which the major limitation is known to be the robustness of the resulting control law to uncertainties in the parameters, delays in the loop, neglected dynamics or disturbances and noise acting on the system. In some situations, one may have to renounce to finite-time stabilization to ensure the existence of robustness margins. We propose some adjustments in the previously designed control laws by means of several degrees of freedom enabling trade-offs between performance and robustness. The robustness analysis is fulfilled using the explicit mapping between LFOH PDEs and neutral systems previously introduced.

Dans cette thèse, nous étudions deux exemples issus de la mécanique statistique. Les polymères dirigés en environnement aléatoire sont un modèle de système se trouvant à l'état d'équilibre. Nous donnons un critère de comparaison entre les entropies du réseau et de l'environnement permettant d'améliorer la borne inférieure sur la température critique. Nous utilisons également certains résultats connus dans le cadre de l'équation d'Anderson parabolique pour obtenir le comportement asymptotique de l'énergie libre. Par ailleurs, nous utilisons les polymères dirigés pour donner une preuve simple de l'indépendance de la fonction de Lyapunov de l'équation d'Anderson parabolique par rapport à la condition initiale.<br /><br />Les réseaux conducteurs de chaleur sont étudiés hors équilibre. Lorsque les potentiels d'interaction sont harmoniques, nous donnons une interprétation géométrique de la condition d'existence et d'unicité de la mesure invariante via un théorème de complétude. Dans le cas où cette condition fait défaut, nous explicitons une quantité invariante par le flot hamiltonien. Nous généralisons ensuite les résultats d'unicité à des potentiels analytiques. Nous montrons que la condition de Hörmander est suffisante pour avoir l'unicité de la mesure invariante via la contrôlabilité. Le principe de Lasalle est ensuite utilisé pour montrer l'unicité sans la condition d'Hörmander. Nous évoquons également le problème de l'existence de telles mesures.

Nous considérons le cas d'un corps faiblement élastique dont une partie de la frontière est encastrée. Notre problème est de déterminer un contrôle sur la partie de la frontière laissée libre (non-encastrée), de telle sorte que le système, quelque soit son état d'origine, s'amortisse le plus rapidement possible.<br /><br />En d'autres termes, nous considérons un système élastodynamique, amorti au moyen d'une rétroaction définie par une condition de type Neumann sur une partie de la frontière, l'autre partie de la frontière étant munie des conditions de Dirichlet homogène. Nous obtenons des résultats de stabilisation frontière linéaire et non-linéaire, ainsi qu'un résultat de contrôlabilité. Nous démontrons pour cela des relations ad-hoc, dites de Rellich, puis nous utilisons la méthode des multiplicateurs.<br /><br />L'originalité de ce travail réside dans la présence d'une interface entre la partie Dirichlet et la partie Neumann, qui génère des singularités.

Nous nous intéressons dans cette thèse à l'étude de systèmes couplés fluide-structure. Ces systèmes peuvent modéliser l'écoulement du sang dans un vaisseau large. La vitesse et la pression du sang sont alors décrites par les équations de Navier-Stokes incompressibles et le déplacement de la partie mobile de la frontière vérifie une équation des poutres/ plaques (selon la dimension du modèle). Dans la première partie, nous montrons l'existence de solutions fortes à deux systèmes (correspondant à un paramètre nul ou non) en deux ou trois dimensions. Plus précisément, nous prouvons l'alternative suivante. Nous avons soit l'existence globale pour des conditions initiales petites, soit l'existence locale pour des conditions initiales quelconques. Dans une seconde partie, nous étudions d'une part la contrôlabilité à zéro d'un système couplant les équations de Navier-Stokes à une équation différentielle ordinaire pour des conditions initiales petites en deux dimensions. D'autre part, nous montrons la stabilisation (pour tout taux de décroissance) d'un système couplant les équations de Navier-Stokes et deux équations des plaques par deux contrôles dans le cadre périodique pour des conditions initiales petites. Dans ce cas, les contrôles sont de dimension finie.

Les Systèmes de Contrôle Embarqués Distribués (SCED) utilisent les réseaux de communication dans les boucles de rétroaction. Étant donné que les systèmes SCED ont une puissance de batterie, une bande passante de communication et une puissance de calcul limitée, les débits des données ou des informations transmises sont bornées et ils peuvent affecter leur stabilité. Ceci nous amène à élargir le spectre de notre étude et y intégrer une étude sur la relation entre la théorie du contrôle d'un coté et celle de l'information de l'autre. La contrainte de débit de données induit la quantification des signaux tandis que les aspects de calcul temps réel et de communication induit des événements asynchrones qui ne sont plus réguliers ou périodiques. Ces deux phénomènes donnent au SCED une double nature, continue et discrète, et en font des cas d'étude spécifiques. Dans cette thèse, nous analysons la stabilité et la performance de SCED du point de vue de la théorie de l'information et du contrôle. Pour les systèmes linéaires, nous montrons l'importance du compromis entre la quantité d'information communiquée et les objectifs de contrôle, telles que la stabilité, la contrôlabilité/observabilité et les performances. Une approche de conception conjointe de contrôle et de communication (en termes de débit d'information au sens de Shannon) des SCED est étudiée. Les principaux résultats de ces travaux sont les suivants : nous avons prouvé que la réduction d'entropie (ce qui correspond à la réduction d'incertitude) dépend du Grammien de contrôlabilité. Cette réduction est également liée à l'information mutuelle de Shannon. Nous avons démontré que le Grammien de contrôlabilité constitue une métrique de l'entropie théorique de l'information en ce qui concerne les bruits induits par la quantification. La réduction de l'influence de ces bruits est équivalente à la réduction de la norme du Grammien de contrôlabilité. Nous avons établi une nouvelle relation entre la matrice d'information de Fisher (FIM) et le Grammien de Contrôlabilité (CG) basé sur la théorie de l'estimation et la théorie de l'information. Nous proposons un algorithme qui distribue de manière optimale les capacités de communication du réseau entre un nombre "n" d'actionneurs et/ou systèmes concurrents se basant sur la réduction de la norme du Grammien de Contrôlabilité

Les Systèmes de Contrôle Embarqués Distribués (SCED) utilisent les réseaux de communication dans les boucles de rétroaction. Étant donné que les systèmes SCED ont une puissance de batterie, une bande passante de communication et une puissance de calcul limitée, les débits des données ou des informations transmises sont bornées et ils peuvent affecter leur stabilité. Ceci nous amène à élargir le spectre de notre étude et y intégrer une étude sur la relation entre la théorie du contrôle d'un coté et celle de l'information de l'autre. La contrainte de débit de données induit la quantification des signaux tandis que les aspects de calcul temps réel et de communication induit des événements asynchrones qui ne sont plus réguliers ou périodiques. Ces deux phénomènes donnent au SCED une double nature, continue et discrète, et en font des cas d'étude spécifiques. Dans cette thèse, nous analysons la stabilité et la performance de SCED du point de vue de la théorie de l'information et du contrôle. Pour les systèmes linéaires, nous montrons l'importance du compromis entre la quantité d'information communiquée et les objectifs de contrôle, telles que la stabilité, la contrôlabilité/observabilité et les performances. Une approche de conception conjointe de contrôle et de communication (en termes de débit d'information au sens de Shannon) des SCED est étudiée. Les principaux résultats de ces travaux sont les suivants : nous avons prouvé que la réduction d'entropie (ce qui correspond à la réduction d'incertitude) dépend du Grammien de contrôlabilité. Cette réduction est également liée à l'information mutuelle de Shannon. Nous avons démontré que le Grammien de contrôlabilité constitue une métrique de l'entropie théorique de l'information en ce qui concerne les bruits induits par la quantification. La réduction de l'influence de ces bruits est équivalente à la réduction de la norme du Grammien de contrôlabilité. Nous avons établi une nouvelle relation entre la matrice d'information de Fisher (FIM) et le Grammien de Contrôlabilité (CG) basé sur la théorie de l'estimation et la théorie de l'information. Nous proposons un algorithme qui distribue de manière optimale les capacités de communication du réseau entre un nombre "n" d'actionneurs et/ou systèmes concurrents se basant sur la réduction de la norme du Grammien de Contrôlabilité

Cette thèse porte sur l'étude de quelques questions liées à l'identifiabilité et l'identification d'un problème inverse non-linéaire de source. Il s'agit de l'identification d'une source ponctuelle dépendante du temps constituant le second membre d'une équation de type advection-dispersion-réaction à coefficients variables. Dans le cas monodimensionnel, la souplesse du modèle stationnaire nous a permis de développer des réponses théoriques concernant le nombre des capteurs nécessaires et leurs emplacements permettant d'identifier la source recherchée d'une façon unique. Ces résultats nous ont beaucoup aidés à définir la ligne de conduite à suivre afin d'apporter des réponses similaires pour le modèle transitoire. Quant au modèle bidimensionnel transitoire, en utilisant quelques résultats de nulle contrôlabilité frontière et des mesures de l'état sur la frontière sortie et de son flux sur la frontière entrée du domaine étudié, nous avons établi un théorème d'identifiabilité et une méthode d'identification permettant de localiser les deux coordonnées de la position de la source recherchée comme étant l'unique solution d'un système non-linéaire de deux équations, et de transformer l'identification de sa fonction de débit en la résolution d'un problème de déconvolution. La dernière partie de cette thèse discute la difficulté principale rencontrée dans ce genre de problèmes inverses à savoir la non identifiabilité d'une source dans sa forme abstraite, propose une alternative permettant de surmonter cette difficulté dans le cas particulier où le but est d'identifier le temps limite à partir duquel la source impliquée a cessé d'émettre, et donc ouvre la porte sur de nouveaux horizons.