The aim of this thesis is to investigate the development and control of electro-pneumatic actuators in a haptic teleoperation system. For controlling the mass flow rate of such actuators, two types of valve technology are sudied, i.e. solenoid (on/off) valve and proportional servovalve. The servovalves have found widespread applications in which high accuracy of force/position control are needed. They are however typically expensive due to the requirements of high-precision manufacturing. Therefore, the low-cost solenoid valves can be an alternative to the servovalves for achieving acceptable-performance pneumatic control. Generally, the highly nonlinear of the pneumatic actuator is heightened when it uses on/off solenoid valves instead of servovalves. In this case, precise control is challenging due to the discrete-input nature of the system. Our first objective is to demonstrate that it is possible to design an acceptable performance teleoperation system using master-slave robots that have pneumatic actuators equipped with only inexpensive on/off solenoid valves. To control efficiently the switching valves, several control approaches have been proposed, namely pulse width modulation (PWM), hybrid algorithm, and sliding mode control. A hybrid control theory, which includes more switching control modes, than PWM, allows to reduce the chattering problem and improve the energy consumption of the valves. Another strategy (i.e. a sliding mode control), which does not depend on the pneumatic model, is proposed. This control stratgy allows to perform not only the transparent analysis but also the stability analysis. In order to improve the dynamic performance and reduce the chattering problem in solenoid valve actuated pneumatic teleoperation systems, a five-mode sliding control scheme has been used, which can be considered as an extension of the three-mode sliding controller. Our study demonstrates that by increasing the number of possible control actions for the valves, we can reduce the valves' switching activities, hence improving the valve's life times at no cost to teleoperation transparency. The second objective of the thesis involves in implementing the proportional servovalves on the pneumatic teleoperation system. A comparison related to the teleoperation performance between an on/off valve and a servovalve is carried out. In experiments, it is observed that with the bilateral teleoperation architecture employing solenoid valves or servovalves, satisfactory force and position tracking between the master and the slave is obtained. In bilateral teleoperation control, force sensors are often omitted to save cost and to lessen weight and volume. Therefore, another aspect of our work consists in using observers for an estimation of operator and environment forces. Experimental results show that acceptable teleoperation transparency based on a simple Nicosia observer and a tangent linear control approach can be achieved.

This article presents a simulation study into effects of compliant (flexible) components (such as the engine subframe and the lower control arm) and their deflections on the characteristics of a vehicle experiencing steering drift during straight-line braking. The vehicle front and rear suspension are modelled using multi-body dynamic analysis software. The front suspension model represents theMacPherson strut design of the vehicle and includes a rack and pinion steering system, brake system, engine subframe, and a powertrain unit. The model has been analysed under two steering control methods: fixed and free control. Suspension characteristics and the effect of deflections arising from the subframe and the lower control arm on these suspension characteristics have been analysed. The simulations confirmed that variation of component stiffness and interactions within components give rise to side-to-side deflections that could affect lateral drift during braking. It is concluded that side-to-side variation of suspension characteristics can have a detrimental effect on lateral drift during braking and that compliant components whose stiffness varies from side to side can cause different side-to-side deflections that can induce and influence variation in suspension characteristics such as toe steer angle that can lead the vehicle during braking.

L'accroissement permanent du commerce intercontinental et la mondialisation s'accompagnent d'une augmentation de la productivité des ports et des terminaux à conteneurs. Le besoin de compétitivité des exploitants auquel s'additionnent les législations environnementales, poussent les fabricants d'engins de manutention de conteneurs à développer de nouvelles solutions afin de produire des machines plus respectueuses de l'environnement à un coût de possession acceptable. Pour ce faire, l'hybridation des sources d'énergie et l'utilisation de chaînes d'actionnement plus efficaces d'un point de vue énergétique sont les solutions envisagées. En conséquence, les cahiers des charges sont de plus en plus complexes, et les spécifications qu'ils stipulent sont de nature hétérogène. Ce travail de thèse s'intéresse à deux aspects majeurs en lien avec ces problématiques. Il s'articule donc d'une part autour d'un développement méthodologique concernant le dimensionnement de systèmes suractionnés par couplage de problèmes d'inversion et d'optimisation, et d'autre part, autour d'un développement applicatif visant la conception, la commande et la validation expérimentale d'une chaîne d'actionnement hybride d'un engin portuaire. Premièrement, nous proposons une procédure de construction d'un modèle s'appuyant sur le langage bond graph permettant de prendre en compte des spécifications exprimées en termes de critère à minimiser et de fonctions du temps désirées en sortie du système. Ce problème prend alors la forme d'un problème couplé d'inversion-optimisation. Du modèle bond graph obtenu, il est possible de déterminer directement les conditions nécessaires d'optimalité, et donc le système d'équations algébrodifférentielles associé. Nous nous intéressons ensuite à l'extension de la procédure de représentation d'un problème d'optimisation seul, dans le cas où des non linéarités apparaissent au niveau des phénomènes de dissipation d'énergie. Dans un second temps, nous proposons une nouvelle architecture pour un engin de manutention de conteneurs afin d'améliorer son efficacité énergétique. Cette solution de récupération d'énergie à la descente du conteneur est basée sur un transformateur hydraulique. L'énergie est stockée dans un accumulateur hydropneumatique, puis, elle est restituée grâce à un moteur hydraulique complémentaire couplé au moteur diesel. Un redimensionnement de la chaîne d'actionnement hydraulique ainsi qu'une stratégie de commande plus adaptée sont également proposées. Ces modifications offrent la possibilité de réaliser une récupération d'énergie à la décélération du véhicule sans ajout de composant majeur. L'architecture globale obtenue associée à une stratégie de commande adéquate génèrent une réduction de la consommation de carburant de 16% à 18%. Finalement, une validation expérimentale du système de récupération d'énergie potentielle est effectuée et les performances dynamiques et énergétiques sont analysées avec la commande proposée. / The continuously increasing of the intercontinental trade as well as the globalization lead to the need of higher productivity for ports and container terminals. In order to fulfill the need of competitiveness of terminal operators and in the same time respect the environmental legislation, container handling machine manufacturers are developping new solutions. Hybridization of energy sources is an interesting way but using more energy efficient actuation lines is also suitable. As a consequence, specifications are more and more complex, and can in particular have heterogeneous natures. In this thesis, the focus is made on two main topics linked to those problematics. On the one hand, a methodology concerning the sizing of over-actuated systems thanks to a coupling between inverse problems and dynamic optimization is exposed. On the other hand, the design, control strategies and an experimental validation of an hybrid actuation line applied to an container handling machine is presented. First of all, we propose a new procedure based on the bond graph language allowing the designer to take into account simultaneously two types of specifications, namely a cost function to minimize and functions of time specifying desired outputs of the system. This results in a coupled problem of state-space inversion and optimization. The procedure lead to a bond graph from which it is possible to directly derive the analytical system of the problem. The fundamental theory for proving the effectiveness of this procedure is carried out using the port hamiltonian systems. The bond graph representation of an optimal control problem is then extended to systems involving non linearities on dissipative R elements. In a second part, a new actuation architecture is proposed for a container handling machine, in order to improve the fuel efficiency. On the one hand, a transformer based system to recover the potential energy released during container lowering is exposed. This energy is stored into a hydropneumatic accumulator. Then, it is returned thanks to an extra hydraulic motor coupled to the engine shaft. On the other hand, a resizing of the main hydraulic pumps as well as a more suitable control law is proposed in order to make the engine work at better efficiency points. All those evolutions previously mentionned give now the possibility to perform kinetic energy recuperation during vehicle deceleration without adding any major component. The new architecture combined with more effetive control laws lead to a fuel consumption reduction of 16% up to 18%. Finally, the potential energy recovery system is validated on a test rig. The control laws are implemented and the dynamic and energetic performances are then analysed.

A distributed delay is a linear input-output operators and appears in many control problems. We investigate distributed delay and its applications. After introducing the definition and the main properties of the distributed delay, the numerical implementation problem of distributed delays is analyzed and a general method for its approximation is given. Then three applications are focused on where distributed delay appears. The first application is the stable inversion and model matching. A new class of stable inversion and model matching problem for finite dimensional linear time-invariant systems is defined. The stable inversion (resp. model matching) is an approximation of the inverse of a given model (resp. model matching), where exact inversion (resp. exact matching) is reached after a time $t=h$, which is a parameter of our procedure. The second application is concerned with stabilization and finite spectrum assignment for a class of infinite dimensional systems. The last application concerns observer synthesis for estimation or output control. For linear finite dimensional systems. A closed-loop memoryless observer by input injection is introduced. Asymptotic convergence as well as finite time convergence of the estimation are analyzed by output injection and input information via distributed delay. At last, we introduce a new class for approximation of distributed parameter systems. We work on the graph topology, and show that under some weak assumptions, such an approximation can be realized using distributed delay.

Resumo: O objetivo desta pesquisa consiste na elaboração de mapas áudio-dinâmicos em múltiplas escalas automáticas, para um Sistema de Navegação e Guia de Rota em Automóvel (SINGRA). O projeto das representações cartográficas foi dividido em duas fases: projeto de composição geral e projeto áudio-gráfico. Os mapas visuais dinâmicos foram elaborados com base nos princípios da comunicação cartográfica e da percepção visual, com ênfase nas operações de generalização. A área de estudo apresenta uma malha urbana com diferentes tipos de vias, cruzamentos e limites de velocidade. Os mapas foram projetados para serem exibidos em um monitor de pequeno formato (sete polegadas), com alta resolução, e um total de quatro escalas de representação foi determinado: 1/10.000, 1/5.000, 1/2.500 e 1/1.000. Tais escalas foram definidas em função do tamanho da mídia de apresentação e do tipo de tarefa tática. Os mapas generalizados foram obtidos pela aplicação das operações de simplificação, exagero e deslocamento, sobre uma base cartográfica na escala 1/1.000. As representações áudio-dinâmicas foram produzidas a partir de variáveis áudio-dinâmicas. As mensagens de voz foram pré-gravadas na voz feminina, executadas em sincronia com as informações visuais. O projeto foi implementado em um SINGRA disponível na FCT-UNESP, a partir do compilador Visual Basic e da biblioteca MapObjects. Ao comparar o sistema de múltiplas escalas com o de escala única, observa-se que os novos mapas adaptados ao contexto de direção do motorista, podem permitir que o usuário receba a informação de acordo com a tarefa de navegação desenvolvida ao longo da rota ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The aim of this research is to design and implement an automatics multi-scale and audio-dynamic map for an In-Car Route Guidance and Navigation System (RGNS). The design was organized in two stages: general composition and auditory-graphic design. The visual-dynamic maps were designed based on cartographic communication principles and visual perception, especially on the generalization operators. The area of study presents an urban network with different types of roads, nodes, and speed limits. The maps were designed for a small-screen display, and a total of four different scales were employed: 1:10.000, 1:5.000, 1:2.500 and 1:1.000. These scales were chosen according to the media size and type of tactical task. The maps were derived from an accurate cartographic database at scale of 1:1000, by applying generalization techniques, such as simplification, displacement, and enhancement. The audio-dynamic representations were produced by taking account a set of audio-dynamic variables. The voice messages were recorded in a female voice, and they were presented with visual information, simultaneously. The design was implemented in a navigation system, which is available in the Faculty of Sciences and Technology, by using Visual Basic compiler and MapObjects library. The results of comparison between the automatic multiple-scale and single scale system show that the new system, enhanced driver's context, can allow the user receiving information according to the tasks performed along of the route. From the employment of generalization technique it was possible to present in a properly way the amount of information in the display, in which it can contribute for reducing navigational errors and visual demand, when compared with single-scale map ... (Complete abstract click electronic access below) / Orientador: Mônica Modesta Santos Decanini / Coorientador: Edmur Azevedo Pugliesi / Banca: Claudia Robbi Sluter / Banca: Milton Hirokazu Shimabukuro / Mestre

Dans ce travail, nous avons premièrement développé et caractérisé des capteurs de flux optique robustes aux changements de conditions lumineuses inspirés par le système visuel de la mouche et mesurant la vitesse angulaire à l'aide de l'algorithme appelé "time of travel". En particulier, nous avons comparé les performances de capteurs mesurant visuellement la vitesse angulaire en intérieur et en extérieur. Les résultats de nos capteurs bio-inspirés ont aussi été comparés avec des capteurs de souris optique. Enfin, une nouvelle implémentation de l'algorithme "time of travel" a été proposée réduisant la charge de calcul de l'unité de traitement.Dans le cadre du projet européen CurvACE (Curved Artificial Compound Eye), nous avons aussi participé au développement du premier oeil composé courbé artificiel capable de mesurer le flux optique à haute vitesse sur une large gamme de lumière ambiante. En particulier, nous avons caractérisé ce capteur et montré sa capacité à mesurer le flux optique à l'aide de plusieurs algorithmes.Finalement, nous avons aussi développé un robot aérien miniature attaché appelé BeeRotor équipé de capteurs et de stratégies de vol imitant les insectes volants et se déplaçant de manière autonome dans un tunnel contrasté. Ce robot peut expliquer comment les abeilles contrôlent leur vitesse et leur position à l'aide du flux optique, tout en démontrant que des solutions alternatives existent aux systèmes couramment utilisés en robotique. Basé seulement sur des boucles de contrôle réagissant à l'environnement, cet hélicoptère a démontré sa capacité à voler de manière autonome dans un environnement complexe et mobile. / In this thesis, we first developed and characterized optic flow sensors robust to illuminance changes inspired by the visual system of the fly and computing the angular speed thanks to the "time of travel" scheme. In particular, we have compared the performances of sensors processing the visual angular speed based on a standard retina or an aVLSI retina composed of pixels automatically adapting to the background illuminance in indoor and outdoor environments. The results of such bio-inspired sensors have also been compared with optic mouse sensors which are used nowadays on Micro Aerial Vehicles to process the optic flow but only in outdoor environments. Finally, a new implementation of the "time of travel" scheme has been proposed reducing the computational load of the processing unit.In the framework of the European project CurvACE, we also participated to the design and development of the first curved artificial compound eye including fast motion detection in a very large range of illuminations. In particular, we characterized such sensor showing its ability to extract optic flow using different algorithms.Finally, we also developed a tethered miniature aerial robot equipped with sensors and control strategies mimicking flying insects navigating in a high-roof tunnel. This robot may explain how honeybees control their speed and position thanks to optic flow, while demonstrating alternative solution to classical robotic approach relying on ground-truth and metric sensors. Based only on visuomotor control loops reacting suitably to the environment, this rotorcraft has shown its ability to fly autonomously in complex and unstationary tunnels.

Nous présentons dans cette thèse une méthode d’évaluation de l’efficience basée sur la modélisation temporelle et stochastique et de la simulation de la propagation des fautes dans les systèmes industriels. Les TRS (Taux de Rendement Synthétique) est devenu au travers de la norme NF E60-182 l’un des indicateurs majeurs de l’efficience du pilotage des systèmes de production. Il intègre essentiellement 3 notions (Qualité, Productivité et Disponibilité). Si son expression pour un composant est assez simple, sa modélisation pour l’évaluation du comportement fonctionnel et dysfonctionnel l’est beaucoup moins (prise en compte des facteurs d’échelle, des désynchronisations et du facteur humain). Afin de permettre une prise en compte des contributions individuelles de chaque composante du TRS et de chaque partie constitutive des systèmes de production (technique et humaine), nous avons utilisé les automates d’états comme haut langage de description. Les attendus débouchent en amont sur un apport formel pour l’établissement d’une méthodologie d’analyse et de conception, et en aval sur une fourniture d’indicateurs décisionnels. Les résultats sont implantés autour d’un démonstrateur basé sur AltaRica Data-Flow langage à la fois formel et graphique et véritable outil de modélisation / simulation. / We present in this thesis a method to assess a system efficiency based on modelling of the temporal and stochastic spread of faults. The OEE (Overall Equipment Effectiveness) has become through the NF E60-182 standard one of the major indicators of the effectiveness in piloting production systems. It includes 3 main concepts (Quality, Performance and Availability). If its evaluation can be easy for a single system, the modeling of its components for the global efficiency assessment is much more difficult (taking into account redundancies, temporal scale factors…).in order to take in account the local contribution of each component of complex production system, a notion of OTE (Overall Throughput Effectiveness) is developed. The purpose of OTE is twofold: it measures factory-level performance and factory-level diagnostics such as bottleneck detection. The expected result gives a formal contribution to establishment a methodology for analysis, design, and decision-making. The results are discussed using a demonstrator based on AltaRica Data-Flow, language in both formal and graphic and real tool modeling / simulation.

L’objectif des travaux entrepris au cours de cette thèse concerne le développement d’un système haptique de téléopération contrôlé à l’aide d’actionneurs électropneumatiques. Pour réaliser le contrôle du débit de ce type de modulateur, deux solutions technologiques sont possibles : soit des servovalves soit des électrovannes. La première solution est utilisée pour contrôler précisément des systèmes de hautes performances, mais l’apparition d’électrovannes rapides compactes à faible coût offre la possibilité de les utiliser à la place des servovalves. Même si cela entraîne des défis dans la réalisation de la commande, à cause de l’augmentation des non-linéarités intrinsèques de l’actionneur pneumatique lorsqu’il est piloté par les électrovannes au lieu des servovalves. Le premier objectif a consisté à démontrer la possibilité de réaliser des interfaces maître-esclave à performance acceptable à l’aide d’électrovanne, afin de produire des systèmes à faible coût. La méthode la plus courante pour commander des électrovannes consiste à utiliser un signal modulé en largeur d’impulsion. Afin de contrôler de manière plus optimale les électrovannes, une nouvelle stratégie de la commande basée sur l’algorithme hybride a été développée. Cette commande a été implémentée et testée sur un système de maître-esclave à un degré de liberté développé au cours de ces travaux de recherche. Les résultats ont démontré de meilleures performances dans le cas de la commande hybride en termes de dynamique de pression, des performances de suivi en force/position. Afin de disposer des informations de transparence et de stabilité, la commande par mode glissant a été choisie. Une comparaison de la transparence a été réalisée parmi trois architectures pour un système de téléopération. Pour améliorer les performances dynamiques du système, une commande à cinq-mode a été développée. Le second point de recherche entrepris est passé par l’utilisation de servovalves dans un système de téléopération, permettant ainsi de réaliser une comparaison entre les deux technologies. Dans le cas d’une architecture de téléopération, les données expérimentales pour les deux types d’organes de commandes, ont donné des résultats satisfaisants en termes de suivi de force et de position pour le maître et l’esclave. Dans le cas de système de téléopération bilatérale, le capteur de force est souvent supprimé dans le but de réduire les coûts ainsi que le poids et le volume du système global. Les travaux se sont ainsi intéressés à la possibilité d’utiliser des observateurs, à la place de capteurs de force pour déterminer les forces d’interactions entre les interfaces et leurs environnements. Les données expérimentales montrent ainsi qu’il est possible d’obtenir des bonnes performances de transparence en utilisant un simple observateur de Nicosia. Finalement ces différents résultats démontrent le potentiel des actionneurs électropneumatiques pour la réalisation le système de téléopération. / The aim of this thesis is to investigate the development and control of electro-pneumatic actuators in a haptic teleoperation system. For controlling the mass flow rate of such actuators, two types of valve technology are sudied, i.e. solenoid (on/off) valve and proportional servovalve. The servovalves have found widespread applications in which high accuracy of force/position control are needed. They are however typically expensive due to the requirements of high-precision manufacturing. Therefore, the low-cost solenoid valves can be an alternative to the servovalves for achieving acceptable-performance pneumatic control. Generally, the highly nonlinear of the pneumatic actuator is heightened when it uses on/off solenoid valves instead of servovalves. In this case, precise control is challenging due to the discrete-input nature of the system. Our first objective is to demonstrate that it is possible to design an acceptable performance teleoperation system using master-slave robots that have pneumatic actuators equipped with only inexpensive on/off solenoid valves. To control efficiently the switching valves, several control approaches have been proposed, namely pulse width modulation (PWM), hybrid algorithm, and sliding mode control. A hybrid control theory, which includes more switching control modes, than PWM, allows to reduce the chattering problem and improve the energy consumption of the valves. Another strategy (i.e. a sliding mode control), which does not depend on the pneumatic model, is proposed. This control stratgy allows to perform not only the transparent analysis but also the stability analysis. In order to improve the dynamic performance and reduce the chattering problem in solenoid valve actuated pneumatic teleoperation systems, a five-mode sliding control scheme has been used, which can be considered as an extension of the three-mode sliding controller. Our study demonstrates that by increasing the number of possible control actions for the valves, we can reduce the valves’ switching activities, hence improving the valve’s life times at no cost to teleoperation transparency. The second objective of the thesis involves in implementing the proportional servovalves on the pneumatic teleoperation system. A comparison related to the teleoperation performance between an on/off valve and a servovalve is carried out. In experiments, it is observed that with the bilateral teleoperation architecture employing solenoid valves or servovalves, satisfactory force and position tracking between the master and the slave is obtained. In bilateral teleoperation control, force sensors are often omitted to save cost and to lessen weight and volume. Therefore, another aspect of our work consists in using observers for an estimation of operator and environment forces. Experimental results show that acceptable teleoperation transparency based on a simple Nicosia observer and a tangent linear control approach can be achieved.

Dans ce manuscrit, nous étudions le retard distribué et ses applications. Nous présentons la définition du retard distribué et l'étude de ses propriétés. Nous expliquons aussi le problème de la mise en œuvre du retard distribué et donnons une méthode générale pour son approximation. Ensuite nous présentons trois applications à l'aide de retard distribué, qui sont différentes avec les applications apparaissent dans la littérature. Le premier est l'inversion stable et le modèle appariement. Nous introduisons une nouvelle classe d'inversion stable et modèle d'appariement pour les systèmes linéaires de dimension finie invariables dans le temps. L'inversion stable (resp. modèle d'appariement) est une sorte d'inversion (resp. modèle d'appariement) de rapprochement. En fait, nous obtenons l'inversion exacte (resp. exacte modèle d'appariement) après un temps t = h, où le temps t = h peut être choisi arbitrairement. La deuxième application est le contrôle de la stabilité et du pôle placement finie pour une classe de système de dimension infinie. La dernière application du retard distribué est la synthèse de l'observateur pour l'estimation ou la commande de sortie. Nous craignons seulement avec les systèmes linéaires de dimension finie. Nous introduisons une boucle fermée observateurs sans mémoire par injection d'entrée. Convergence asymptotique ainsi que la convergence en temps fini de l'estimation sont analysés par injection de sortie et des informations d'entrée via retard distribué. Enfin, nous introduisons une nouvelle classe de l’approximation des systèmes à paramètres distribués. Nous travaillons sur la topologie du graphe, et montrons que sous certaines hypothèses faibles, une telle approximation peut être réalisé en utilisant retard distribué. / A distributed delay is a linear input-output operators and appears in many control problems. We investigate distributed delay and its applications. After introducing the definition and the main properties of the distributed delay, the numerical implementation problem of distributed delays is analyzed and a general method for its approximation is given. Then three applications are focused on where distributed delay appears. The first application is the stable inversion and model matching. A new class of stable inversion and model matching problem for finite dimensional linear time-invariant systems is defined. The stable inversion (resp. model matching) is an approximation of the inverse of a given model (resp. model matching), where exact inversion (resp. exact matching) is reached after a time $t=h$, which is a parameter of our procedure. The second application is concerned with stabilization and finite spectrum assignment for a class of infinite dimensional systems. The last application concerns observer synthesis for estimation or output control. For linear finite dimensional systems. A closed-loop memoryless observer by input injection is introduced. Asymptotic convergence as well as finite time convergence of the estimation are analyzed by output injection and input information via distributed delay. At last, we introduce a new class for approximation of distributed parameter systems. We work on the graph topology, and show that under some weak assumptions, such an approximation can be realized using distributed delay.

Le travail présenté dans ce mémoire concerne une méthode de conception sûre de systèmes(COTS). Un COTS est un composant matériel ou logiciel générique qui est naturellement conçu pour être réutilisable et cela se traduit par une forme de flexibilité dans la mise en oeuvre de sa fonctionnalité : en clair, une même fonction peut être réalisée par un ensemble (potentiellement infini) de scénarios différents, tous réalisables par le COTS. La complexité grandissante des fonctions implémentées fait que ces situations sont très difficiles à anticiper d’une part, et encore plus difficiles à éviter par un codage correct. Réaliser manuellement une fonction composite correcte sur un système de taille industrielle, s’avère être très coûteuse. Elle nécessite une connaissance approfondie du comportement des COTS assemblés. Or cette connaissance est souvent manquante, vu qu’il s’agit de composants acquis, ou développés par un tiers, et dont la documentation porte sur la description de leur fonction et non sur sa mise en IJuvre. Par ailleurs, il arrive souvent que la correction manuelle d’une faute engendre une ou plusieurs autres fautes, provoquant un cercle vicieux difficile à maîtriser. En plus, le fait de modifier le code d’un composant diminue l’avantage lié à sa réutilisation. C’est dans ce contexte que nous proposons l’utilisation de la technique de synthèse du contrôleur discret (SCD) pour générer automatiquement du code de contrôle commande correct par construction. Cette technique produit des composants, nommés contrôleurs, qui agissent en contraignant le comportement d’un (ou d’un assemblage de) COTS afin de garantir si possible la satisfaction d’une exigence fonctionnelle. La méthode que nous proposons possède plusieurs étapes de conception. La première étape concerne la formalisation des COTS et des propriété de sûreté et de vivacité (P) en modèles automate à états et/ou en logique temporelle. L’étape suivante concerne la vérification formelle du modèle d’un(des) COTS pour l’ensemble des propriétés (P). Cette étape découvrir les états de violation des propriétés (P) appelés états d’erreur. La troisième étape concerne la correction automatique des erreurs détectées en utilisant la technique SCD. Dans cette étape génère on génère un composant correcteur qui sera assemblé au(x) COTS original(aux) pour que leur comportement général respecte les propriétés souhaitées. L’étape suivante concerne la vérification du système contrôlé pour un ensemble de propriétés de vivacité pour assurer la passivité du contrôleur et la vivacité du système. En fin, une étape de simulation est proposée pour observer le comportement du système pour quelque scénarios intéressent par rapport à son implémentation finale. / This PhD dissertation contributes to the safe design of COTS-based control-command embedded systems. Due to design constraints bounding delays, costs and engineering resources, component re-usability has become a key issue in embedded design. Our proposal is a design method which ensures correction of COTS-based designs. This method uses in synergy a number of design techniques and tools. It starts from modeling of the COTS components which are stored in a generic COTS library, and ends with a design of the global control-command system, verified to be free of errors and ready to be implemented over a hardware chip such as an ASIC or an FPGA "Field Programmable Gate Array". The designer starts by modeling the temporal and logical local preconditions and postconditions of each COTS component, then the global pre/post conditions of the assembly which are not necessary a simple combination of local properties. He models also a list of properties that must be satisfied by the assembly. Any violation of these properties is defined as a design error. Then, by using the model checking approach the model of the assembly is verified against the predefined local and global properties. Some design errors can be corrected automatically through the Discrete Controller Synthesis method (DCS), others however must be manually corrected. After the correction step, the controlled control-command system is verified. Finally a global simulation step is proposed in order to perform a system-level verification beyond the capabilities of available formal tools. We apply the method on two different systems, one concerns transferring data from senders to receivers through FIFO unit, the other is controlcommand system of a train passengers’ access.