Sur les différents calculateurs du véhicule, de plus en plus d'organes sont commandés par un interrupteur en silicium (circuit MOSFET) au lieu d'un relais. En plus de la fonction de commutation de puissance, le MOSFET peut comprendre un dispositif de mesure du courant afin de contrôler le pilotage de l'organe et/ou assurer une fonction de diagnostic. On appelle ce type de composant un commutateur intelligent de puissance ou Smart Switch. Il est aussi prévu dans le Smart Switch un dispositif de coupure du courant, en cas d'échauffement interne dû à une surintensité électrique. Avec les dernières avancées technologiques, ces composants peuvent aussi intégrer de la logique de pilotage et une interface de liaison numérique avec un microprocesseur. Cette dernière caractéristique motive lesujet de l'étude afin de définir des lois de protection améliorées contre les échauffements dus à une surintensité électrique.En effet, d’un point de vue de la protection électrique, le MOSFET a été conçu pour obtenir les mêmes caractéristiques qu’un fusible, avec la possibilité supplémentaire d’être réenclenché comme un disjoncteur. Le but est d’étudier les lois de pilotage qui pourraient permettre de mieux suivre les limites thermiques d’un conducteur électrique, en particulier dans les faibles surintensités, de façon à pouvoir diminuer le diamètre (donc le coût) des fils tout en assurant une meilleure protection face aux courts circuits impédants (courts-circuits sur une résistance un peu inférieure à la résistance nominale ducircuit, dans un rapport entre 1 et 3 par exemple). / On various vehicles Electronic Control Unit (ECU), more and more members are controlled bya MOSFET circuits instead of a relay. In addition to the power switching function, the MOSFET maymeasure the current to the steering control of the body and / or to ensure that a diagnostic function. Wecall this type of component a smart power switch or Smart Switch. It is also provided in the SmartSwitch device power failure, if the internal heating caused by electrical current. With the latesttechnology, these components can also integrate control logic and an interface for connection to adigital microprocessor. This last characteristic motivates the subject of study in order to defineimproved protection laws against overheating caused by an electrical current.Indeed, from the point of view of electrical protection, the MOSFET has been designed toachieve the same characteristics as a fuse, with the additional possibility to be reset as a circuit breaker.The aim is to study the control laws that could lead to better monitor the thermal limits of an electricalconductor, especially in low current, so as to reduce the diameter (hence the cost) of son while ensuringbetter protection against short-circuit-impedance (short circuit resistance of a little less than thenominal resistance of the circuit, in a ratio between 1 and 3 for example).

Les applications utilisant les procédés de fabrication directe par laser et projection de poudre sont en pleine expansion, en particulier, dans l'aéronautique. Néanmoins, cette technologie prometteuse fait état de quelques points durs et est confrontée aux problèmes d'instabilités du procédé. Lorsque ces phénomènes ne sont pas maîtrisés, cela conduit à des défauts (résistances mécaniques insuffisantes, porosités trop importantes, mauvais états de surface,….etc), qui, selon leur répartition et leur taille, risquent d'engendrer des non conformités, de détériorer les caractéristiques mécaniques des pièces et qui peuvent représenter un coût de post-traitement non négligeable. Par conséquent, il est primordial de maîtriser le procédé d'élaboration, afin de rendre le procédé de fabrication robuste et préserver l'intégrité structurelle de la pièce. Cela requiert la mise en place de système d'instrumentation du procède de projection laser, et par l'intermédiaire du contrôle procédé, d'avoir un système de commande temps réel permettant d'adapter les paramètres procédés en cours d'élaboration, afin de de maintenir une haute qualité de la pièce fabriquée. Dans cette perspective, nous avons développé une solution technologique (matérielle et algorithmique) à base de caméras (vision) permettant de suivre des paramètres clefs lors de la fabrication. L'application de ce système de vision a permis la mise en œuvre de méthodes innovantes, utilisant des outils de l'automatique moderne, pour surveiller l'état de pièces projetées, voire même corriger leurs défauts lors de la fabrication, en ayant un suivi et un contrôle du procédé en temps réel. De plus ce système de vision a permis à partir de mesures effectuées sur les entrées et les sorties du procédé, d'identifié un modèle dynamique qui ont conduit à la réalisation du système de contrôle procédé. / Applications using the direct metal deposition laser process have been expanded rapidly, particularly in aeronautics. However, this promising technology reported some difficult points and faced several problems, mainly the process instability. When these phenomena are not controlled, several defects was obtained (lack of mechanical strength, excessive porosity, poor surface, ... etc.). According to their distribution and size, non-conformity, deteriorate the mechanical characteristics of the parts was recorded and result in a significant cost of post-processing. Therefore, it is important to control the process, to make the process both robust and preserve the structural integrity of the piece. This requires the development of instrumentation through the control process, in order to have a real-time system able to adjust the process parameters to keep a high quality of the manufactured part. In this perspective, the studied thesis developed a technological solution (hardware and algorithms) based on cameras (vision) to monitor key parameters during manufacture. The application of this vision system has been allowed for the implementation of innovative methods by using modern automatic tools to monitor the status of the built part or even correct their defects during the manufacture parts, having a monitoring and process control in real time. Furthermore this vision system performed measurements for the inputs and outputs of the process, matched to a dynamic model that lead to the realization of the process control system.

Les travaux développés dans cette thèse visent à assister le processus d’ingénierie des exigences temporelles pour les systèmes complexes à contraintes de temps. Nos contributions portent sur trois volets : la spécification des exigences, la modélisation du comportement et la vérification. Pour le volet spécification, une nouvelle classification des exigences temporelles les plus communément utilisées a été proposée. Ensuite, afin de cadrer l’utilisateur durant l’expression des exigences, une grammaire de spécification à base de motifs prédéfinis en langage naturel est développée. Les exigences générées sont syntaxiquement précises et correctes quand elles sont prises individuellement, néanmoins cela ne garantie pas la cohérence de l’ensemble des exigences exprimées. Ainsi, nous avons développé des mécanismes capables de détecter certains types d’incohérences entre les exigences temporelles. Pour le volet modélisation du comportement, nous avons proposé un algorithme de transformation des state-machine avec des annotations temporelles en des automates temporisés. L’idée étant de manipuler une notation assez intuitive et de générer automatiquement des modèles formels qui se prêtent à la vérification. Finalement, pour le volet vérification, nous avons adopté une technique de vérification à base d’observateurs et qui repose sur le model-checking. Concrètement, nous avons élaboré une base de patterns d’observation (ou observateurs) ; chacun des patterns développés est relatif à un type d’exigence temporelle dans la nouvelle classification. Ainsi, la vérification est réduite à une analyse d’accessibilité des états correspondants à la violation de l’exigence associée / The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three phases: the specification, the behaviour modelling and the verification. For the specification of temporal requirements, a new temporal properties typology taking into account all the common requirements one may meet when dealing with requirements specification, is introduced. Then, to facilitate the expression, we have proposed a structured English grammar. Nevertheless, even if each requirement taken individually is correct, we have no guarantee that a set of temporal properties one may express is consistent. Here we have proposed an algorithm based on graph theory techniques to check the consistency of temporal requirements sets. For the behaviour modelling, we have proposed an algorithm for transforming UML State Machine with time annotations into Timed Automata (TA). The idea is to allow the user manipulating a quite intuitive notation (UML SM diagramsduring the modelling phase and thereby, automatically generate formal models (TA) that could be used directly by the verification process. Finally, for the verification phase, we have adopted an observer-based technique. Actually, we have developed a repository of observation patterns where each pattern is relative to a particular temporal requirement class in our classification. Thereby, the verification process is reduced to a reachability analysis of the observers’ KO states relatives to the requirements’ violation

La complexité associée à la coordination d’un groupe de robots mobiles est traitée dans cette thèse en investiguant plus avant les potentialités des architectures de commande multi-contrôleurs dont le but est de briser la complexité des tâches à exécuter. En effet, les robots mobiles peuvent évoluer dans des environnements très complexes et nécessitent de surcroît une coopération précise et sécurisée pouvant rapidement devenir inextricable. Ainsi, pour maîtriser cette complexité, le contrôleur dédié à la réalisation d’une tâche est décomposé en un ensemble de comportements/contrôleurs élémentaires (évitement d’obstacles et de collision entre les robots, attraction vers une cible, planification, etc.) qui lient les informations capteurs (provenant des capteurs locaux du robot, etc.) aux actionneurs des différentes entités robotiques. La tâche considérée dans cette thèse correspond à la navigation d’un groupe de robots mobiles dans des environnements peu ou pas connus en présence d’obstacles (statiques et dynamiques). La spécificité de l’approche théorique consiste à allier les avantages des architectures multi-contrôleurs à ceux des systèmes multi-agents et spécialement les modèles organisationnels afin d’apporter un haut niveau de coordination entre les agents/robots mobiles. Le groupe de robots mobiles est alors coordonné suivant les différentes normes et spécifications du modèle organisationnel. Ainsi, l’activation d’un comportement élémentaire en faveur d’un autre se fait en respectant les contraintes structurelles des robots en vue d’assurer le maximum de précision et de sécurité des mouvements coordonnés entre les différentes entités mobiles. La coopération se fait à travers un agent superviseur (centralisé) de façon à atteindre plus rapidement la destination désirée, les événements inattendus sont gérés quant à eux individuellement par les agents/robots mobiles de façon distribuée. L’élaboration du simulateur ROBOTOPIA nous a permis d’illustrer chacune des contributions de la thèse par un nombre important de simulations. / The difficulty of coordinating a group of mobile robots is adressed in this thesis by investigating control architectures which aim to break task complexity. In fact, multi-robot navigation may become rapidly inextricable, specifically if it is made in hazardous and dynamical environment requiring precise and secure cooperation. The considered task is the navigation of a group of mobile robots in unknown environments in presence of (static and dynamic) obstacles. To overcome its complexity, it is proposed to divide the overall task into a set of basic behaviors/controllers (obstacle avoidance, attraction to a dynamical target, planning, etc.). Applied control is chosen among these controllers according to sensors information (camera, local sensors, etc.). The specificity of the theoretical approach is to combine the benefits of multi-controller control architectures to those of multi-agent organizational models to provide a high level of coordination between mobile agents-robots systems. The group of mobile robots is then coordinated according to different norms and specifications of the organizational model. Thus, activating a basic behavior in favor of another is done in accordance with the structural constraints of the robots in order to ensure maximum safety and precision of the coordinated movements between robots. Cooperation takes place through a supervisor agent (centralized) to reach the desired destination faster ; unexpected events are individually managed by the mobile agents/robots in a distributed way. To guarantee performance criteria of the control architecture, hybrid systems tolerating the control of continuous systems in presence of discrete events are explored. In fact, this control allows coordinating (by discrete part) the different behaviors (continuous part) of the architecture. The development of ROBOTOPIA simulator allowed us to illustrate each contribution by many results of simulations.

Plusieurs laboratoires de robotique à travers le monde travaillent sur le développement de stratégies innovantes pour la navigation autonome de véhicules élémentaires ou en convoi. Dans ce contexte, nos travaux de thèse s’inscrivent principalement dans le cadre de la navigation en formation d’un groupe de véhicules dans des environnements structurés. La complexité de ces systèmes multi-robots ne permet pas l’utilisation directe de techniques classiques de perception et/ou de contrôle/commande. Nos travaux ont consisté à décomposer le contrôle global, dédié à la réalisation de la tâche complexe, en un ensemble de comportements/contrôleurs élémentaires précis et fiables (e.g., évitement d’obstacles, suivi de trajectoire, attraction vers une cible, navigation en formation, etc.). Ces comportements lient les différentes informations fournies par les capteurs aux actions des véhicules. Pour garantir les critères de performances imposés à notre architecture de contrôle/commande (e.g., stabilité, robustesse et/ou borner les erreurs maximales), les potentialités des systèmes hybrides ont été considérées. Cette architecture de contrôle a été validée, dans un premier temps, sur des véhicules pris individuellement, en utilisant notamment une stratégie de navigation sûre et flexible utilisant des points de passage. Cette navigation permet au véhicule d’effectuer différentes manœuvres entre ces points de passage (pour éviter par exemple des obstacles dans l’environnement) et ce sans avoir à planifier/re-planifier des trajectoires globales dans l’environnement. Une loi de commande spécifique, permettant une attraction stable (au sens de Lyapunov) et précise vers des cibles statiques ou dynamiques a été par ailleurs développée. Cette loi de commande garantit la convergence du véhicule vers chaque point de passage tout en garantissant des trajectoires sûres. Par ailleurs, un algorithme nommé OMWS (pour Optimal Multi-criteria Waypoint Selection) a été proposé pour sélectionner les configurations optimales des points de passage dans l’environnement. Cet algorithme permet de garantir des mouvements sûrs et fiables du véhicules en tenant compte des contraintes et incertitudes liées à la navigation du véhicule. Par la suite, l’architecture de contrôle/commande proposée a été étendue aux systèmes multi-robots en utilisant la combinaison d’une approche leader-suiveur et comportementale. Un important aspect de la navigation multi-robots est la reconfiguration dynamique de la formation en fonction du contexte de la navigation (e.g., passer d’une configuration triangle vers ligne si la largeur de la voie de navigation ne suffisait pas). Ainsi, des stratégies de reconfiguration dynamique ont été proposées, permettant de garantir la sureté de la formation même au moment des transitions entre configurations. Il est à noter par ailleurs que des métriques spécifiques ont été proposées pour quantifier la fiabilité et la robustesse des stratégies multi-robots proposées. Plusieurs simulations et expérimentations avec des véhicules urbains (VIPALABs) nous ont permis de confirmer la viabilité et efficacité des architectures de contrôle/commande proposées pour la navigation en formation d’un groupe de VIPALABs. / Beyond the interest of robotics laboratories for the development of dedicated strategies for single vehicle navigation, several laboratories around the world are more and more involved in the general challenging field of cooperative multi-robot navigation. In this context, this work deals with the navigation in formation of a group of Unmanned Ground Vehicles (UGVs) dedicated to structured environments. The complexity of this Multi-Robot System (MRS) does not permit the direct use of neither classical perception nor control techniques. To overcome this problem, this work proposes to break up the overall control dedicated to the achievement of the complex task into a group of accurate and reliable elementary behaviors/controllers (e.g., obstacles avoidance, trajectory tracking, target reaching, navigation in formation, formation reconfiguration, etc.). These behaviors are linked to different information given by the sensors to the actions of vehicles. To guarantee the performances criteria (e.g., stability, convergence, state errors) aimed by the control architecture, the potentialities of hybrid controllers (which controlling continuous systems in the presence of discrete events) are considered. This control architecture is validated for a single vehicle to perform safe and flexible autonomous navigation using an appropriate strategy of navigation through suitable set of waypoints. This flexible navigation allows different vehicle maneuvers between waypoints (e.g., target reaching or obstacle avoidance) without using any trajectory planning nor replanning. The designed control law based on Lyapunov synthesis guarantees the convergence to assigned waypoint while performing safe trajectories. Furthermore, an algorithm to select suitable waypoints’ positions, named Optimal Multi-criteria Waypoint Selection (OMWS), in structured environments while taking into account the safe and reliable vehicle movements, and vehicle constraints and uncertainties is proposed. Subsequently, the control architecture is extended to Multi-Robot Formation (MRF) using a combination of Leader-Follower and behavior-based approaches. An important cooperative MRS issues in this thesis is the dynamic reconfiguration of the formation according to the context of navigation (e.g., to pass from a triangle configuration towards a line if the width of the navigation way is not sufficient). The proposed Strategy for Formation Reconfiguration (SFR) guarantees the stability and the safety of the MRS at the time of the transitions between configuration (e.g., line towards square, triangle towards line, etc.). Therefore, a safe, reactive and dynamic MRF is obtained. Moreover, the degrees of multi-robot safety, stability and reliability of the system are quantified via suitable metrics. Simulations and experiments using urban vehicles (VIPALABs) of the Institut Pascal laboratory allow to perform exhaustive experiments of the proposed control architecture for the navigation in formation of a group of UGVs.

La conception des systèmes de contrôle-commande souffre souvent des problèmes de communication et d’interprétation des spécifications entre les différents intervenants provenant souvent de domaines techniques très variés. Afin de cadrer la conception de ces systèmes, plusieurs démarches ont été proposées dans la littérature. Parmi elles, la démarche dite mixte (ascendante/descendante), qui voit la conception réalisée en deux phases. Dans la première phase (ascendante), un modèle du système est défini à partir d’un ensemble de composants standardisés. Ce modèle subit, dans la deuxième phase (descendante), plusieurs raffinages et transformations pour obtenir des modèles plus concrets (codes,applicatifs, etc.). Afin de garantir la qualité des systèmes conçus par cette démarche, nous proposons dans cette thèse, deux approches de vérification formelle basées sur le Model-Checking. La première approche porte sur la vérification des composants standardisés et permet la vérification d’une chaîne de contrôle-commande élémentaire complète. La deuxième approche consiste en la vérification des modèles d’architecture (P&ID) utilisés pour la génération des programmes de contrôle-commande. Cette dernière est basée sur la définition d’un style architectural en Alloy pour la norme ANSI/ISA-5.1. Pour supporter les deux approches, deux flots de vérification formelle semi-automatisés basés sur les concepts de l’IDM ont été proposés. L’intégration des méthodes formelles dans un contexte industriel est facilitée, ainsi, par la génération automatique des modèles formels à partir des modèles de conception maîtrisés par les concepteurs métiers. Nos deux approches ont été validées sur un cas industriel concret concernant un système de gestion de fluide embarqué dans un navire. / The design of control-command systems often suffers from problems of communication and interpretation of specifications between the various designers, frequently coming from a wide range of technical fields. In order to address the design of these systems, several methods have been proposed in the literature. Among them, the so-called mixed method (bottom-up/top-down), which sees the design realized in two steps. In the first step (bottom-up), a model of the system is defined from a set of standardized components. This model undergoes, in the second (top-down) step, several refinements and transformations to obtain more concrete models (codes, applications, etc.). To guarantee the quality of the systems designed according to this method, we propose two formal verification approaches,based on Model-Checking, in this thesis. The first approach concerns the verification of standardized components and allows the verification of a complete elementary control-command chain. The second one consists in verifying the model of architecture (P&ID) used for the generation of control programs.The latter is based on the definition of an architectural style in Alloy for the ANSI/ISA-5.1 standard. To support both approaches, two formal semi-automated verification flows based on Model-Driven Engineering have been proposed. This integration of formal methods in an industrial context is facilitated by the automatic generation of formal models from design models carried out by business designers. Our two approaches have been validated on a concrete industrial case of a fluid management system embedded in a ship.

La charge d’un véhicule électrique constitue un enjeu stratégique pour les constructeurs automobile et forme un réel défi à relever avant de pouvoir comparer ces véhicules à la simplicité d'usage du véhicule thermique. En effet, l’autonomie limitée, la durée de recharge de la batterie, le coût du déploiement d’une infrastructure de charge rapide, l'impact significatif sur les réseaux électriques et le coût élevé de la batterie sont à l’origine de plusieurs projets de recherche axés sur l’optimisation de la chaîne de recharge du véhicule électrique. Afin d’améliorer l'autonomie d'un véhicule électrique, une solution contraignante mais stratégique consiste à embarquer le chargeur dans le véhicule afin d’assurer la conversion ac-dc de l’énergie à partir des prises de courant. Cette solution permet d’augmenter la disponibilité de la charge pour les utilisateurs. En outre, le chargeur embarqué peut réutiliser tout, ou une partie des éléments déjà existants et nécessaires à la propulsion du véhicule. L'idée étant de pouvoir employer certains éléments de la chaîne de traction électrique, déjà embarqués dans le VE (moteur électrique et onduleur de tension), et d’ajouter un filtre d'entrée et un redresseur afin de concevoir le chargeur. Cette solution permet de réduire le coût du chargeur, sa taille ainsi que le volume nécessaire à l'intégration de ses constituants électriques, on parle alors de chargeur intégré à la chaîne de traction. Cependant, la réutilisation de l’électronique de puissance embarquée engendre des problèmes de compatibilité électromagnétique avec d’autres équipements connectés sur le réseau électrique et aussi avec les dispositifs de protection domestique.Le problème majeur à lever est donc, la limitation des émissions conduites et plus particulièrement des courants de mode commun dans une gamme de fréquence importante. Ce projet de thèse a donc, pour objectif, l’amélioration de la disponibilité de la charge actuelle tout en réduisant le volume du filtre CEM passif. Nous cherchons, à travers ces travaux, à identifier des domaines d'améliorations possibles, à proposer des solutions à bas coûts et à intégrer des modifications au niveau de la commande et de la topologie afin d'optimiser le comportement CEM, tant en basses fréquences (0 - 2 kHz) qu’en hautes fréquences (150 Hz- 30 MHz), de ce chargeur embarqué intégré sans isolation galvanique. Les propositions doivent répondre simultanément aux besoins de recharge domestique en monophasé (à 3.7 kW et à 7.4 kW) et rapide en triphasé (à 22 kW et à 43 kW) sans pour autant augmenter le volume ni les coûts engendrés. Ainsi, cinq axes de travail sont étudiés: l’optimisation du comportement CEM (0-2 kHz) du chargeur en monophasé ; l’optimisation du comportement CEM (0-2 kHz) du chargeur en triphasé ; le développement, la mise en œuvre et l’instrumentation de deux bancs expérimentaux exploités pour l’obtention de résultats; la proposition d’une approche de modélisation CEM de la structure qui tient compte du mode commun et du mode différentiel ; et la proposition de solutions pour la réduction des émissions conduites (150 kHz – 30 MHz). / Battery chargers for electric vehicles are classified as on-board or off-board chargers. Off-board chargers are not constrained by size or weight but introduce additional cost to the infrastructure through the deployment of a high number of charging stations. In order to meet the needs of electric vehicle users in terms of charging availability, on-board chargers that achieve ac/dc conversion are retained. Furthermore, on-board chargers are classified as standalone or integrated systems. By reusing parts of the traction power train for charging, the latter reduces the cost of the charger. Disadvantages of integrated systems include electromagnetic compatibility issues and complex control schemes.This work presents the power quality performance analysis and control optimization of an on-board non-galvanically isolated electric vehicle charger integrated to the traction’s power train. In order to be able to evaluate the high frequency conducted common mode emissions (150 kHz - 30MHz) of a power conversion structure, one needs to develop a good current control scheme that establishes a high-quality low frequency behavior (0 - 2 kHz). Therefore, different aspects related to the power factor correction of the single-phase as well as the three-phase charging configurations are studied: the control scheme for the regulation of the charging power, the displacement power factor correction, the suppression of the grid current harmonics and the active damping of the input filter’s resonance. Two experimental test benches are developed using two different technologies (Silicon IGBTs vs. Silicon Carbide Mosfets). Experimental results are provided.This work also presents a comprehensive approach to modeling the CM and the DM EMI behavior of a power electronics structure. This method is applied to the charger in its single-phase and three-phase configurations. The models allow to evaluate the fluctuating internal nodes and to study the effect of various proposed mitigation solutions on the CM emissions. The models are also developed in the intent of being injected into optimization algorithms for the future design of an optimal EMI filter.

Les travaux de thèse s’intéressent au réglage de la puissance active injectée dans le réseau, ce qui représente aujourd'hui l'une des problématiques principales du pilotage des parcs éoliens participant à la gestion du réseau. Dans le même temps, l'un des buts reste de maximiser la puissance extraite du vent en considérant les effets de couplage aérodynamique entre les éoliennes.La structure du contrôle-commande choisie est de type hiérarchisée et distribuée. Dans la première partie de la thèse, les travaux portent sur la commande de la turbine d'une éolienne autour des points de fonctionnement classiques mais également autour des points à puissance extraite réduite. En fait, cela relève d’une condition de fonctionnement nécessaire pour l'atteinte des objectifs imposés au pilotage d'un parc éolien.Dans la deuxième partie, le problème du contrôle à l'échelle d'un parc est posé sous la forme d'une optimisation distribuée parmi les turbines. Deux nouveaux algorithmes d'optimisation métaheuristique sont proposés et leur performance testée sur différents exemples de parcs éoliens. Les deux algorithmes s'appuient sur la méthode d'optimisation par essaim particulaire, qui est ici modifiée et adaptée pour les cas d'application aux systèmes multi agents. L'architecture de contrôlecommande globale est enfin évaluée en considérant les dynamiques des turbines contrôlées. Les simulations effectuées montrent des gains potentiels significatifs en puissance.Finalement, dans la troisième partie de la thèse, l'introduction d'une nouvelle étape de coopération au niveau des contrôleurs locaux des turbines, par l'utilisation de la technique de contrôle par consensus, permet d'améliorer les performances du système global. / In this PhD work we focus on the wind farm (WF) active power control since some of the new set grid requirements of interest can be expressed as specifications on its injection in the electric grid. Besides, one of our main objectives is related to the wind farm power maximization problem under the presence on non-negligible wake effect. The chosen WF control architecture has a two-layer hierarchical distributed structure. First of all, the wind turbine (WT) control is addressed. Here, a nonlinear controller lets a WT work in classic zones of functioning as well as track general deloaded power references. This last feature is a necessary condition to accomplish the WF control specifications. Secondly, the high level WF control problem is formulated as an optimization problem distributed among the WTs. Two novel distributed optimization algorithms are proposed, and their performance tested on different WF examples. Both are based on the well-known particle swarm optimization algorithm, which we modify and extend to be applicable in the multi-agent system framework. Finally, the overall WF control is evaluated by taking into account the WTs controlled dynamics. Simulations show potential significant power gains. Eventually, the introduction of a new control level in the hierarchical structure between the WF optimization and the WTs controllers is proposed. The idea is to let further cooperation among the WT local controllers, via a consensusbased technique, to enhance the overall system performance.

L'objectif du travail proposé est de concevoir et commander un groupe des robots mobiles similaires et d'architecture simple appelés m-bots (mono-robots). Plusieurs m-bots ont la capacité de saisir ensemble un objet afin d'assurer sa co-manipulation et son transport quelle que soit sa forme et sa masse. Le robot résultant est appelé p-bot (poly-robot) et est capable d'effectuer des tâches de déménageur pour le transport d'objets génériques. La reconfigurabilité du p-bot par l'ajustement du nombre des m-bots utilisés permet de manipuler des objets lourds et des objets de formes quelconques (particulièrement s'ils sont plus larges qu'un seul m-bot). Sont considérés dans ce travail l'évitement d'obstacle ainsi que la stabilité du p-bot incluant la charge à transporter. Une cinématique pour un mécanisme de manipulation a été proposée et étudiée. Ce dernier assure le levage de la charge et son dépôt sur le corps des robots pour la transporter. Plusieurs variantes d'actionnement ont été étudiées : passif, avec compliance et actionné. Un algorithme de positionnement optimal des m-bots autour de l'objet à manipuler a été proposé afin d'assurer la réussite de la tâche à effectuer par les robots. Cet algorithme respecte le critère de "Force Closure Grasping" qui assure la stabilité de la charge durant la phase de manipulation. Il maintient aussi une marge de stabilité statique qui assure la stabilité de l'objet durant la phase de transport. Enfin, l'algorithme respecte le critère des zones inaccessibles qui ne peuvent pas être atteintes par les m-bots. Une loi de commande a été utilisée afin d'atteindre les positions désirées pour les m-bots et d'assurer la navigation en formation, durant la phase du transport, durant laquelle chaque robot élémentaire doit maintenir une position désirée par rapport à l'objet transporté. Des résultats de simulation pour un objet de forme quelconque, décrite par une courbe paramétrique, sont présentés. Des simulations 3D en dynamique multi-corps ainsi que des expériences menées sur les prototypes réalisés ont permis de valider nos propositions. / Our goal in the proposed work is to design and control a group of similar mobile robots with a simple architecture, called m-bot. Several m-bots can grip a payload, in order to co-manipulate and transport it, whatever its shape and mass. The resulting robot is called a p-bot andis capable to solve the so-called "removal-man task" to transport a payload. Reconfiguring the p-bot by adjusting the number of m-bots allows to manipulate heavy objects and to manage objects with anyshape, particularly if they are larger than a single m-bot. Obstacle avoidance is addressed and mechanical stability of the p-bot and its payload is permanently guaranteed. A proposed kinematic architecture for a manipulation mechanism is studied. This mechanism allows to lift a payload and put it on them-bot body in order to be transported. The mobile platform has a free steering motion allowing the system maneuver in any direction. An optimal positioning of the m-bots around the payload ensures a successful task achievement without loss of stability for the overall system. The positioning algorithm respects the Force Closure Grasping (FCG) criterion which ensures the payload stability during the manipulation phase. It respects also the Static Stability Margin (SSM) criterion which guarantees the payload stability during the transport. Finally, it considers also the Restricted Areas (RA) that could not be reached by the robots to grab the payload. A predefined control law is then used to ensure the Target Reaching (TR) phase of each m-bot to its desired position around the payload and to track a Virtual Structure (VS), during the transportation phase, in which each elementary robot has to keep the desired position relative to the payload. Simulation results for an object of any shape, described by aparametric curve, are presented. Additional 3D simulation results with a multi-body dynamic software and experiments by manufactured prototypes validate our proposal.

Cette thèse s'inscrit dans la continuité des travaux de l'équipe CRONE appliqués à la suspension. Cette thèse permet de proposer une suspension CRONE qui non seulement gère le compromis Isolation vibratoire/ tenue de caisse mais également isolation vibratoire/ tenue de roue. Pour cela un critère est développé sur la tenue de roue, applicable à tous types de suspensions permettant l’analyse et le dimensionnement de la suspension pour le contrôle de roue. De plus afin de lever le dilemme entre sollicitations route et sollicitation conducteur, une stratégie pour les suspensions bi -états est proposée et appliquée sur suspension hydractive. Enfin , un travail de formalisme de l’ influence la suspension sur la dynamique véhicule fut réalisé permettant d ’enrichir la stratégie de commutation déjà développée pour agir en virage et en freinage et ainsi optimiser l’utilisation de la suspension . / This thesis follows some previous work of the CRONE team applied to carsuspensions. It allows to purpose one car suspension, called CRONE car suspension, whichimproves the compromise between low frequency road filtering and car holding and thecompromise between hight frequency road filtering and wheel holding. To hold the wheel acriterium on the wheel holding is developed. This criterium can be used to analyse and tunedall kind of car suspension around the wheel pulsation. Moreover, to fight against thecompromise between the driver input and the raod input, a control laws is developed andapplied to a bi-state car suspension called hydractive car suspension. Finally, the influence ofthe car suspension tuning on the vehicle dynamic and more precisely on the ESP, ABSsystems is studied and illustrated with some first experiments.