Le travail présenté dans ce mémoire concerne une démarche de conception appliquée à une gestion modale pour les systèmes à événements discrets (SED). Un mode est une configuration particulière du système où celui-ci exploite un ensemble de composants et doit respecter un ensemble de spécifications. La problématique de la gestion de mode porte principalement sur la conception des modes et sur leurs commutations. Notre objectif est de proposer une démarche de conception complètement définie où les spécifications sont assurément respectées, et où seules les commutations désirées entre modes peuvent se produire. Il est également vérifié que toute commutation dans un mode mène de manière sûre dans un autre mode. Pour réaliser cet objectif, nous utilisons la théorie de contrôle par supervision qui permet de concevoir des modèles sûrs par construction tel que les spécifications utilisées pour la construction soient respectées. La démarche proposée possède plusieurs étapes séparant ainsi les différentes études de conception. La première concerne la formalisation du cahier des charges en modèles automate à états. L'étude suivante concerne le comportement interne où celui-ci doit respecter les spécifications propres aux modes, indépendamment des autres modes. Cette étape valide le comportement de chaque mode, avant d'étudier leurs commutations. La troisième étape étudie le comportement commutatif tel que les spécifications de commutations soient respectées. Cette étape spécifie les commutations désirées, et inversement celles non voulues. L'étape suivante est l'exécution d'une fonction de suivi de trajectoire qui vérifie que toutes les commutations mènent bien dans un autre mode. Dans le cas contraire, la fonction de suivi identifie et caractérise les commutations problématiques afin d'aider le concepteur dans la résolution de ces situations. Enfin, une étape de fusion d'états finalise la démarche afin de fournir un modèle par mode qui représente le comportement de celui-ci. Pour montrer l'applicabilité de la démarche proposée, et sa faculté à être utilisée en milieu industriel, nous l'utilisons sur un exemple de taille importante utilisée dans la littérature.

Dans cette thèse, on présente la théorie algébrique IH par le biais de générateurs et d’équations.Le modèle libre de IH est la catégorie des sous-espaces linéaires sur un corps k. Les termes de IH sont des diagrammes de cordes, qui, selon le choix de k, peuvent exprimer différents types de réseaux et de formalismes graphiques, que l’on retrouve dans des domaines scientifiques divers, tels que les circuits quantiques, les circuits électriques et les réseaux de Petri. Les équations de IH sont obtenues via des lois distributives entre algèbres de Hopf – d’où le nom “Interacting Hopf algebras” (algèbres de Hopf interagissantes). La caractérisation via les sous-espaces permet de voir IH comme une syntaxe fondée sur les diagrammes de cordes pour l’algèbre linéaire: les applications linéaires, les espaces et leurs transformations ont chacun leur représentation fidèle dans le langage graphique. Cela aboutit à un point de vue alternatif, souvent fructueux, sur le domaine.On illustre cela en particulier en utilisant IH pour axiomatiser la sémantique formelle de circuits de calculs de signaux, pour lesquels on s’intéresse aux questions de la complète adéquation et de la réalisabilité. Notre analyse suggère un certain nombre d’enseignements au sujet du rôle de la causalité dans la sémantique des systèmes de calcul. / We present by generators and equations the algebraic theory IH whose free model is the category oflinear subspaces over a field k. Terms of IH are string diagrams which, for different choices of k, expressdifferent kinds of networks and graphical formalisms used by scientists in various fields, such as quantumcircuits, electrical circuits and Petri nets. The equations of IH arise by distributive laws between Hopfalgebras - from which the name interacting Hopf algebras. The characterisation in terms of subspacesallows to think of IH as a string diagrammatic syntax for linear algebra: linear maps, spaces and theirtransformations are all faithfully represented in the graphical language, resulting in an alternative, ofteninsightful perspective on the subject matter. As main application, we use IH to axiomatise a formalsemantics of signal processing circuits, for which we study full abstraction and realisability. Our analysissuggests a reflection about the role of causality in the semantics of computing devices.

Au cours de ces dernières décennies, les réseaux de télécommunications mobiles ont évolué de la 1G à la 4G. La 4G permet la coexistence de différents réseaux d'accès. Ainsi, les utilisateurs ont la capacité de se connecter à un réseau hétérogène, constitué de plusieurs réseaux d'accès. Toutefois, la sélection du réseau approprié n'est pas une tâche facile pour les utilisateurs mobiles puisque les conditions de chaque réseau d'accès changent rapidement. Par ailleurs, en termes d'usage, le streaming vidéo devient le service principal de transfert de données sur les réseaux mobiles, ce qui amène les fournisseurs de contenu et les opérateurs de réseau à coopérer pour garantir la qualité de la diffusion. Dans ce contexte, la thèse propose la conception d'une approche novatrice pour la prise de décision optimale de sélection de réseau et une architecture améliorant les performances des services de streaming adaptatif dans un réseau hétérogène. En premier lieu, nous introduisons un modèle analytique décrivant la procédure de sélection de réseau en ne considérant déjà qu'une seule classe de trafic. Nous concevons ensuite une stratégie de sélection basée sur des fondements de la théorie du contrôle optimal linéaire. Des simulations sous MATLAB sont effectuées pour valider l'efficacité du mécanisme proposé. Sur ce même principe, nous étendons ce modèle avec un modèle analytique général décrivant les procédures de sélection de réseau dans des environnements de réseaux hétérogènes avec de multiples classes de trafic. Le modèle proposé est ensuite utilisé pour dériver un mécanisme adaptatif basé sur la théorie du contrôle, qui permet non seulement d'aider à piloter dynamiquement le trafic vers l'accès réseau le plus approprié mais aussi de bloquer dynamiquement le trafic résiduel lorsque le réseau est congestionné en ajustant les probabilités d'accès optimales. Nous discutons aussi les avantages d'une intégration transparente du mécanisme proposé avec l'ANDSF, solution fonctionnelle normalisée pour la sélection de réseau. Un prototype est également implémenté dans ns-3. En second lieu, nous nous concentrons sur l'amélioration des performances de DASH pour les utilisateurs mobiles dans un environnement de réseau d'accès 4G uniquement. Nous introduisons une nouvelle architecture basée sur l'utilisation de serveurs distribués en périphérie de réseau suivant le standard MEC. Le mécanisme d'adaptation proposé, fonctionnant en tant que service MEC, peut modifier les fichiers de manifeste en temps réel, en réponse à la congestion du réseau et à la demande dynamique de flux de streaming. Ces modifications conduisent ainsi les clients à sélectionner des représentations vidéo de débit / qualité plus appropriées. Nous avons développé une plateforme de test virtualisée pour l'expérimentation de notre proposition. Les résultats ainsi obtenus démontrent ses avantages en terme de QoE comparés aux approches d'adaptation traditionnelles, purement pilotées par les clients, car notre approche améliore non seulement le MOS mais aussi l'équité face à la congestion. Enfin, nous étendons l'architecture proposée basée sur MEC pour supporter le service de streaming adaptatif DASH dans un réseau hétérogène multi-accès afin de maximiser la QoE et l'équité des utilisateurs mobiles. Dans ce scénario, notre mécanisme doit aider les utilisateurs à sélectionner la qualité vidéo et le réseau et nous le formulons comme un problème d'optimisation. Ce problème d'optimisation peut être résolu par l'outil IBM CPLEX, mais cela prend du temps et ne peut être envisagé à grande échelle. Par conséquent, nous introduisons une heuristique pour aborder la solution optimale avec moins de complexité. Ensuite, nous mettons en œuvre une expérimentation sur notre plateforme de tests. Le résultat démontre que, par rapport à l'outil IBM CPLEX, notre algorithme permet d'obtenir des performances similaires sur la QoE globale et l'équité, avec un gain de temps significatif. / Telecommunication network has evolved from 1G to 4G in the past decades. One of the typical characteristics of the 4G network is the coexistence of heterogeneous radio access technologies, which offers end-users the capability to connect them and to switch between them with their mobile devices of the new generation. However, selecting the right network is not an easy task for mobile users since access network condition changes rapidly. Moreover, video streaming is becoming the major data service over the mobile network where content providers and network operators should cooperate to guarantee the quality of video delivery. In order to cope with this context, the thesis concerns the design of a novel approach for making an optimal network selection decision and architecture for improving the performance of adaptive streaming in the context of a heterogeneous network. Firstly, we introduce an analytical model (i.e. linear discrete-time system) to describe the network selection procedure considering one traffic class. Then, we consider the design of a selection strategy based on foundations from linear optimal control theory, with the objective to maximize network resource utilization while meeting the constraints of the supported services. Computer simulations with MATLAB are carried out to validate the efficiency of the proposed mechanism. Based on the same principal we extend this model with a general analytical model describing the network selection procedures in heterogeneous network environments with multiple traffic classes. The proposed model was, then, used to derive a scalable mechanism based on control theory, which allows not only to assist in steering dynamically the traffic to the most appropriate network access but also helps in blocking the residual traffic dynamically when the network is congested by adjusting dynamically the access probabilities. We discuss the advantages of a seamless integration with the ANDSF. A prototype is also implemented into ns-3. Simulation results sort out that the proposed scheme prevents the network congestion and demonstrates the effectiveness of the controller design, which can maximize the network resources allocation by converging the network workload to the targeted network occupancy. Thereafter, we focus on enhancing the performance of DASH in a mobile network environment for the users which has one access network. We introduce a novel architecture based on MEC. The proposed adaptation mechanism, running as an MEC service, can modify the manifest files in real time, responding to network congestion and dynamic demand, thus driving clients towards selecting more appropriate quality/bitrate video representations. We have developed a virtualized testbed to run the experiment with our proposed scheme. The simulation results demonstrate its QoE benefits compared to traditional, purely client-driven, bitrate adaptation approaches since our scheme notably improves both on the achieved MOS and on fairness in the face of congestion. Finally, we extend the proposed the MEC-based architecture to support the DASH service in a multi-access heterogeneous network in order to maximize the QoE and fairness of mobile users. In this scenario, our scheme should help users select both video quality and access network and we formulate it as an optimization problem. This optimization problem can be solved by IBM CPLEX tool. However, this tool is time-consuming and not scalable. Therefore, we introduce a heuristic algorithm to make a sub-optimal solution with less complexity. Then we implement a testbed to conduct the experiment and the result demonstrates that our proposed algorithm notably can achieve similar performance on overall achieved QoE and fairness with much more time-saving compared to the IBM CPLEX tool.

Nous abordons des problèmes de sécurité dans des systèmes cyber-physiques industriels. Les attaques contre ces systèmes doivent être traitées à la fois en matière de sûreté et de sécurité. Les technologies de contrôles imposés par les normes industrielles, couvrent déjà la sûreté. Cependant, du point de vue de la sécurité, la littérature a prouvé que l’utilisation de techniques cyber pour traiter la sécurité de ces systèmes n’est pas suffisante, car les actions physiques malveillantes seront ignorées. Pour cette raison, on a besoin de mécanismes pour protéger les deux couches à la fois. Certains auteurs ont traité des attaques de rejeu et d’intégrité en utilisant une attestation physique, p. ex., le tatouage des paramètres physiques du système. Néanmoins, ces détecteurs fonctionnent correctement uniquement si les adversaires n’ont pas assez de connaissances pour tromper les deux couches. Cette thèse porte sur les limites mentionnées ci-dessus. Nous commençons en testant l’efficacité d’un détecteur qui utilise une signature stationnaire afin de détecter des actions malveillantes. Nous montrons que ce détecteur est incapable d’identifier les adversaires cyber-physiques qui tentent de connaître la dynamique du système. Nous analysons son ratio de détection sous la présence de nouveaux adversaires capables de déduire la dynamique du système. Nous revisitons le design original, en utilisant une signature non stationnaire, afin de gérer les adversaires visant à échapper à la détection. Nous proposons également une nouvelle approche qui combine des stratégies de contrôle et de communication. Toutes les solutions son validées à l’aide de simulations et maquettes d’entraînement / We address security issues in cyber-physical industrial systems. Attacks against these systems shall be handled both in terms of safety and security. Control technologies imposed by industrial standards already cover the safety dimension. From a security standpoint, the literature has shown that using only cyber information to handle the security of cyber-physical systems is not enough, since physical malicious actions are ignored. For this reason, cyber-physical systems have to be protected from threats to their cyber and physical layers. Some authors handle the attacks by using physical attestations of the underlying processes, f.i., physical watermarking to ensure the truthfulness of the process. However, these detectors work properly only if the adversaries do not have enough knowledge to mislead crosslayer data. This thesis focuses on the aforementioned limitations. It starts by testing the effectiveness of a stationary watermark-based fault detector, to detect, as well, malicious actions produced by adversaries. We show that the stationary watermark-based detector is unable to identify cyber-physical adversaries. We show that the approach only detects adversaries that do not attempt to get any knowledge about the system dynamics. We analyze the detection performance of the original design under the presence of adversaries that infer the system dynamics to evade detection. We revisit the original design, using a non-stationary watermark-based design, to handle those adversaries. We also propose a novel approach that combines control and communication strategies. We validate our solutions using numeric simulations and training cyber-physical testbeds

La physique moderne repose sur deux théories fondamentales distinctes, la relativité générale et la mécanique quantique. Toutes les deux décrivent d’une part les phénomènes macroscopiques et cosmologiques tels que les ondes gravitationnelles et les trous noirs et d’autre part les phénomènes microscopiques comme la superfluidité ou le spin des particules. L’unification de ces deux théories reste, jusqu’à présent, un problème non résolu. Il est intéressant de noter que les différentes théories de gravité quantique prédisent une violation des principes de la relativité générale à différents niveaux.Il est donc hautement intéressant de détecter les violations de ces principes et de déterminer à quel niveau elles se produisent.De récentes propositions pour effectuer des tests du principe d’ équivalence d’Einstein suggèrent une amélioration spectaculaire des performances en utilisant des capteurs atomiques `a ondes de matière.Dans ce contexte, il est nécessaire de concevoir des états d’entrée de l’interferomètre avec des conditions initiales bien définies. Un test de pointe de l’universalité de la chute libre (Universality of FreeFall en anglais (UFF) ) nécessiterait, par exemple,un contrôle des positions et des vitesses avec une précision de l’ordre de 1 μm et 1 μm.s⁻¹ , respectivement.De plus, les systématiques liées à la taille du paquet d’ondes limitent le taux d’expansion maximum possible à 100 μm.s⁻¹. La création initiale des états d’entrée de l’interféromètre doit être assez rapide,de l’ordre de quelques centaines de ms au maximum,pour que le temps de cycle de l’expérience soit pertinent d’un point de vue métrologique. Dans cette thèse j’ai développé des séquences optimisées s’appuyant sur l’excitation du centre de masse et de la taille d’un ou plusieurs ensembles d’atomes refroidis ainsi que dégénérés. Certaines séquences proposé dans cette thèse ont déjà été implémenté dans des expériences augmentant de manière significative le contrôle des ensembles atomiques. / Modern physics relies on two distinct fundamental theories, General Relativity and Quantum Mechanics. Both describe on one hand macroscopic and cosmological phenomena such as gravitational waves and black holes and on the other hand microscopic phenomena as superfluidity or the spin of particles. The unification of these two theories remains, so far, an unsolved problem. Interestingly, candidate Quantum Gravity theories predict a violation of the principles of General Relativity at different levels. It is, therefore, of a timely interest to detect violations of these principles and determine at which level they occur. Recent proposals to perform Einstein Equivalence Principle tests suggest a dramatic performance improvement using matter-wave atomic sensors. In this context, the design of the input states with well defined initial conditions is required. A state-of-the-art test of the universality of free fall (UFF) would, for example, require a control of positions and velocities at the level of 1 µm and 1 µm.s⁻¹, respectively. Moreover, sizerelated systematics constrain the maximum expansion rate possible to the 100 µm.s⁻¹level. This initial engineering of the input states has to be quite fast, of the order of few hundred ms at maximum, for the experiment’s duty cycle to be metrologically-relevant. In this thesis I developed optimized sequences based on the excitation of the center of mass and the size excitation of one or two cooled atomic sample as well as degenerated gases. Some sequences proposed in this thesis have already been implemented in experiments and significantly increase the control of atomic ensembles.

Nous étudions des modèles mathématiques issus de la théorie des files d’attente pour évaluer et optimiser les performances des mécanismes de partage de ressources entre flots dans les réseaux. Dans une première partie, nous proposons des approximations simples et explicites des principales métriques de performance des flots élastiques dans les réseaux à partage de bande passante opérant sous le mode ”équité équilibré”. Nous étudions ensuite le partage de bande passante entre flux élastiques et flux de streaming en supposant que le nombre de ces derniers est limité par un mécanisme de contrôle d’admission et proposons des approximations de performance basées sur une hypothèse de quasi stationnarité. Les résultats de simulation montrent le bon niveau de précision des approximations proposées.Dans une deuxième partie, nous étudions le compromis entre délai et énergie dans les réseaux à partage de bande passante dont les noeuds peuvent réguler leur vitesse en fonction de la charge du système. En supposant que le réseau est initialement dans un état de congestion, on s’intéresse à la politique optimale d’allocation de débit permettant de le vider à coût minimal. L’analyse de la politique stochastique optimale via la théorie des processus de décision markoviens étant extrêmement difficile, nous proposons de l’approximer en utilisant un modèle fluide déterministe qui peut être résolu grâce à des techniques de contrôle optimal. Pour le cas d’un seul lien partagé par plusieurs classes de trafic, on montre que la politique optimale correspond à la règle cμ et on propose une expression explicite de la vitesse optimale. Enfin, dans une troisième partie, on s’intéresse aux plateformes de Cloud Computing dans le cadre du modèle SaaS. En supposant un partage équitable des ressources physiques entre machines virtuelles s’exécutant de manière concurrente, nous proposons des modèles de file d’attente simples pour prédire les temps de réponse des applications. Les modèles proposés prennent explicitement en compte le comportement des différentes classes d’application (tâches interactives, de calcul ou permanentes). Les expérimentations menées sur une plateforme réelle montrent que les modèles mathématiques obtenus permettent de prédire les temps de réponse avec une bonne précision. / We study queueing-theoretic models for the performance evaluation and optimization of bandwidth-sharing networks. We first propose simple and explicit approximations for the main performance metrics of elastic flows in bandwidth-sharing networks operating under balanced fairness. Assuming that an admission control mechanism is used to limit the number of simultaneous streaming flows, we then study the competition for bandwidth between elastic and streaming flows and propose performance approximations based on a quasi-stationary assumption. Simulation results show the good accuracy of the proposed approximations. We then investigate the energy-delay tradeoff in bandwidth-sharing networks in which nodes can regulate their speed according to the load of the system. Assuming that the network is initially congested, we investigate the rate allocation to the classes that drains out the network with minimum total energy and delay cost. We formulate this optimal resource allocation problem as a Markov decision process which proves tobe both analytically and computationally challenging. We thus propose to solve this stochastic problem using a deterministic fluid approximation. For a single link sharedby an arbitrary number of classes, we show that the optimal-fluid solution follows thewell-known cμ rule and give an explicit expression for the optimal speed. Finally, we consider cloud computing platforms under the SaaS model. Assuming a fair share of the capacity of physical resources between virtual machines executed concurrently, we propose simple queueing models for predicting response times of applications.The proposed models explicitly take into account the different behaviors of the different classes of applications (interactive, CPU-intensive or permanent applications). Experiments on a real virtualized platform show that the mathematical models allow to predict response times accurately

En Imagerie par Résonance Magnétique (IRM), l’augmentation du champ magnétique statique permet en théorie de fournir un rapport signal sur bruit accru, améliorant la qualité des images. L’objectif de l’IRM à ultra haut champ est d’atteindre une résolution spatiale suffisamment haute pour pouvoir distinguer des structures si fines qu’elles sont actuellement impossibles à visualiser de façon non-invasive. Cependant, à de telles valeurs de champs magnétiques, la longueur d’onde du rayonnement électromagnétique envoyé pour basculer les spins des protons de l’eau est du même ordre de grandeur que l’objet dont on souhaite faire l’image. Des phénomènes d’interférences sont observés, ce qui se traduit par l’inhomogénéité de ce champ radiofréquence (RF) au sein de l’objet. Ces interférences engendrent des artefacts de signal et/ou de contraste dans les images IRM, et rendent ainsi leur exploitation délicate. Il est donc crucial de fournir des solutions pour atténuer la non-uniformité de l’excitation des spins, à défaut de quoi de tels systèmes ne pourront atteindre leurs pleins potentiels. Pour obtenir des diagnostics pertinents à très haut champ, il est donc nécessaire de créer des impulsions RF homogénéisant l'excitation de l'ensemble des spins (ici du cerveau humain), optimisées pour chaque individu. Pour cela, un système de transmission parallèle (pTX) à 8 canaux a été installé au sein de notre imageur à 7 Tesla. Alors que la plupart des systèmes IRM cliniques n’utilisent qu’un seul canal d’émission, l’extension pTX permet de jouer différentes formes d’impulsions RF de concert. La somme résultante de ces interférences doit alors être optimisée pour atténuer la non-uniformité observée classiquement. L’objectif de cette thèse est donc de synthétiser ce type d’impulsions, en utilisant la pTX. Ces impulsions auront pour contrainte supplémentaire le respect des limitations internationales concernant l'exposition à des champs radiofréquence, qui induit une hausse de température dans les tissus. En ce sens, de nombreuses simulations électromagnétiques et de températures ont été réalisées en introduction de cette thèse, afin d’évaluer la relation entre les seuils recommandés d’exposition RF et l’élévation de température prédite dans les tissus. Cette thèse porte plus spécifiquement sur la conception de l’ensemble des impulsions RF refocalisantes utilisées dans des séquences IRM non-sélectives, basées sur l’écho de spin. Dans un premier temps, seule une impulsion RF a été générée, pour une application simple : l’inversion du déphasage des spins dans le plan transverse. Dans un deuxième temps, sont considérées les séquences à long train d’échos de refocalisation appliquées à l’in vivo. Ici, l’opérateur mathématique agissant sur la magnétisation, et non pas son état final comme il est fait classiquement, est optimisé. Le gain en imagerie à très haut champ est clairement visible puisque les opérations mathématiques (la rotation des spins) voulues sont réalisées avec plus de fidélité que dans le cadre des méthodes de l’état de l’art. Pour cela, la génération de ces impulsions RF combine une méthode d’excitation des spins avec navigation dans l’espace de Fourier, les kT-points, et un algorithme d’optimisation, appelé Gradient Ascent Pulse Engineering (GRAPE), utilisant le contrôle optimal. Cette conception est rapide grâce à des calculs analytiques plus directs que des méthodes de différences finies. La prise en compte d’un grand nombre de paramètres nécessite l’usage de GPUs (Graphics Processing Units) pour atteindre des temps de calcul compatibles avec un examen clinique. Cette méthode de conception d’impulsions RF a été validée expérimentalement sur l’imageur 7 Tesla de NeuroSpin, sur une cohorte de volontaires sains. / In Magnetic Resonance Imaging (MRI), the increase of the static magnetic field strength is used to provide in theory a higher signal-to-noise ratio, thereby improving the overall image quality. The purpose of ultra-high-field MRI is to achieve a spatial image resolution sufficiently high to be able to distinguish structures so fine that they are currently impossible to view in a non-invasive manner. However, at such static magnetic fields strengths, the wavelength of the electromagnetic waves sent to flip the water proton spins is of the same order of magnitude than the scanned object. Interference wave phenomena are then observed, which are caused by the radiofrequency (RF) field inhomogeneity within the object. These generate signal and/or contrast artifacts in MR images, making their exploitation difficult, if not impossible, in certain areas of the body. It is therefore crucial to provide solutions to mitigate the non-uniformity of the spins excitation. Failing this, these imaging systems with very high fields will not reach their full potential.For relevant high field clinical diagnosis, it is therefore necessary to create RF pulses homogenizing the excitation of all spins (here of the human brain), and optimized for each individual to be imaged. For this, an 8-channel parallel transmission system (pTX) was installed in our 7 Tesla scanner. While most clinical MRI systems only use a single transmission channel, the pTX extension allows to simultaneously playing various forms of RF pulses on all channels. The resulting sum of the interference must be optimized in order to reduce the non-uniformity typically seen.The objective of this thesis is to synthesize this type of tailored RF pulses, using parallel transmission. These pulses will have as an additional constraint the compliance with the international exposure limits for radiofrequency exposure, which induces a temperature rise in the tissue. In this sense, many electromagnetic and temperature simulations were carried out as an introduction of this thesis, in order to assess the relationship between the recommended RF exposure limits and the temperature rise actually predicted in tissues.This thesis focuses specifically on the design of all RF refocusing pulses used in non-selective MRI sequences based on the spin-echo. Initially, only one RF pulse was generated for a simple application: the reversal of spin dephasing in the transverse plane, as part of a classic spin echo sequence. In a second time, sequences with very long refocusing echo train applied to in vivo imaging are considered. In all cases, the mathematical operator acting on the magnetization, and not its final state as is done conventionally, is optimized. The gain in high field imaging is clearly visible, as the necessary mathematical operations (that is to say, the rotation of the spins) are performed with a much greater fidelity than with the methods of the state of the art. For this, the generation of RF pulses is combining a k-space-based spin excitation method, the kT-points, and an optimization algorithm, called Gradient Ascent Pulse Engineering (GRAPE), using optimal control.This design is relatively fast thanks to analytical calculations rather than finite difference methods. The inclusion of a large number of parameters requires the use of GPUs (Graphics Processing Units) to achieve computation times compatible with clinical examinations. This method of designing RF pulses has been experimentally validated successfully on the NeuroSpin 7 Tesla scanner, with a cohort of healthy volunteers. An imaging protocol was developed to assess the image quality improvement using these RF pulses compared to typically used non-optimized RF pulses. All methodological developments made during this thesis have contributed to improve the performance of ultra-high-field MRI in NeuroSpin, while increasing the number of MRI sequences compatible with parallel transmission.