Dans ce manuscrit de thèse, nous présentons un descripteur robuste pour la soustraction d’arrière-plan qui est capable de décrire la texture à partir d’une séquence d’images. Ce descripteur est moins sensible aux bruits et produit un histogramme court, tout en préservant la robustesse aux changements d’éclairage. Un autre descripteur pour la reconnaissance dynamique des textures est également proposé. Le descripteur permet d’extraire non seulement des informations de couleur, mais aussi des informations plus détaillées provenant des séquences vidéo. Enfin, nous présentons une approche de sélection de caractéristiques basée sur le principe d'apprentissage par ensemble qui est capable de sélectionner les caractéristiques appropriées pour chaque pixel afin de distinguer les objets de premier plan de l’arrière plan. En outre, notre proposition utilise un mécanisme pour mettre à jour l’importance relative de chaque caractéristique au cours du temps. De plus, une approche heuristique est utilisée pour réduire la complexité de la maintenance du modèle d’arrière-plan et aussi sa robustesse. Par contre, cette méthode nécessite un grand nombre de caractéristiques pour avoir une bonne précision. De plus, chaque classificateur de base apprend un ensemble de caractéristiques au lieu de chaque caractéristique individuellement. Pour compenser ces limitations, nous avons amélioré cette approche en proposant une nouvelle méthodologie pour sélectionner des caractéristiques basées sur le principe du « wagging ». Nous avons également adopté une approche basée sur le concept de « superpixel » au lieu de traiter chaque pixel individuellement. Cela augmente non seulement l’efficacité en termes de temps de calcul et de consommation de mémoire, mais aussi la qualité de la détection des objets mobiles. / In this thesis, we present a robust descriptor for background subtraction which is able to describe texture from an image sequence. The descriptor is less sensitive to noisy pixels and produces a short histogram, while preserving robustness to illumination changes. Moreover, a descriptor for dynamic texture recognition is also proposed. This descriptor extracts not only color information, but also a more detailed information from video sequences. Finally, we present an ensemble for feature selection approach that is able to select suitable features for each pixel to distinguish the foreground objects from the background ones. Our proposal uses a mechanism to update the relative importance of each feature over time. For this purpose, a heuristic approach is used to reduce the complexity of the background model maintenance while maintaining the robustness of the background model. However, this method only reaches the highest accuracy when the number of features is huge. In addition, each base classifier learns a feature set instead of individual features. To overcome these limitations, we extended our previous approach by proposing a new methodology for selecting features based on wagging. We also adopted a superpixel-based approach instead of a pixel-level approach. This does not only increases the efficiency in terms of time and memory consumption, but also can improves the segmentation performance of moving objects.

Dans ce manuscrit de thèse, nous introduisons les avancées récentes sur la décomposition en matrices (et tenseurs) de rang faible et parcimonieuse ainsi que les contributions pour faire face aux principaux problèmes dans ce domaine. Nous présentons d’abord un aperçu des méthodes matricielles et tensorielles les plus récentes ainsi que ses applications sur la modélisation d’arrière-plan et la segmentation du premier plan. Ensuite, nous abordons le problème de l’initialisation du modèle de fond comme un processus de reconstruction à partir de données manquantes ou corrompues. Une nouvelle méthodologie est présentée montrant un potentiel intéressant pour l’initialisation de la modélisation du fond dans le cadre de VSI. Par la suite, nous proposons une version « double contrainte » de l’ACP robuste pour améliorer la détection de premier plan en milieu marin dans des applications de vidéo-surveillance automatisées. Nous avons aussi développé deux algorithmes incrémentaux basés sur tenseurs afin d’effectuer une séparation entre le fond et le premier plan à partir de données multidimensionnelles. Ces deux travaux abordent le problème de la décomposition de rang faible et parcimonieuse sur des tenseurs. A la fin, nous présentons un travail particulier réalisé en conjonction avec le Centre de Vision Informatique (CVC) de l’Université Autonome de Barcelone (UAB). / This thesis introduces the recent advances on decomposition into low-rank plus sparse matrices and tensors, as well as the main contributions to face the principal issues in moving object detection. First, we present an overview of the state-of-the-art methods for low-rank and sparse decomposition, as well as their application to background modeling and foreground segmentation tasks. Next, we address the problem of background model initialization as a reconstruction process from missing/corrupted data. A novel methodology is presented showing an attractive potential for background modeling initialization in video surveillance. Subsequently, we propose a double-constrained version of robust principal component analysis to improve the foreground detection in maritime environments for automated video-surveillance applications. The algorithm makes use of double constraints extracted from spatial saliency maps to enhance object foreground detection in dynamic scenes. We also developed two incremental tensor-based algorithms in order to perform background/foreground separation from multidimensional streaming data. These works address the problem of low-rank and sparse decomposition on tensors. Finally, we present a particular work realized in conjunction with the Computer Vision Center (CVC) at Autonomous University of Barcelona (UAB).

Ce travail propose de nouvelles stratégies pour la planification et le contrôle des robots mobiles non-holonomes, de nouveaux algorithmes sont proposés. Tout d'abord, l'identification des différents modèles cinématiques de robot mobiles est discutée, et le problème est formulé comme l'identification en temps réel du signal de commutation d'un système singulier non-linéaire et à commutation. Deuxièmement, sur la base du modèle identifié, un algorithme de planification locale est proposé, et le contour irrégulier de l' obstacle est représenté par des segments. La trajectoire est obtenue en résolvant un problème de commande optimale avec contraintes. Troisièmement, nous appliquons un contrôleur i-PID pour contrôler le robot mobile non-holonome avec la perturbation dans les mesures. Un paramètre de commutation α est proposé en raison de la particularité du système non-holonome. En plus de notre algorithme de planification proposé, une autre approche de planification en utilisant de champs de potentiels est proposée. La nouvelle fonction de champ de potentiel est en mesure de résoudre les problèmes de minima locaux et de produire des forces lisses pour éviter les oscillations. Enfin, une approche de planification coopérative entre robots est proposée en utilisant les informations locales partagées par chaque robot. Le graphe de visibilité est utilisé pour générer une série d'objectifs intermédiaires qui assureront aux robots d’atteindre l'objectif final, et un algorithme est proposé pour étendre les obstacles et fusionner les obstacles lorsque deux obstacles s'entrecroisent / This PhD thesis is dedicated to the path planning and control strategy for non-holonomic mobile robots. After a review of the recent researches and their features, new path planning algorithms and control strategies are proposed. Firstly, the identification of different mobile robot kinematic models is discussed, robot kinematic models are formulated as a switched singular nonlinear system, and the problem becomes the real-time identification of the switching signal. Secondly, based on the identified model, a local path planning algorithm is proposed, in which the irregular contour of obstacles is represented by segments. The path planning problem is formulated as a constrained receding horizon planning problem and the trajectory is obtained by solving an optimal control problem with constraints. Thirdly, we apply an i-PID controller to control the non-holonomic mobile robot with measurement disturbance. A switching parameter α is proposed because of the particularity of the non-holonomic system. In addition to our proposed path planning algorithm, another path planning approach using potential field is proposed. The modified potential field function, which takes into account the robot orientation and angular velocity, is able to solve local minima problems and produce smooth forces to avoid oscillations. Finally, a cooperative path planning approach between robots is proposed by using the shared local information of each robot. The visibility graph is used to generate a series of intermediate objectives which will guarantee the robots reaching the final objective, and an algorithm is proposed to expand obstacles and merge obstacles when two obstacles intercross

Les systèmes toxine-antitoxine (TA) sont très répandus au sein des génomes bactériens. Ces opérons bicistroniques de petite taille ont été découverts sur des plasmides à bas nombre de copies. Dans ce contexte génétique, les systèmes TA confèrent un avantage sélectif à leurs molécules-hôtes en tuant les bactéries-filles qui ne les ont pas héritées par le mécanisme de tuerie post-ségrégationnelle (PSK, post-segregational killing). Ces systèmes génétiques sont également appelés modules d’addiction étant donné qu’ils rendent la descendance des bactéries qui les contiennent dépendantes de leur présence. Alors que leur rôle dans les molécules d’ADN épisomiques est relativement bien établi, le sens biologique de la présence d’homologues à ces systèmes épisomiques au sein des chromosomes bactériens est sujet à d’intenses débats. L’idée que les systèmes TA chromosomiques confèrent un avantage sélectif a été mise en évidence dans plusieurs modèles. Selon ces modèles, les systèmes TA permettent aux bactéries de mieux faire face à des conditions environnementales stressantes. <p>Entre-temps, la compréhension de l’évolution des génomes bactériens a connu des avancées significatives. L’impressionnante capacité d’adaptation des bactéries est aujourd’hui majoritairement attribuée au transfert horizontal de gènes (THG) provoqué par les éléments génétiques mobiles (phages, plasmides, transposons…). Dans le débat du rôle des systèmes TA chromosomiques, très peu d’attention a été accordée aux relations phylogénétiques et interactions entre systèmes plasmidiques et chromosomiques co-existant au sein d’un même hôte ainsi qu’à l’impact du THG sur leur évolution. Notre travail de thèse vise à mieux comprendre la biologie des systèmes TA en tenant compte de ces paramètres. Nous nous sommes intéressés à des systèmes homologues au système plasmidique ccdF. Nous avons étudié expérimentalement les 4 systèmes ccd (ccd1, ccd2, ccd3 et ccd4) qui co-habitent au sein du chromosome d’Erwinia chrysanthemi 3937 (une bactérie phytopathogène), leurs interactions intragénomiques et les interactions de ces systèmes avec le système plasmidique ccdF. Ce cadre expérimental a mené à la construction du modèle d’anti-addiction. Ce modèle propose que certains systèmes chromosomiques puissent conférer un avantage sélectif à leurs hôtes bactériens en interférant avec le PSK médié par leurs homologues plasmidiques. Cet avantage sélectif pourrait permettre la fixation de systèmes TA latéralement acquis au sein des populations bactériennes. Nous avons également recherché de nouveaux systèmes ccd au sein des génomes bactériens afin d’avoir un aperçu de leur distribution, des contextes génétiques dans lesquels ils existent et de l’implication du THG dans leur dispersion. Les réflexions qui ont accompagné notre recherche nous ont mené à proposer une synthèse sur le rôle des systèmes TA (plasmidiques et chromosomiques). Celle-ci se nourrit des avancées qui ont été effectuées, ces dernières années, dans la compréhension de l’évolution des génomes bactériens, de la théorie hiérarchique de la sélection naturelle et des processus non-adaptatifs et contingents qui pourraient expliquer la présence et la propagation des systèmes TA au sein des génomes bactériens sans que ceux-ci en soient les agents causaux. <p><p> / Doctorat en sciences, Spécialisation biologie moléculaire / info:eu-repo/semantics/nonPublished

Staphylococcus lugdunensis est un staphylocoque à coagulase négative qui présente de nombreuses particularités sur le plan clinique et microbiologique. Cette bactérie commensale de la peau est impliquée dans des infections humaines d’une particulière gravité. Ce travail de thèse nous a permis de déterminer que S. lugdunensis présente bien une pathogénicité tout à fait inhabituelle pour un SCN car 37.2% de toutes les souches recueillies entre 2013 et 2016 étaient impliquées dans un processus infectieux. Nous avons aussi observé que les infections ostéo-articulaires en étaient la première manifestation. Nous avons découvert une nouvelle protéase excrétée par 61.7% des souches qui présente une association statistique forte avec les infections ostéo-articulaires. Il s’agit d’une métalloprotéase de 37 kDa que nous avons pu purifier puis séquencer afin de caractériser ses propriétés biochimiques et son environnement génique. Enfin, nous avons aussi réalisé un séquençage de novo de 7 souches de S. lugdunensis et démontrer l’existence de multiples éléments génétiques mobiles. / Staphylococcus lugdunensis is a coagulase negative staphylococcus species that may causes various infections of unusual severity. We conducted a translational study with a prospective clinical trial that aimed to describe S. lugdunensis infections and its real pathogenicity, associated with a systematic research of in vitro putative virulence factors. The final objective was to determine the statistical relationship between those two and find a putative real virulence factor. This trial was conducted between 2013 and 2016. It showed that S. lugdunensis displayed a high level of pathogenicity as 37.2% of all strains isolated came from infected patients and most of those infections were osteoarticular infections. We discovered a new protease that we named lugdulysin and that was strongly associated with osteoarticular infections. This secreted protein of 37 kDa was purified and sequenced, we characterized its chemical properties and the nucleotide environment of the coding sequence. We also achieved de novo sequencing of 7 strains of S. lugdunensis and found that several mobile genetic elements belonged to the sequences as plasmids and prophages.

La prédiction de mouvement de solide évoluant dans un fluide présente un réel intérêt pour des applications industrielles telle que l’accrétion de glace sur des surfaces aérodynamiques. Dans ce contexte, en considérant des systèmes de dégivrage, la prévision des trajectoire de glace est nécessaire pour éviter des risques de collision/ingestion de glace sur/dans des zones sensibles de l’avion. Ce type d’application soulève de nombreux challenges d’un point de vue numérique, en particulier concernant la génération/l’adaptation de maillage au cours du mouvement du solide dans le domaine. Pour gérer ces difficultés, dans cette étude, les solides sont définis de manière implicite via une fonction level set. Une méthode de type frontière immergée, appelée Pénalization, est utilisée pour imposer les conditions de bords. Pour améliorer la précision de l’interface, les équations sont résolues sur des maillages non structurés adaptatifs. Cela permet d’obtenir un raffinement proche des bords du solide et ainsi d’améliorer sa définition, permettant un meilleure impositions des conditions de bord. Pour économiser du temps de calcul, et éviter de coûteuses étapes de remaillage/interpolation, la stratégie adoptée pour les simulations instationnaires est d’utiliser une adaptation de maillage à connectivité constante, aussi appelée r-adaptation. / The prediction of solid motion evolving in a fluid presents a real interest for engineering application such as ice accretion on aerodynamics bodies.In this context, considering de-icing systems, the ice shedding trajectory is needed to prevent the risk of collision/ingestion of the ice in/with some sensitive part of the aircraft. This application raises many challenges from a numerical point of view, especially concerning mesh generation/adaptation as the solid moves in the computational domain. To handle this issue, in this work the solids are known implicitly on the mesh via a level set function. An immersed boundary method, called penalization, is employed to impose the wall boundary conditions. To improve the resolution of these boundaries, the equations are solved on adaptive unstructured grids. This allows to have are finement close to the solid boundary and thus increases the solid definition,leading to a more accurate imposition of the wall conditions. To save computational time, and avoid costly remeshing/interpolation steps, the strategy chosen for unsteady simulations is to use a constant connectivity mesh adaptation,also known as r-adaptation

Ce travail appartient au domaine de la simulation numérique sur des plates-formes d'exécution distribuées hétérogènes telles que des grilles de calcul. Ce type de plate-forme se caractérise par des possibles changements de condition d'exécution et par une probabilité importante de défaillance de certains composants. Une application qui s'exécute dans un tel environnement se doit d'être adaptable à son contexte d'exécution et tolérante aux pannes. Face à la complexité croissante de la mise en place de cas de calcul sur des grilles de calcul, nous proposons une plateforme logicielle pour la résolution de cas de calcul numérique dans un environnement distribué hétérogène. Nos travaux apportent une solution qui se base sur un système d'agents mobiles, ce qui permet à une application de s'adapter au changement de son environnement d'exécution. Dans un premier temps, nous utilisons le langage pi calcul d'ordre supérieur pour spécifier une « ferme de travailleurs » capable de participer à la résolution de tout type de cas de calcul. Ensuite, nous énonçons des propriétés qui caractérisent le bon fonctionnement de ce système avec une logique temporelle TCTL. Pour cela, nous souhaitons modéliser notre système à l'aide d'automates temporisés à partir des termes définis par la spécification formelle en pi calcul. Dans ce but, nous définissons une transformation de termes écrits en pi calcul en automates temporisés. Les propriétés sont alors vérifiées avec l'outil UppAal. Pour valider ce travail de modélisation, nous avons réalisé le framework MCA (pour Mobile Computing Architecture). Celui-ci propose un ensemble d'outils facilitant la mise en place de composants sur un environnement distribué hétérogène dans le but d'effectuer la résolution de cas de calcul. La librairie avec laquelle sont développés ces composants, qu'ils soient mobiles ou non, est implantée en Java et se base les technologies Jini et JavaSpaces. Enfin, nous réalisons l'évaluation du framework MCA en procédant à la résolution de trois cas de calcul différents. Chacune de ces expériences, réalisées sur une grappe de 20 noeuds, nous permet de montrer les caractéristiques essentielles de notre framework : une simplicité de programmation, un faible surcoût en temps d'exécution sans l'activation de la tolérance aux pannes et une tolérance aux pannes efficace / This work belongs to the domain of numerical simulation on heterogeneous distributed platforms such as grids. This type of platform is characterized by possible changes in execution conditions and a significant probability of some components failure. An application running in such an environment must be adaptable to its execution context and fault tolerant. Facing the growing complexity of implementing computation cases on grid computing, we propose a software platform which solves numerical computation cases in a distributed heterogeneous environment. Our work provides a solution based on a mobile agent system, which allows an application to adapt to change in its execution environment. At first, we use the higher-order pi calculus language to specify a « farm of workers » able to take part in solving any type of computation case. Then we set the properties that characterize the system's correct execution with a temporal logic TCTL. In order to do this, we perform a temporal modeling system based on terms defined by the formal specification in pi calculus. To achieve this transformation, we define a translation of terms written in pi calculus into timed automata. The properties are verified with the UppAal tool. To validate this modeling work, we develop the MCA (for Mobile Computing Architecture) framework. It offers a set of tools which facilitate the implementation of distributed heterogeneous components in order to solve computation cases. These components, mobile or not, are developed with a library written in Java and which uses Jini and JavaSpaces technologies. Finally, our framework is evaluated through the resolution of three different computation cases. Each of these experiments, performed on a 20 node cluster allow us to highlight our framework's main characteristics : programming simplicity, low overhead in execution time without the fault tolerance activation and efficient fault tolerance

Les réseaux cellulaires ont connu une croissance phénoménale du trafic alimentée par les nouvelles technologies d'accès cellulaire. Cette croissance est en grande partie tirée par l'émergence du trafic HTTP adaptatif streaming (HAS) comme une nouvelle technologie de diffusion des contenus vidéo. Le principe du HAS est de rendre disponible plusieurs qualités de la même vidéo en ligne et que les clients choisissent la meilleure qualité qui correspond à leur bande passante. Chaque niveau d'encodage est segmenté en des chunks, qui dont la durée varie de 2 à 10 secondes. L'émergence du HAS a introduit des nouvelles contraintes sur les systèmes de livraison des contenus vidéo en particulier sur les systèmes de caches. Dans ce contexte, nous menons une analyse détaillée des données du trafic HAS collecté en France et fournie par le plus grand opérateur de téléphonie mobile du pays. Tout d'abord, nous analysons et modélisons le comportement des clients qui demandent des contenus VoD et live. Ces analyses nous ont permis d'identifier les facteurs qui impactent la performance des systèmes de cache et de proposer un nouveau algorithme de remplacement de contenus qu'on appelle WA-LRU. WA-LRU exploite la localité temporelle des chunks dans le contenu et la connaissance de la charge du trafic dans le réseau afin d'améliorer la performance du cache. Ensuite, nous analysons et modélisons la logique d'adaptation entre les qualités vidéo basés sur des observations empiriques. Nous montrons que le changement fréquent entre les encodages réduit considérablement la performance des systèmes de cache. Dans ce contexte, nous présentons CF-DASH une implémentation libre d'un player DASH qui vise à réduire les changements fréquents entre qualités, assure une bonne QoE des clients et améliore la performance des systèmes de caches. La deuxième partie de la thèse est dédié à la conception, simulation et implémentation d'une solution de préchargement des contenus vidéo sur terminaux mobiles. Nous concevons un système que nous appelons «Central Predictor System (CPsys)" qui prédit le comportement des clients mobiles et leurs consommations des vidéos. Nous évaluons CPSys avec des traces de trafic réel. Enfin, nous développons une preuve de concept de notre solution de préchargement. / Recently, cellular networks have witnessed a phenomenal growth of traffic fueled by new high speed broadband cellular access technologies. This growth is in large part driven by the emergence of the HTTP Adaptive Streaming (HAS) as a new video delivery method. In HAS, several qualities of the same videos are made available in the network so that clients can choose the quality that best fits their bandwidth capacity. This strongly impacts the viewing pattern of the clients, their switching behavior between video qualities, and thus beyond on content delivery systems. In this context, we provide an analysis of a real HAS dataset collected in France and provided by the largest French mobile operator. Firstly, we analyze and model the viewing patterns of VoD and live streaming HAS sessions and we propose a new cache replacement strategy, named WA-LRU. WA-LRU leverages the time locality of video segments within the HAS content. We show that WA-LRU improves the performance of the cache. Second, we analyze and model the adaptation logic between the video qualities based on empirical observations. We show that high switching behaviors lead to sub optimal caching performance, since several versions of the same content compete to be cached. In this context we investigate the benefits of a Cache Friendly HAS system (CF-DASH) which aims at improving the caching efficiency in mobile networks and to sustain the quality of experience of mobile clients. Third, we investigate the mobile video prefetching opportunities. We show that CPSys can achieve high performance as regards prediction correctness and network utilization efficiency. We further show that CPSys outperforms other prefetching schemes from the state of the art. At the end, we provide a proof-of-concept implementation of our prefetching system.

Les simulations dépendant du temps sont toujours un challenge dans l'industrie, notamment à cause des problèmes posés par les géométries mobiles en termes de CPU et de précision. Cette thèse présente des contributions à certains aspects des simulations en géométrie mobile. Un algorithme de bouger de maillage fondé sur une déformation de maillage sur un grand pas de temps et des changements de connectivité (swaps) est étudié. Une méthode d'élasticité et une méthode d'interpolation directe sont comparées en 3D, démontrant l'efficacité de l'algorithme. Cet algorithme est couplé à un solver ALE, dont les schémas et l'implémentation en 3D sont décrits en détail. Une interpolation linéaire est utilisée pou traiter les swaps. Des cas de validation montrent que les swaps n'influent pas notablement sur la précision de la solution. Plusieurs examples complexes en 3D démontrent la puissance de cette approche, pour des mouvement imposés ou pour des problèmes d'Interaction Fluide-Structure. L'adaptation de maillage anisotrope a démontré son efficacité pour améliorer la précision des calculs stationnaires pour un coût raisonnable. On considère l'extension de ces méthodes aux problèmes instationnaires, en mettant à jour l'algorithme de point fixe précédent grâce à une ananlyse de l'erreur espace-temps fondée sur le modèle de maillage continu. Une parallélisation efficace permet de réaliser des simulations adaptatives instationnaires avec une précision inégalée. Cet algorithme est étendu au cas des géométries mobiles en corrigeant la métrique optimale instationnaire. Finalement, plusieurs exemples 3D de simulations adaptatives en géométries mobiles démontrent l'efficacité de l'approche. / Time dependent simulations are still a challenge for industry, notably due to problems raised by moving boundaries, both in terms of CPU cost and accuracy. This thesis presents contributions to several aspects of simulations with moving meshes. A moving-mesh algorithm based on a large deformation time step and connectivity changes (swaps) is studied. An elasticity method and an Inverse Distance Weighted interpolation method are compared on many 3D examples, demonstrating the efficiency of the algorithm in handling large geometry displacement without remeshing. This algorithm is coupled with an Arbitrary-Lagrangian-Eulerian (ALE) solver, whose schemes and implementation in 3D are described in details. A linear interpolation scheme is used to handle swaps. Validation test cases showed that the use of swaps does not impact notably the accuracy of the solution, while several other complex 3D examples demonstrate the capabilities of the approach both with imposed motion and Fluid-Structure Interaction problems. Metric-based mesh adaptation has proved its efficiency in improving the accuracy of steady simulation at a reasonable cost. We consider the extension of these methods to unsteady problems, updating the previous fixed-point algorithm thanks to a new space-time error analysis based on the continuous mesh model. An efficient p-thread parallelization enables running 3D unsteady adaptative simulations with a new level of accuracy. This algorithm is extended to moving mesh problems, notably by correcting the optimal unsteady metric. Finally several 3D examples of adaptative moving mesh simulations are exhibited, that prove our concept by improving notably the accuracy of the solution for a reasonable time cost.

L'objectif de cette thèse est de concevoir un système de perception stéréoscopique embarqué, permettant une navigation robotique autonome en environnement dynamique (i.e. comportant des objets mobiles). Pour cela, nous nous sommes imposé plusieurs contraintes : 1) Puisque l'on souhaite pouvoir naviguer en terrain inconnu et en présence de tout type d'objets mobiles, nous avons adopté une approche purement géométrique. 2) Pour assurer une couverture maximale du champ visuel nous avons choisi d'employer des méthodes d'estimation denses qui traitent chaque pixel de l'image. 3) Puisque les algorithmes utilisés doivent pouvoir s'exécuter en embarqué sur un robot, nous avons attaché le plus grand soin à sélectionner ou concevoir des algorithmes particulièrement rapides, pour nuire au minimum à la réactivité du système. La démarche présentée dans ce manuscrit et les contributions qui sont faites sont les suivantes. Dans un premier temps, nous étudions plusieurs algorithmes d’appariement stéréo qui permettent d'estimer une carte de disparité dont on peut déduire, par triangulation, une carte de profondeur. Grâce à cette évaluation nous mettons en évidence un algorithme qui ne figure pas sur les benchmarks KITTI, mais qui offre un excellent compromis précision/temps de calcul. Nous proposons également une méthode pour filtrer les cartes de disparité. En codant ces algorithmes en CUDA pour profiter de l’accélération des calculs sur cartes graphiques (GPU), nous montrons qu’ils s’exécutent très rapidement (19ms sur les images KITTI, sur GPU GeForce GTX Titan).Dans un deuxième temps, nous souhaitons percevoir les objets mobiles et estimer leur mouvement. Pour cela nous calculons le déplacement du banc stéréo par odométrie visuelle pour pouvoir isoler dans le mouvement apparent 2D ou 3D (estimé par des algorithmes de flot optique ou de flot de scène) la part induite par le mouvement propre à chaque objet. Partant du constat que seul l'algorithme d'estimation du flot optique FOLKI permet un calcul en temps-réel, nous proposons plusieurs modifications de celui-ci qui améliorent légèrement ses performances au prix d'une augmentation de son temps de calcul. Concernant le flot de scène, aucun algorithme existant ne permet d'atteindre la vitesse d'exécution souhaitée, nous proposons donc une nouvelle approche découplant structure et mouvement pour estimer rapidement le flot de scène. Trois algorithmes sont proposés pour exploiter cette décomposition structure-mouvement et l’un d’eux, particulièrement efficace, permet d'estimer très rapidement le flot de scène avec une précision relativement bonne. A notre connaissance, il s'agit du seul algorithme publié de calcul du flot de scène capable de s'exécuter à cadence vidéo sur les données KITTI (10Hz).Dans un troisième temps, pour détecter les objets en mouvement et les segmenter dans l'image, nous présentons différents modèles statistiques et différents résidus sur lesquels fonder une détection par seuillage d'un critère chi2. Nous proposons une modélisation statistique rigoureuse qui tient compte de toutes les incertitudes d'estimation, notamment celles de l'odométrie visuelle, ce qui n'avait pas été fait à notre connaissance dans le contexte de la détection d'objets mobiles. Nous proposons aussi un nouveau résidu pour la détection, en utilisant la méthode par prédiction d’image qui permet de faciliter la propagation des incertitudes et l'obtention du critère chi2. Le gain apporté par le résidu et le modèle d'erreur proposés est démontré par une évaluation des algorithmes de détection sur des exemples tirés de la base KITTI. Enfin, pour valider expérimentalement notre système de perception en embarqué sur une plateforme robotique, nous implémentons nos codes sous ROS et certains codes en CUDA pour une accélération sur GPU. Nous décrivons le système de perception et de navigation utilisé pour la preuve de concept qui montre que notre système de perception, convient à une application embarquée. / This thesis aims at designing an embedded stereoscopic perception system that enables autonomous robot navigation in dynamic environments (i.e. including mobile objects). To do so, we need to satisfy several constraints: 1) We want to be able to navigate in unknown environment and with any type of mobile objects, thus we adopt a geometric approach. 2) We want to ensure the best possible coverage of the field of view, so we employ dense methods that process every pixel in the image. 3) The algorithms must be compliant with an embedded platform, therefore we must carefully design the algorithms so they are fast enough to keep a certain level of reactivity. The approach presented in this thesis manuscript and the contributions are summarized below. First, we study several stereo matching algorithms that estimate a disparity map from which we can deduce a depth map, by triangulation. This comparative study highlights one algorithm that is not in the KITTI benchmarks, but that gives a great accuracy/processing time tradeoff. We also propose a filtering method to post-process the disparity maps. By coding these algorithm in CUDA to benefit from hardware acceleration on Graphics Processing Unit, we show that they can perform very fast (19ms on KITTI images, with a GPU GeForce GTX Titan).Second, we want to detect mobile objects and estimate their motion. To do so we compute the stereo rig motion using visual odometry, in order to isolate the part induced by moving objects in the 2D or 3D apparent motion (estimated by optical flow or scene flow algorithms). Considering that the only optical flow algorithm able to perform in real-time is FOLKI, we propose several modifications of it to slightly improve its performances at the cost of a slower processing time. Regarding the scene flow estimation, existing algorithms cannot reach the desired computation speed, so we propose a new approach by decoupling structure and motion for a fast scene flow estimation. Three algorithms are proposed to use this structure-motion decomposition, and one of them, particularly efficient, enables very fast scene flow computing with a relatively good accuracy. To our knowledge it is the only published scene flow algorithm able to perform at framerate on KITTI dataset (10 Hz).Third, to detect moving objects and segment them in the image, we show several statistical models and residual quantities on which we can base the detection by thresholding a chi2 criterion. We propose a rigorous statistical modeling that takes into account all the uncertainties occurring during the estimation, in particular during the visual odometry, which had not been done to our knowledge, in the context of moving object detection. We also propose a new residual quantity for the detection, using an image prediction approach to facilitate uncertainty propagation and the chi2 criterion modeling. The benefit brought by the proposed residual quantity and error model is demonstrated by evaluating detection algorithms on a samples of annotated KITTI data. Finally, we implement our algorithms on ROS to run the perception system on en embedded platform, and we code some algorithms in CUDA to accelerate the computing using GPU. We describe the perception and the navigation system that we use for the experimental validation. We show in our experiments that the proposed stereovision perception system is suitable for embedded robotic applications.