On constate de plus en plus fréquemment la présence de systèmes électroniques dans les véhicules fabriqués aujourd'hui. Leur implantation et leur commercialisation sont dictées par la nécessité pour les constructeurs automobiles de fournir à leur clientèle un produit permettant d'avoir des performances au sommet du segment du véhicule, accompagnées par une sécurité et un confort accrus. C'est en raison de ce besoin que des systèmes pour contrôler le comportement latéral ont vu le jour.<br />Dans cette thèse différentes stratégies de commande ont été envisagées afin de pouvoir asservir les dynamiques latérales du véhicule : des contrôleurs asservissant la dynamique de lacet et celle de roulis y sont présentés. Les actionneurs retenus sont ceux associés aux braquages des roues, au freinage ainsi qu'aux efforts des suspensions. Dans une première partie, une analyse utilisant un seul actionneur à la fois pour piloter la dynamique latérale est effectuée. Suite à ces résultats, des stratégies pilotant plusieurs actionneurs en même temps ont été développées.<br />Vue la nécessité de garantir des performances très contraignantes tout en assurant la robustesse des contrôleurs et en prenant en compte l'évolution du comportement dynamique du véhicule, les méthodologies de commande utilisées ont été choisies parmi celles typiques de la commande robuste, à savoir l'approche H-infini/LPV, complétées par des techniques de réduction d'ordre.<br />Les résultats obtenus nous ont permis de conclure que les méthodologies choisies sont bien adaptées à notre problématique. Nous avons aussi pu fournir des conclusions vis-à-vis des performances et des contraintes industrielles lors de l'utilisation des différentes architectures de commande pour piloter plusieurs actionneurs.

Les traitements de surface sont des moyens de plus en plus utilisés pour augmenter la résistance en fatigue des pièces métalliques en améliorant les propriétés du matériau. Chez PSA Peugeot Citroën, certaines pièces sont traitées thermochimiquement (par cémentation ou carbonitruration) avant d'être grenaillées de manière à tirer profit des avantages respectifs de chaque procédé. Cette étude a pour but de comprendre l'effet du couplage entre ces deux traitements de surface sur la génération des champs mécaniques. Des investigations expérimentales ont permis de mettre en évidence les effets suivant du grenaillage sur un matériau cémenté (ou carbonitruré) dans la couche superficielle: (a) le grenaillage augmente la dureté, (b) il augmente considérablement le niveau des contraintes résiduelles, (b) il permet de transformer de l'austénite résiduelle en martensite. Un modèle élément fini du grenaillage des pièces ayant été traitées thermochimiquement a été étudié. L'état mécanique après traitements thermochimiques a été déterminé expérimentalement par diffraction des rayons X. Le modèle du grenaillage prend en compte cet état initial en termes de contraintes résiduelles, déformations plastiques et de variable d'écrouissage. Le matériau est donc à gradient de propriété et se comporte tel un véritable composite. La loi de comportement en profondeur est obtenue en liant le profil de dureté aux propriétés du matériau. Le modèle permet d'estimer, entre autres, les profils des contraintes et des déformations plastiques des pièces préalablement traitées thermochimiques.

Ce travail traite du calcul fonctionnel des op\'rateurs dont le spectre est contenu dans les nombres r\'{e}els positifs. On s'int\'resse en particulier aux th\'{e}or\`{e}mes de multiplicateurs spectraux.\\ On aborde le calcul abstrait et optimal, c'est-\`{a}-dire les homomorphismes $u : C(K) \to B(X)$. Si $X$ est un espace de Hilbert, alors l'extension naturelle $\hat{u} : C(K;[u]') \to B(X)$ de $u$ sur l'ensemble des op\'rateurs est \` nouveau born\'{e}e. En utilisant la $R$-bornitude, un renforcement de la bornitude uniforme, on donne une extension de ce r\'sultat \` des espaces de Banach g\'{e}n\'raux $X$ et on l'applique au calcul $H$ infini et aux bases inconditionnelles dans des espaces $L^p$.\\ On d\'{e}veloppe des calculs associ\'s \` des op\'{e}rateurs sectoriels. Les exemples classiques en sont les th\'or\`mes spectraux de Mihlin et H\"{o}rmander donnant des classes de fonctions lisses qui forment des multiplicateurs de Fourier sur $L^p$. Ces th\'{e}or\`{e}mes ont d\'{e}j\`{a} \'{e}t\'{e} \'{e}tendus \`{a} une large classe d'op\'{e}rateurs de type Laplacien. On les regroupe sous une forme unifi\'{e}e gr\^{a}ce \`{a} la th\'{e}orie des op\'{e}rateurs: on compare le calcul de Mihlin et de H\"rmander \` la bornitude des familles classiques associ\'{e}es \`{a} un op\'rateur sectoriel.\\ Pour la famille des puissances imaginaires, on donne une caract\'{e}risation de leur croissance polynomiale en fonction d'un calcul fonctionnel qui raffine le calcul de Mihlin.\\ On \'tudie des semi-groupes de diffusion qui agissent sur une \'{e}chelle d'espaces de Banach. Il est connu que le semi-groupe a une extension analytique sur un secteur dans le plan complexe si cette \'chelle consiste des espaces $L^p$. On donne une g\'{e}n\'ralisation de ce r\'{e}sultat \`{a} des espaces $L^p$ non commutatifs en utilisant la th\'orie des espaces d'op\'{e}rateurs.

Nous proposons une approche spectrale permettant d'aborder des problèmes d'interpolation à noyaux dont la résolution numérique n'est pas directement envisageable. Un tel cas de figure se produit en particulier lorsque le nombre de données est infini. Nous considérons dans un premier temps le cadre de l'interpolation optimale dans les sous-espaces hilbertiens. Pour un problème donné, un opérateur intégral est défini à partir du noyau sous-jacent et d'une paramétrisation de l'ensemble des données basée sur un espace mesuré. La décomposition spectrale de l'opérateur est utilisée afin d'obtenir une formule de représentation pour l'interpolateur optimal et son approximation est alors rendu possible par troncature du spectre. Le choix de la mesure induit une fonction d'importance sur l'ensemble des données qui se traduit, en cas d'approximation, par une plus ou moins grande précision dans le rendu des données. Nous montrons à titre d'exemple comment cette approche peut être utilisée afin de rendre compte de contraintes de type "conditions aux limites" dans les modèles d'interpolation à noyaux. Le problème du conditionnement des processus gaussiens est également étudié dans ce contexte. Nous abordons enfin dans la dernière partie de notre manuscrit la notion de noyaux conditionnellement positifs. Nous proposons la définition générale de noyaux symétriques conditionnellement positifs relatifs à une espace de référence donné et développons la théorie des sous-espaces semi-hilbertiens leur étant associés. Nous étudions finalement la théorie de l'interpolation optimale dans cette classe d'espaces.

La stabilisation inertielle de ligne de visée est essentiellement un problème de rejet de perturbations : il faut rendre la ligne de visée de la caméra embarquée dans le viseur insensible aux mouvements du porteur. Les méthodes de commande robuste du type H-infini sont bien adaptées à la résolution de ce type de problème, et plus particulièrement l'approche Loop-Shaping qui repose sur des concepts de réglage de l'automatique fréquentielle classique. Cependant, les correcteurs obtenus via cette approche sont généralement d'ordre élevé et donc difficilement implémentables sur le calculateur embarqué du viseur.Dans cette thèse, nous avons proposé des méthodologies de synthèse de correcteurs robustes d'ordre réduit et/ou de structure fixée. Pour cela, nos travaux ont été axés sur :- L'optimisation pour la synthèse H-infini à ordre et/ou structure fixée. Tout d'abord nous avons exploré les possibilités offertes par l'optimisation sous contraintes LMI (Linear Matrix Inequalities). Celles-ci se sont avérées limitées, bien que de nombreux algorithmes aient été proposés dans ce cadre depuis le début des années 90. Ensuite, nous avons opté pour l'optimisation non lisse. En effet des outils numériques récemment développés rendent accessible cette approche, et leur efficacité s'est avéré indéniable.- L'adaptation au cadre particulier du critère H-infini Loop-Shaping.La structure particulière de ce critère de synthèse a été exploitée afin de mieux prendre en compte les pondérations, et d'améliorer la réduction d'ordre du correcteur final. Enfin, une approche basée uniquement sur le réglage graphique d'un gabarit de gain fréquentiel en boucle ouverte est proposée. Ces différentes méthodologies sont illustrées, tout au long de la thèse, sur un viseur dont le modèle a été identifié à partir de mesures expérimentales.

L'apprentissage d'un réseau Bayésien consiste à estimer le graphe (la structure) et les paramètres des distributions de probabilités conditionnelles associées à ce graphe. Les algorithmes d'apprentissage de réseaux Bayésiens utilisent en pratique une approche Bayésienne classique d'estimation a posteriori dont les paramètres sont souvent déterminés par un expert ou définis de manière uniforme Le coeur de cette thèse concerne l'application aux réseaux Bayésiens de plusieurs avancées dans le domaine des Statistiques comme l'estimation implicite, les familles exponentielles naturelles ou les mélanges infinis de lois Gaussiennes dans le but de (1) proposer de nouvelles formes paramétriques, (2) estimer des paramètres de tels modèles et (3) apprendre leur structure.

Ce travail a comme objectif d'analyser la voix et le silence dans l'œuvre fragmentaire de deux écrivains, Fernando Pessoa (1888-1935) et Maurice Maeterlinck (1862-1949), héritiers de plusieurs cultures, auteurs dont l'écriture gagne un surplus de sens grâce aux voix qu'elle crée et qui font entendre leurs mots ou bien le silence de leur absence.A travers l'analyse de quelques-unes de leurs oeuvres, nous essayons de comprendre jusqu'à quel point ces deux poètes, rattachés aux mouvements moderniste et symboliste, vécurent l'inquiétude propre à leur siècle, réfléchissant sur les raisons qui les menèrent à transformer la vie en un éternel mouvement vers l'absolu, une quête d'un état d'âme impossible en dehors de leur création poétique ou théâtrale. Nous tenterons ainsi de justifier, dans la mesure du possible, la forme inachevée d'une grande partie de leurs écrits, marqués par la dépersonnalisation et le questionnement concernant l'énigme de l'existence.Fernando Pessoa et ses hétéronymes seront les voix (im)possibles dans le silence de Maeterlinck, deux formes d'une même polyphonie, placée en rapport avec la fragmentation formelle des personnages des oeuvres de chacun des auteurs.

Cette thèse apporte plusieurs contributions dans le domaine des langages formels. Notre premier travail a été de montrer la pertinence des grammaires de graphes comme outil de démonstration de résultats fondamentaux sur les langages algébriques. Nous avons ainsi reformulé avec un point de vue géométrique les démonstrations du lemme des paires itérantes et du lemme de Parikh. Nous avons ensuite étendu aux graphes réguliers des algorithmes de base sur les graphes finis, notamment pour calculer des problèmes de plus court chemin. Ces extensions ont été faites par calcul de plus petits points fixes sur les grammaires de graphes. Enfin, nous avons caractérisé des familles générales de systèmes de récriture de mots dont la dérivation préserve la régularité ou l'algébricité. Ces familles ont été obtenues par décomposition de la dérivation en une substitution régulière suivie de la dérivation du système de Dyck

De nos jours, la plupart des véhicules sont équipés de Directions Assistées Electriques (DAE). Ce type de systèmes d'aide à la conduite permet de réduire les efforts que le conducteur doit fournir pour tourner les roues. Ainsi, grâce à un moteur électrique, la DAE applique un couple additionnel en accord avec le comportement du conducteur et la dynamique du véhicule. Il est donc nécessaire de développer une commande en couple basée en particulier sur le signal provenant d'un capteur mesurant le couple agissant au niveau de la barre de torsion (correspondant à une image du couple conducteur). Ce composant est donc essentiel au fonctionnement de la DAE. Or, une défaillance de ce capteur entraine le plus souvent une coupure de l'assistance, pouvant mener à un risque d'accidents. Au regard de la sécurité fonctionnelle, un développement d'un mode de sécurité est recommandé, par de plus en plus de constructeurs automobiles. D'autre part, le marché des équipementiers automobiles reste un secteur très concurrentiel où une baisse des coûts de production est un challenge constamment recherché afin de gagner de nouvelles parts de marchés. Cet aspect de réduction du nombre de capteurs et d'analyse de la dynamique du véhicule s'inscrit donc dans le prolongement de la stratégie de sécurité. Cette thèse, menée au sein de JTEKT Europe, aborde ces divers enjeux. Après une présentation des différents systèmes de directions assistés électriques, des modèles sont présentés pour être utilisés lors de la conception de lois de commande et d'estimateurs. Ensuite deux méthodes d'estimation du couple conducteur sujet aux perturbations de la route et aux bruits de mesures sont proposées : la première est un observateur proportionnel intégral (PI) à synthèse mixte $H_infty/H_2$, et la seconde une approche par filtrage $H_infty$. Puis plusieurs stratégies de commande sont proposées suivant deux cas de figures distincts, soit en utilisant un observateur PI qui estime les états du système et le couple conducteur (LQR, commande LPV par retour d'état), soit en faisant abstraction d'estimateur de couple conducteur (commande $H_infty$ par retour de sortie dynamique). Ce dernier aspect présente l'avantage de nécessiter moins de mesures que le précédent. Ces approches ont été validées en simulation et mises en œuvre sur un véhicule prototype où des résultats prometteurs ont été obtenus. / Nowadays, modern vehicles are equipped with more and more driving assistance systems, among them Electric Power Steering (EPS) helps the driver to turn the wheels. Indeed, EPS provides through an electric motor, an additional torque according to the driver's behaviour and the vehicle's dynamics to reduce the amount of effort required to the driver. Therefore, a torque control is developed based on the torque sensor signal which measures in practice the torsion bar torque (corresponding to an image of the driver torque). Consequently, this component is essential to the functioning of EPS systems.Indeed, a torque sensor failure usually leads to shut-off the assistance which may increase the risk of accident. Regarding functional safety, a back-up mode is recommended and required by more and more car manufacturers. On the other hand, a major challenge for automotive suppliers is to reduce cost production in order to meet growing markets demands and manage in the competitive sector. This issue considering a reduction of sensors' numbers and analysis of vehicle's dynamics is therefore an extension of applying the safety strategy. This thesis, carried out within JTEKT Europe, addresses these various issues.After introducing an overview of the different EPS systems, some models used for the design of controllers and estimators are presented. Then, two methods to estimate the driver torque subject to road disturbances and noise measurements are proposed: the first is a proportional integral observer (PI) with mixed synthesis $H_infty / H_2 $, whereas the second is an $ H_infty $ filtering approach. Then, several control strategies are proposed according to two different cases, either by using a PI observer which estimates the system states and the driver torque (LQR, LPV feedback control) or by not taking into account the driver torque estimation ($ H_infty $dynamic output feedback control). This latter approach has the advantage to require less measurements than the previous one. These approaches have been validated in simulation and implemented on a prototype vehicle where promising results have been obtained.

Dans ce travail, nous abordons les problèmes de l'analyse de la stabilité et de la synthèse de contrôleur pour une Equation aux Dérivées Partielles (EDP) parabolique linéaire de dimension 1. Ces problèmes sont résolus avec des méthodologies analogues au cadre des inégalités matricielles linéaires (LMI) pour les équations différentielles ordinaires (EDO). Nous développons une méthode pour EDP paraboliques dans laquelle nous testons la faisabilité de certaines LMIs utilisant la programmation semi-définie (SDP) pour construire des fonctions de Lyapunov quadratiques et des contrôleurs. Le cœur de notre démarche est la construction de fonctions de Lyapunov quadratiques paramétrées par les opérateurs définis positifs sur les espaces de Hilbert de dimension infinie. Contrairement aux matrices positives, il n'y a pas de méthode unique paramétrisant l'ensemble des opérateurs positifs sur un espace de Hilbert. Bien sûr, nous pouvons toujours paramétrer un sous-ensemble des opérateurs positifs en utilisant, par exemple, des scalaires positifs. Cependant, nous devons nous assurer que le paramétrage des opérateurs positifs ne doit pas être conservatif. Notre contribution est de construire une paramétrisation qui a seulement une petite quantité de conservatisme comme indiqué par nos résultats numériques. Nous utilisons des polynômes en somme des carrés (SOS) pour paramétrer l'ensemble des opérateurs positifs, linéaire et bornés sur les espaces de Hilbert. Comme son nom l'indique, un polynôme SOS est celui qui peut être représenté comme une somme de polynômes carrés. La propriété la plus importante d'un polynôme SOS est qu'il peut être représenté au moyen d'une matrice (semi-)définie positive. Cela implique que, même si le problème de polynôme (semi-)positif est NP-difficile, le problème de vérifier si polynôme est SOS (et donc (semi-)positif) peut être résolu en utilisant la SDP. Par conséquent, nous nous efforçons de construire des fonctions de Lyapunov quadratiques paramétrées par les opérateurs positifs. Ces opérateurs positifs sont à leur tour paramétrés par des polynômes SOS. Cette paramétrisation SOS nous permet de formuler le problème de faisabilité pour l'existence d'une fonction de Lyapunov quadratique comme un problème de faisabilité LMI. Le problème de la faisabilité LMI peut alors être adressé à l'aide de SDP. Dans la première partie de la thèse nous considérons analyse de stabilité et la synthèse de contrôleur aux frontières pour une large classe d'EDP paraboliques. Les EDP ont des coefficients de transport distribués spatialement. Ces EDP sont utilisés pour modéliser les processus de diffusion, de convection et de réaction de quantités physiques dans les milieux anisotropes. Nous considérons la synthèse de contrôleurs limite à la fois pour le cas de retour d'état et le cas de retour de sortie (à l'aide d'un observateur). Dans la deuxième partie de la thèse, nous concevons un contrôleur distribué pour la régulation du flux magnétique poloïdal dans un tokamak (procédé de fusion thermonucléaire par confinement magnétique). Tout d'abord, nous concevons un contrôleur régulant la pente des lignes de champ magnétique (le facteur de sécurité). La régulation du profil du facteur de sécurité est importante pour supprimer les instabilités MHD dans un tokamak. Ensuite, nous concevons un contrôleur maximisant la densité de courant bootstrap généré en interne. Une proportion accrue du courant bootstrap conduirait à une réduction des besoins énergétiques exogènes pour l'exploitation d'un tokamak. / In this work we address the problems of stability analysis and controller synthesis for one dimensional linear parabolic Partial Differential Equations (PDEs). To achieve the tasks of stability analysis and controller synthesis we develop methodologies akin to the Linear Matrix Inequality (LMI) framework for Ordinary Differential Equations (ODEs). We develop a method for parabolic PDEs wherein we test the feasibility of certain LMIs using SDP to construct quadratic Lyapunov functions and controllers. The core of our approach is the construction of quadratic Lyapunov functions parametrized by positive definite operators on infinite dimensional Hilbert spaces. Unlike positive matrices, there is no single method of parametrizing the set of all positive operators on a Hilbert space. Of course, we can always parametrize a subset of positive operators, using, for example, positive scalars. However, we must ensure that the parametrization of positive operators should not be conservative. Our contribution is constructing a parametrization which has only a small amount of conservatism as indicated by our numerical results. We use Sum-of-Squares (SOS) polynomials to parametrize the set of positive, linear and bounded operators on Hilbert spaces. As the name indicates, an SOS polynomial is one which can be represented as a sum of squared polynomials. The most important property of an SOS polynomial is that it can be represented using a positive (semi)-definite matrix. This implies that even though the problem of polynomial (semi)-positivity is NP-hard, the problem of checking if polynomial is SOS (and hence (semi)-positive) can be solved using SDP. Therefore, we aim to construct quadratic Lyapunov functions parametrized by positive operators. These positive operators are in turn parametrized by SOS polynomials. This parametrization using SOS allows us to cast the feasibility problem for the existence of a quadratic Lyapunov function as the feasibility problem of LMIs. The feasibility problem of LMIs can then be addressed using SDP. In the first part of the thesis we consider stability analysis and boundary controller synthesis for a large class of parabolic PDEs. The PDEs have spatially distributed coefficients. Such PDEs are used to model processes of diffusion, convection and reaction of physical quantities in anisotropic media. We consider boundary controller synthesis for both the state feedback case and the output feedback case (using and observer design). IN the second part of thesis we design distributed controllers for the regulation of poloidal magnetic flux in a tokamak (a thermonuclear fusion devise). First, we design the controllers to regulate the magnetic field line pitch (the safety factor). The regulation of the safety factor profile is important to suppress the magnetohydrodynamic instabilities in a tokamak. Then, we design controllers to maximize the internally generated bootstrap current density. An increased proportion of bootstrap current would lead to a reduction in the external energy requirements for the operation of a tokamak.