Les systèmes informatiques sont devenus de plus en plus distribués et hétérogènes, ce qui rend leur administration manuelle difficile et source d'erreurs. L'administration autonome a été proposée comme solution à ce problème. Elle consiste à automatiser l'administration des systèmes informatiques à l'aide de boucles de contrôle appelées gestionnaires autonomes. De nombreux travaux de recherche se sont intéressés à l'automatisation des fonctions d'administration de systèmes informatiques et aujourd'hui, beaucoup de gestionnaires autonomes sont disponibles. Toutefois, les gestionnaires autonomes existants sont, la plupart, spécialisés dans la gestion de quelques aspects d'administration. Cela rend nécessaire la coexistence de plusieurs gestionnaires autonomes pour atteindre une gestion globale des systèmes. La coexistence de plusieurs gestionnaires permet la gestion de plusieurs aspects, mais nécessite des mécanismes de coordination afin d'éviter des décisions incohérentes. Nous étudions l'utilisation de techniques de contrôle pour la conception de contrôleurs de coordination, nous utilisons la programmation synchrone qui fournit des méthodes formelles, et la synthèse de contrôleur discret pour automatiser la construction de contrôleur. Nous suivons une approche à base de composants, et utilisons le contrôle discret modulaire qui permet de décomposer la complexité combinatoire inhérente à la technique d'exploration d'espace d'états. Cela améliore le passage à l'échelle de notre approche et permet la construction d'un contrôle hiérarchique. Notre approche permet la réutilisation de gestionnaires complexes dans des contextes différents, sans modifier leurs spécifications de contrôle. Nous construisons une coordination de gestionnaires basée sur le modèle à composants offrant introspection, adaptabilité et reconfiguration. Cette thèse présente notre méthodologie et des études de cas. Nous évaluons et démontrons les avantages de notre approche par la coordination de gestionnaires autonomes dédiés à la gestion de la disponibilité, et à la gestion de la performance et l'optimisation de ressources. / Computing systems have become more and more distributed and heterogeneous, making their manual administration difficult and error-prone. The Autonomic Computing approach has been proposed to overcome this issue, by automating the administration of computing systems with the help of control loops called autonomic managers. Many research works have investigated the automation of the administration functions of computing systems and today many autonomic managers are available. However the existing autonomic managers are mostly specialized in the management of few administration concerns. This makes necessary the coexistence of multiple autonomic managers for achieving a global system management. The coexistence of several managers make possible to address multiple concerns, yet requires coordination mechanisms to avoid incoherent management decisions. We investigate the use of control techniques for the design of coordination controllers, for which we exercise synchronous programming that provide formal semantics, and discrete controller synthesis to automate the construction of the controller. We follow a component-based approach, and explore modular discrete control allowing to break down the combinatorial complexity inherent to the state-space exploration technique. This improves scalability of the approach and allows constructing a hierarchical control. It also allows re-using complex managers in different contexts without modifying their control specifications. We build a component-based coordination of managers, with introspection, adaptivity and reconfiguration. This thesis details our methodology and presents case-studies. We evaluate and demonstrate the benefits of our approach by coordinating autonomic managers which addresse the management of availability, and the management of performance and resources optimization.

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

Ce travail s’inscrit dans le cadre de la commande d’un système multi agents/ multi véhicules. Cette thèse traite en particulier le cas de la commande d’un système multi-robots mobiles non-holonomes. L'objectif est de concevoir des lois de commandes appropriées pour chaque robot de sorte que l’ensemble des robots puisse exécuter des tâches spécifiques, de suivre des trajectoires désirées tout en maintenant des configurations géométriques souhaitées. L’approche leadeur-suiveur pour la commande d’un groupe de robots mobiles non-holonomes est étudiée en intégrant la technologie backstepping, avec une approche basée sur les neurodynamiques bioinspirées. Le problème de commande distribuée d’un système multi robots sur le consensus est également étudié. Des lois de commandes cinématiques distribuées sont développés afin de garantir au système multi-robots la convergence exponentielle vers une configuration géométrique souhaitée. Afin de tenir compte de la dynamique des paramètres inconnus, des commandes adaptatives de couple sont développés pour que le système multi-robots puisse converger asymptotiquement vers le modèle géométrique souhaité. Lorsque la dynamique est inconnue, des commandes à base de réseaux de neurones sont proposées / This work is based on the multi-agent system / multi-vehicles. This thesis especially focuses on formation control of multiple nonholonomic mobile robots. The objective is to design suitable controllers for each robot according to different control tasks and different constraint conditions, such that a group of mobile robots can form and maintain a desired geomantic pattern and follow a desired trajectory. The leader-follower formation control for multiple nonholonomic mobile robots is investigated under the backstepping technology, and we incorporate a bioinspired neurodynamics scheme in the robot controllers, which can solve the impractical velocity jumps problem. The distributed formation control problem using consensus-based approach is also investigated. Distributed kinematic controllers are developed, which guarantee that the multi-robots can at least exponentially converge to the desired geometric pattern under the assumption of "perfect velocity tracking". However, in practice, "perfect velocity tracking" doesn’t hold and the dynamics of robots should not be ignored. Next, in consideration of the dynamics of robot with unknown parameters, adaptive torque controllers are developed such that the multi-robots can asymptotically converge to the desired geometric pattern under the proposed distributed kinematic controllers. Furthermore, When the partial knowledge of dynamics is available, an asymptotically stable torque controller has been proposed by using robust adaptive control techniques. When the dynamics of robot is unknown, the neural network controllers with the robust adaptive term are proposed to guarantee robust velocity tracking

Cette thèse explore dans quelle mesure la comptabilité peut jouer un rôle dans le dévoilement et la remise en cause publics d’une situation de domination, et ainsi contribuer à une certaine forme d’émancipation. Au plus près des interprétations des acteurs, cette thèse suit les voix libérales dévoilant et remettant en cause la domination des discours et des principes de rationalisation et de régulation financières à l’œuvre dans le football professionnel français. La comptabilité du football français est particulièrement exposée, du fait de la médiatisation et de la financiarisation intenses de ce secteur. Cette thèse s’appuie sur la sociologie pragmatique de la critique (à travers les travaux de Luc Boltanski) et considère les acteurs comme capables de critiques et de dévoilements. Au sein de trois essais, nous montrons 1/ comment des chiffres comptables préalablement divulgués par les clubs peuvent être mis en scène, par des acteurs débattant au sein d’une émission de radio, pour promouvoir une vision libérale ou une vision régulée du football français, 2/ comment les contrôleurs de gestion d’un club se saisissent de la critique pour dévoiler et remettre en cause la domination institutionnelle du régulateur financier du football français, et 3/ comment les pratiques d’accountability de managers d’un club, en réponse à la critique publique, leur permettent de légitimer leur organisation en justifiant sa non-conformité. Si la comptabilité, dans le sillage de la sociologie critique, a souvent été décrite comme un outil au service de dominations à l’œuvre, nous montrons dans cette thèse qu’elle peut également favoriser dévoilement et émancipation. / This dissertation explores to what extent accounting can play a role in how actors publicly unveil and denounce a situation of domination, thereby contributing to a form of emancipation. Listening to the actors’ interpretations, this dissertation follows the liberal voices which unveil and denounce the domination of the discourses and principles on financial regulation and rationalization for French professional football. French football accounting is particularly exposed, due to the high media coverage and financialization of the sector. This dissertation builds on the “pragmatic sociology of critique” (through the work of Luc Boltanski), and sees actors as having critical and unveiling competences. In three essays, we show 1/ how clubs’ disclosed accounting numbers can be staged by actors debating in a radio talk-show, to promote a liberal or regulated vision of French football, 2/ how management accountants in a club use their critical competences to unveil and denounce the institutional domination of the French football financial regulatory body, and 3/ how accountability practices of club’s managers undertaken to respond to public criticism, enable them to legitimize their organization by justifying its non-conformity. While accounting has often been described as serving dominant interests following the “critical sociology” tradition, our dissertation shows that accounting can also favor unveiling and emancipation.

Les travaux présentés dans ce manuscrit portent sur l’optimisation d’une chaufferie collective multi-énergie en l’équipant d’un système de stockage thermique de type hydro-accumulation. L’efficacité de ce dernier dépend de sa capacité à conserver son énergie initiale. Ainsi, pour minimiser les pertes thermiques, le système de stockage doit être correctement isolé. Un modèle de ballon d’hydro-accumulation stratifié est développé et validé expérimentalement. Une étude paramétrique est menée afin d’étudier l’impact, sur les pertes thermiques, de paramètres géométriques et météorologiques. Ensuite, une approche de dimensionnement, fondée sur une stratégie de gestion séquentielle et une étude paramétrique est proposée. Plusieurs critères énergétiques et économiques peuvent ainsi être évalués pour différents volumes de stockage thermique. L’approche de dimensionnement proposée a été appliquée à plusieurs sites exploités par Cofely GDF-Suez, notre partenaire industriel. Les résultats obtenus montrent que le dimensionnement optimal du système de stockage et la gestion intelligente du procédé permettent d'optimiser le fonctionnement d’un site. Des économies énergétiques et financières importantes peuvent ainsi être réalisées. La stratégie de gestion séquentielle proposée n’anticipe pas les besoins du réseau de chaleur. C’est pourquoi une stratégie fondée sur la commande prédictive (MPC pour Model Predictive Control) est susceptible d’améliorer le fonctionnement et les performances d’une chaufferie collective équipée d’un système d’hydro-accumulation. Afin de mettre en œuvre un tel contrôleur, la puissance thermique demandée par le réseau de chaleur doit être correctement prédite. Par conséquent, une méthode de prédiction a été développée. Elle s’appuie sur une analyse multi-résolution par transformée en ondelettes discrète et sur l’utilisation de réseaux de neurones artificiels de type perceptron multicouche. La stratégie séquentielle (non prédictive) et la stratégie prédictive ont été appliquées à une chaufferie collective mixte située dans une commune du nord de la France. Pour ce cas d’étude, la stratégie prédictive est plus efficace. De plus, les résultats montrent que, quelle que soit la stratégie utilisée, équiper la chaufferie d’un système d’hydro-accumulation correctement dimensionné est un investissement rentable. Il permet de minimiser la consommation d’énergie fossile et, par conséquent, le coût économique et les émissions de CO2. / The present work deals with optimizing a multi-energy district boiler by adding to the plant a thermal water storage tank. The effectiveness of such a system depends on how long the stored energy can be kept without considerable degradation. The storage tank should be properly insulated to reduce the rate of heat loss. Thus, firstly, a stratified water thermal storage model is developed and experimentally validated. A parametric study is carried out to determine the influence of geometric and meteorological parameters on heat loss. Next, a reliable sizing method based on a sequential management strategy and a parametric study is proposed. Various energy and economic criteria have been evaluated for a range of thermal storage sizes. The proposed methodology has been applied to many plants managed by Cofely GDF-Suez, our industrial partner. Results highlight the ability of a thermal storage tank (optimally sized and managed) to improve the operation of a multi-energy district boiler and realize significant energy and economic savings. The main drawback of the proposed sequential management strategy lies in not taking into account the future power demand. That is why a strategy based on a Model Predictive Controller (MPC) is likely to improve operation and performance. In order to implement such a controller, the power demand has to be accurately forecasted. As a consequence, a short-term forecast method, based on wavelet-based Multi-Resolution Analysis (MRA) and multilayer Artificial Neural Networks (ANN) is proposed. Both the sequential and the predictive strategies are applied to a northeast France multi-energy district boiler selected as a case study. The main result to retain is that the efficiency of water thermal storage tank is mainly related to its design and the way it is managed. For this case study, the predictive strategy regardless the size of the storage tank, the predictive strategy is more reliable. Furthermore, in all cases an adequately sized and managed thermal storage tank is a profitable investment. It allows the fossil energy consumption to be significantly reduced. The same remark applies to the functioning costs and CO2 emissions.

Les outils informatiques (comme les routeurs et calculateurs entre autres) sont des consommateurs accrus d'énergie. Cette problématique a été déjà prise en compte dans les réseaux mobiles. La question de l'énergie commence juste à être prise en compte pour les systèmes "fixes" à grande échelle qui atteignent de nos jours des tailles impressionnantes. L'objectif de cette thèse est de traiter le problème de la consommation de l'énergie dans les réseaux de communication filaires: fournir un certain niveau de qualité de service (QdS) par rapport à la perte des paquets, la vitesse de réponse et la robustesse par rapport aux différentes périodes d'échantillonnages tout en contrôlant la puissance consommée du système. Le but est de concevoir une méthode à partir de la théorie de la commande, qui consiste à garantir un certain nombre de paramètres de QdS. Cette technique est appliquée au niveau local d'un équipement réseau (routeur, switch ...). La loi de commande permet de distribuer temporellement le trafic qui traverse un nœud contrôlé dans les réseaux de communication filaires. Dans ce travail, nous avons considéré que les nœuds de communications sont des routeurs de type ALR. Pour traiter le problème de la consommation énergétique dans les réseaux de communication filaires, nous avons proposé un modèle énergétique ALR étendu adapté à la théorie de commande. Pour ce modèle, nous avons besoin de choisir deux paramètres (ß, ?), permettant de choisir la taille de file d'attente de référence qref et sa fenêtre temporelle d'actualisation Tqref .Ce deux paramètres ont été choisis à partir de plusieurs simulations avec différentes combinaisons des paramètres (ß, ?). Nous avons vu que la variation de ces deux paramètres permet d'agir énormément sur la QdS ainsi que sur la quantité d'énergie réduite. Les résultats théoriques sont ensuite testés sur Matlab-Simulink, puis sur le simulateur de réseaux NS-2. Les simulations ont montré que la consommation énergétique dans les réseaux de communication est bien réduite tout en garantissant un certain niveau de QdS. / The computer tools (as the routers and calculators among others) present a high energy consumption. This problem has been already included in mobile networks. The question of energy is just beginning to be considered for "fixed" large-scale systems that reach nowadays high sizes. The objective of this thesis is to address the problem of energy consumption in wired communication networks: provide a certain level of quality of service (QoS) with respect to the packet lost, response speed and robustness with respect to different sampling periods while controlling power consumption of the system. The goal is to design a method from the theory of control, which guarantees these QoS. This technique is applied locally to a network equipment (router, switch ...) and the control law used to distribute temporally the traffic through a controlled node in the wired communications networks. In this work, we considere that the communication between nodes are performed by routers ALR type. In order to deal with energy reduction problem, we propose an extended ALR energy model adapted to control theory. For this model, we need to choose two parameters (ß, ?) allowing to choose the queue length reference, qref, and the related update time-window, Tqref. These parameters have been chosen after performing some simulations with different combinations of parameters (ß, ?). We have seen that the variation of these two parameters provide an impact over the QoS as well as the energy reduction. The theoretical results are then tested in Matlab-Simulink as well as some experiments under the simulator NS-2. Simulations showed that the energy consumption in communications networks is reduced while ensuring a certain level of QoS.

Les technologies avancées de semi-conducteur permettent de mettre en œuvre un contrôleur numérique dédié aux convertisseurs à découpage, de faible puissance et de fréquence de découpage élevée sur FPGA et ASIC. Cette thèse vise à proposer des contrôleurs numériques des performances élevées, de faible consommation énergétique et qui peuvent être implémentés facilement. En plus des contrôleurs numériques existants comme PID, RST, tri-mode et par mode de glissement, un nouveau contrôleur numérique (DDP) pour le convertisseur abaisseur de tension est proposé sur le principe de la commande prédictive: il introduit une nouvelle variable de contrôle qui est la position de la largeur d'impulsion permettant de contrôler de façon simultanée le courant dans l'inductance et la tension de sortie. La solution permet une dynamique très rapide en transitoire, aussi bien pour la variation de la charge que pour les changements de tension de référence. Les résultats expérimentaux sur FPGA vérifient les performances de ce contrôleur jusqu'à la fréquence de découpage de 4MHz. Un contrôleur numérique nécessite une modulation numérique de largeur d'impulsion (DPWM). L'approche Sigma-Delta de la DPWM est un bon candidat en ce qui concerne le compromis entre la complexité et les performances. Un guide de conception d'étage Sigma-Delta pour le DPWM est présenté. Une architecture améliorée de traditionnelles 1-1 MASH Sigma-Delta DPWM est synthétisée sans détérioration de la stabilité en boucle fermée ainsi qu'en préservant un coût raisonnable en ressources matérielles. Les résultats expérimentaux sur FPGA vérifient les performances des DPWM proposées en régimes stationnaire et transitoire. Deux ASICs sont portés en CMOS 0,35µm: le contrôleur en tri-mode pour le convertisseur abaisseur de tension et la commande par mode de glissement pour les convertisseurs abaisseur et élévateur de tension. Les bancs de test sont conçus pour conduire à un modèle d'évaluation de consommation énergétique. Pour le contrôleur en tri-mode, la consommation de puissance mesurée est seulement de 24,56mW/MHz lorsque le ratio de temps en régime de repos (stand-by) est 0,7. Les consommations de puissance de command par mode de glissement pour les convertisseurs abaisseur et élévateur de tension sont respectivement de 4,46mW/MHz et 4,79mW/MHz. En utilisant le modèle de puissance, une consommation de la puissance estimée inférieure à 1mW/MHz est envisageable dans des technologies CMOS plus avancées. Comparé aux contrôlés homologues analogiques de l'état de l'art, les prototypes ASICs illustrent la possibilité d'atteindre un rendement comparable pour les applications de faible et de moyen puissance mais avec l'avantage d'une meilleure précision et une meilleure flexibilité. / Owing to the development of modern semiconductor technology, it is possible to implement a digital controller for low-power high switching frequency DC-DC power converter in FPGA and ASIC. This thesis is intended to propose digital controllers with high performance, low power consumption and simple implementation architecture. Besides existing digital control-laws, such as PID, RST, tri-mode and sliding-mode (SM), a novel digital control-law, direct control with dual-state-variable prediction (DDP control), for the buck converter is proposed based on the principle of predictive control. Compared to traditional current-mode predictive control, the predictions of the inductor current and the output voltage are performed at the same time by adding a control variable to the DPWM signal. DDP control exhibits very high dynamic transient performances under both load variations and reference changes. Experimental results in FPGA verify the performances at switching frequency up to 4MHz. For the boost converter exhibiting more serious nonlinearity, linear PID and nonlinear SM controllers are designed and implemented in FPGA to verify the performances. A digital control requires a DPWM. Sigma-Delta DPWM is therefore a good candidate regarding the implementation complexity and performances. An idle-tone free condition for Sigma-Delta DPWM is considered to reduce the inherent tone-noise under DC-excitation compared to the classic approach. A guideline for Sigma-Delta DPWM helps to satisfy proposed condition. In addition, an 1-1 MASH Sigma-Delta DPWM with a feasible dither generation module is proposed to further restrain the idle-tone effect without deteriorating the closed-loop stability as well as to preserve a reasonable cost in hardware resources. The FPGA-based experimental results verify the performances of proposed DPWM in steady-state and transient-state. Two ASICs in 0.35µm CMOS process are implemented including the tri-mode controller for buck converter and the PID and SM controllers for the buck and boost converters respectively. The lab-scale tests are designed to lead to a power assessment model suggesting feasible applications. For the tri-mode controller, the measured power consumption is only 24.56mW/MHz when the time ratio of stand-by operation mode is 0.7. As specific power optimization strategies in RTL and system-level are applied to the latter chip, the measured power consumptions of the SM controllers for buck converter and boost converter are 4.46mW/MHz and 4.79mW/MHz respectively. The power consumption is foreseen as less than 1mW/MHz when the process scales down to nanometer technologies based on the power-scaling model. Compared to the state-of-the-art analog counterpart, the prototype ICs are proven to achieve comparable or even higher power efficiency for low-to-medium power applications with the benefit of better accuracy and better flexibility.

Cette thèse est élaborée en cotutelle entre l’université Badji Mokhtar (Laboratoire LERICA) et l’université de bourgogne (Laboratoire LE2I, UMR CNRS 5158). Elle constitue une contribution à l’étude et l’implantation de l’encodeur H.264/AVC. Durent l’évolution des normes de compression vidéo, une réalité sure est vérifiée de plus en plus : avoir une bonne performance du processus de compression nécessite l’élaboration d’équipements beaucoup plus performants en termes de puissance de calcul, de flexibilité et de portabilité et ceci afin de répondre aux exigences des différents traitements et satisfaire au critère « Temps Réel ». Pour assurer un temps réel pour ce genre d’applications, une solution reste possible est l’utilisation des systèmes sur puce (SoC) ou bien des systèmes multiprocesseurs sur puce (MPSoC) implantés sur des plateformes reconfigurables à base de circuit FPGA. L’objective de cette thèse consiste à l’étude et l’implantation des algorithmes de traitement des signaux et images et en particulier la norme H.264/AVC, et cela dans le but d’assurer un temps réel pour le cycle codage-décodage. Nous utilisons deux plateformes FPGA de Xilinx (ML501 et XUPV5). Dans la littérature, il existe déjà plusieurs implémentations du décodeur. Pour l’encodeur, malgré les efforts énormes réalisés, il reste toujours du travail pour l’optimisation des algorithmes et l’extraction des parallélismes possibles surtout avec une variété de profils et de niveaux de la norme H.264/AVC.Dans un premier temps de cette thèse, nous proposons une implantation matérielle d’un contrôleur mémoire spécialement pour l’encodeur H.264/AVC. Ce contrôleur est réalisé en ajoutant, au contrôleur mémoire DDR2 des deux plateformes de Xilinx, une couche intelligente capable de calculer les adresses et récupérer les données nécessaires pour les différents modules de traitement de l’encodeur. Ensuite, nous proposons des implantations matérielles (niveau RTL) des modules de traitement de l’encodeur H.264. Sur ces implantations, nous allons exploiter les deux principes de parallélisme et de pipelining autorisé par l’encodeur en vue de la grande dépendance inter-blocs. Nous avons ainsi proposé plusieurs améliorations et nouvelles techniques dans les modules de la chaine Intra et le filtre anti-blocs. A la fin de cette thèse, nous utilisons les modules réalisés en matériels pour la l’implantation Matérielle/logicielle de l’encodeur H.264/AVC. Des résultats de synthèse et de simulation, en utilisant les deux plateformes de Xilinx, sont montrés et comparés avec les autres implémentations existantes / This thesis has been carried out in joint supervision between the Badji Mokhtar University (LERICA Laboratory) and the University of Burgundy (LE2I laboratory, UMR CNRS 5158). It is a contribution to the study and implementation of the H.264/AVC encoder. The evolution in video coding standards have historically demanded stringent performances of the compression process, which imposes the development of platforms that perform much better in terms of computing power, flexibility and portability. Such demands are necessary to fulfill requirements of the different treatments and to meet "Real Time" processing constraints. In order to ensure real-time performances, a possible solution is to made use of systems on chip (SoC) or multiprocessor systems on chip (MPSoC) built on platforms based reconfigurable FPGAs. The objective of this thesis is the study and implementation of algorithms for signal and image processing (in particular the H.264/AVC standard); especial attention was given to provide real-time coding-decoding cycles. We use two FPGA platforms (ML501 and XUPV5 from Xilinx) to implement our architectures. In the literature, there are already several implementations of the decoder. For the encoder part, despite the enormous efforts made, work remains to optimize algorithms and extract the inherent parallelism of the architecture. This is especially true with a variety of profiles and levels of H.264/AVC. Initially, we proposed a hardware implementation of a memory controller specifically targeted to the H.264/AVC encoder. This controller is obtained by adding, to the DDR2 memory controller, an intelligent layer capable of calculating the addresses and to retrieve the necessary data for several of the processing modules of the encoder. Afterwards, we proposed hardware implementations (RTL) for the processing modules of the H.264 encoder. In these implementations, we made use of principles of parallelism and pipelining, taking into account the constraints imposed by the inter-block dependency in the encoder. We proposed several enhancements and new technologies in the channel Intra modules and the deblocking filter. At the end of this thesis, we use the modules implemented in hardware for implementing the H.264/AVC encoder in a hardware/software design. Synthesis and simulation results, using both platforms for Xilinx, are shown and compared with other existing implementations

L’intégration de l’environnement et des systèmes d’information progresse très vite depuis 10 ans. Cette intégration permet de suivre des évolutions naturelles, physiques, sociétales ; de les mesurer, de les comprendre ; quelquefois de les contrôler. On peut assimiler cette intégration à des besoins, tels que les changements climatiques ou les économies de ressources ; mais aussi à des progrès technologiques dans les domaines des systèmes miniatures, des communications sans fil et des capteurs.Dans ce contexte, nous avons d’abord effectué un apprentissage technologique, en réalisant plusieurs petits systèmes et des logiciels applicatifs de bas et de haut niveau. Nous nous sommes attaqués à la partie frontale des chaînes logicielles, celle qui permet de passer des bases de données pour Systèmes d’Information Géographique à l’implantation et l’exploitation de systèmes distribués de capteurs. QuickMap est ainsi un logiciel de navigation multi-services, incluant OpenStreetMap, construit pour le placement des capteurs et la spécification de systèmes de cellules physiques.Sur la plateforme NetGen, nous avons réalisé un simulateur concurrent associant un ou plusieurs mobiles à un ou plusieurs champs de capteurs. Une application est l’étude des interactions entre satellite en orbites basses, réseaux de capteurs lointains et stations de contrôle.Le séquencement par le temps permet d’associer plusieurs activités aériennes et au sol, en bénéficiant de hautes performances.Enfin, les questionnements méthodologiques ont amené à considérer la possibilité de virtualisation, à la fois du capteur, en le recouvrant d’une machine virtuelle, et à la fois du système d’observation distribué, en utilisant la plateforme NetGen.Nous avons maquetté un capteur et son interface radio en termes de processus communicants, en cherchant à réduire la complexité et la diversité de la programmation des petits systèmes matériels.Plusieurs de nos réalisations sont effectives et servent à des projets de recherche actifs.Cette thèse a été réalisée à l’Université de Brest, laboratoire Lab-STICC, grâce à une allocation de la communauté brestoise BMO. / The integration of environment and information systems is progressing quickly since 10 years. This allows to monitor natural, physical or societal evolutions; to capture their logic and sometimes to control their effects. This integration is feasible thanks to many technical and scientific progresses: sensors, wireless communications, system on chips, batteries, distributed systems and geo-localization. The benefits are important for climate change monitoring and resource savings.In this context, we have firstly achieved a learning of technologies and several practical system realizations. We have produced a navigation software (QuickMap) allowing to interface gis databases and tile servers similar to OpenStreetMap, taking care of sensor locations and outputs. QuickMap is also a nice frontend to produce cellular systems oriented to physical simulations.Using the NetGen platform, we have produced a simulation framework allowing to schedule mobile moves with sensor field activities. A case study was leo satellites visiting remote sensor systems, with investigations on two algorithms suitable for data collection and control.Finally we have addressed the question of observation system virtualization by using an high level, process oriented virtual machine (tvm) to control the wireless link, a step forward to make the distributed and local behaviours homogeneous in terms of programming and simulation.Many of our developments are currently involved in active projects.This thesis was funded by a grant of Brest Metropole Oceane (BMO) and was achieved in a wireless research group at University of Brest, Lab-STICC laboratory.

Les véhicules de demain, (2020), devront diminuer leurs émissions globales de CO2 de 30% selon les directives européennes. Une solution qui apparait aujourd’hui comme inévitable est la substitution des métaux présents dans les châssis de véhicules par des matériaux composites plus légers et tout aussi performants. Pour généraliser cette approche à tout le secteur automobile, un temps court de fabrication des pièces est exigé pour satisfaire les cadences de production allant jusqu’à 1000 véhicules par jour. La production automatisée et robotisée de ces matériaux, basée sur la technologie de photo-polymérisation au moyen de rayonnements UV, répond à ces exigences. Le procédé de fabrication élaboré se décompose en deux phases : une phase de fabrication automatisée de pré-imprégnés (prépregs), produits semi-finis, et une phase de mise en forme et d’obtention du produit final (composite UV). La première étape consiste en l’imprégnation d’un renfort fibreux sec par une résine liquide photo-polymérisable, puis l’irradiation de celle-ci par des rayonnements UV, de manière à ce que la résine ne soit pas totalement polymérisée. On obtient alors un prépreg collant. La seconde étape de fabrication impose que les pré-imprégnés soient conditionnés parfaitement sous forme de bobines pour qu’ils soient intégrés dans un dispositif robotisé de dépose. D’où la nécessité de concevoir et de réaliser une machine automatisée de production des pré-imprégnés (objet de cette thèse). Cette machine a nécessité une automatisation se caractérisant par l'utilisation d'outils d'instrumentation et de pilotage modernes (servomoteurs Brushless, IHM, capteurs, …). Les essais réalisés sur cette machine ont permis de réaliser des premiers prépregs, dont les résultats ont conduit à des pistes de réflexion pour approfondir l'automatisation de la machine en vue d'améliorer le procédé de fabrication de ces prépregs. / The overall CO2 emission of the future vehicles, (2020), must be reduced by 30%, according to European directives. A solution that seems inevitable nowadays is the substitution of metals present in the vehicle chassis by lighter and equally efficient composite-materials. To generalize this approach throughout the automotive sector, a short manufacturing time of these materials is required to meet the high required production rates, of up to 1000 vehicles per day. The automated and robotic production of these materials, depending on the photo polymerization technology by UV radiation, meets these requirements. The developed automated manufacturing process consists of two phases: the phase of automated manufacturing of semi-finished composite (prepreg), and the phase of shaping and obtaining the final composite (UV composite). The first phase depends on the impregnation of fibrous reinforcement with a photo-polymerizable and liquid resin, then, on the partial irradiation of impregnated reinforcement with UV rays, in such a way that the resin is not completely cured. Thereby, a tacky prepreg is obtained. The second phase of automated manufacturing process requires that the prepregs must be perfectly reeled up in a form of coils, so that they can be incorporated in a robotic lay-up placement head. Hence, the need to design and produce a machine of automated prepreg production (subject of this thesis) is absolutely necessary. This machine requires automation, characterized by the use of modern instrumentations and control tools (Brushless Servo, Human–computer interface HCI, sensors...). The tests performed by this machine have enabled the production of the first prepregs, of which the results led to further approaches to develop the automation of this machine in order to improve the prepregs manufacturing process.