Set-membership estimation and distributed control for a fleet of UAVs for target search and tracking
Estimation ensembliste et commande distribuée de flotte pour la recherche et le suivi de cibles
Résumé
This thesis addresses the problem of searching and tracking an unknown number of mobile targets spread within an unknown Region of Interest (RoI) using a fleet of cooperating Unmanned Aerial Vehicles (UAVs). Such Cooperative Search, Acquisition, and Tracking (CSAT) problem appears in military contexts, e.g., when enemy vehicles have to be found and tracked, or in civilian applications, e.g., when searching for lost people after a disaster. To solve the CSAT problem, each UAV embeds a Computer Vision System (CVS) consisting of a camera and image processing algorithms that provide measurements related to the RoI. The CVS measurements consist of images with labeled pixels, depth maps, and boxes in the images containing pixels related to the detected and identified targets. This thesis considers a set-membership approach to address the CSAT problem. Compared to alternative approaches relying on stochastic assumptions on the measurement noise, set-membership approaches assume bounded measurement noise with known bounds. Set-membership approaches can then characterize sets that are guaranteed to contain the location of the targets, provided that the hypotheses on the measurement models and noise bounds are satisfied. Very few previous works directly exploit CVS measurements in a set-membership approach. This is mainly because obtaining measurement models for a CVS involving deep learning algorithms is difficult. To address these issues, we introduce several assumptions to relate the CVS measurements with the targets and obstacles present in the RoI using a geometric approach. With these assumptions, we propose a new set-membership estimator that directly exploits the CVS measurements to characterize sets that are guaranteed to contain the location of each identified target. The CVS measurements are also exploited to evaluate sets that are guaranteed to contain no target location. A prediction-correction scheme similar to the Kalman filter has been considered to account for the exchange of information between UAVs. The correction involves CVS measurements acquired by each UAV and estimates shared by neighboring UAVs. Several additional sources of uncertainty may be considered in the proposed approach. We have focused on the state uncertainty of UAVs. As the RoI is cluttered with unknown obstacles, each UAV builds an occupancy-elevation map during the search and tracking of targets using CVS measurements. The map provides an approximate description of the location, height, and shape of the obstacles. The map may be exploited for obstacle avoidance. In this thesis, it is used to predict the occlusion by obstacles in the field of view of each UAV. This information is instrumental in the design of a Model Predictive Control (MPC) algorithm to determine the trajectory of each UAV, minimizing the localization uncertainty of identified targets and reducing the size of the set containing potentially undetected targets. If the targets outnumber the UAVs, a trade-off has to be found between searching for new targets and tracking those already identified to reduce the localization uncertainty. Simulations performed with Webots illustrate the performance of the target location estimator and the MPC design by evaluating the efficiency of the cooperating UAVs to explore the environment, find and identify the targets, and maintain an accurate estimation of their location.
Cette thèse aborde le problème de la recherche et du suivi d'un nombre inconnu de cibles mobiles réparties dans une région d'intérêt (RdI) inconnue à l'aide d'une flotte coopérative de robots aériens sans pilote (UAVs). Ce problème de recherche, d'acquisition et de suivi coopératif (CSAT) apparaît dans des contextes militaires, e.g., pour trouver et suivre des véhicules ennemis, ou dans des applications civiles, e.g., pour rechercher des personnes perdues à la suite d'une catastrophe. Pour résoudre ce problème, chaque drone embarque un système de vision par ordinateur (CVS) composé d'une caméra et d'algorithmes de traitement d'images qui fournissent des mesures liées à la RdI. Les mesures fournies par le CVS consistent en des images avec des pixels labellisés, des cartes de profondeur et des boîtes contenant des pixels associés aux cibles qui ont été identifiées. Cette thèse considère une approche ensembliste pour aborder le problème CSAT. Par rapport à d'autres approches reposant sur des hypothèses stochastiques sur le bruit de mesure, les approches ensemblistes supposent un bruit de mesure borné avec des bornes connues. Ces approches peuvent alors caractériser des ensembles qui contiennent nécessairement la position des cibles, à condition que les hypothèses sur les modèles de mesure et les bornes du bruit soient respectées. Très peu de travaux antérieurs exploitent directement les mesures CVS dans une approche ensembliste. Cela s'explique principalement par le fait qu'il est difficile d'obtenir des modèles de mesure pour un CVS lorsqu'il est composé d'algorithmes d'apprentissage profond. Pour résoudre ces problèmes, nous introduisons plusieurs hypothèses pour relier les mesures CVS aux cibles et aux obstacles présents dans la RdI en utilisant une approche géométrique. A partir de ces hypothèses, nous proposons un nouvel estimateur ensembliste qui exploite directement les mesures CVS pour caractériser les ensembles qui sont garantis de contenir la position de chaque cible identifiée. Les mesures CVS sont également exploitées pour évaluer les ensembles qui sont garantis ne contenir aucune position de cible. Un processus de prédiction-correction similaire au filtre de Kalman a été implémenté pour tenir compte de l'échange d'informations entre les drones. La correction se fait via les mesures CVS acquises par chaque drone et des estimées transmises par les drones voisins. Plusieurs incertitudes supplémentaires peuvent être prises en compte dans l'approche proposée. Nous nous sommes concentrés sur la manière de prendre en compte l'incertitude de l'état des drones. Comme la RdI est encombrée d'obstacles inconnus, chaque drone établit une carte d'occupation et d'élévation pendant la recherche et le suivi des cibles à l'aide des mesures CVS. Cette carte fournit une description approximative de l'emplacement, de la hauteur, et de la forme des obstacles. La carte peut être exploitée pour éviter les obstacles. Dans cette thèse, elle est utilisée pour prédire la portion du champ de vue de la caméra de chaque drone qui est masquée par un obstacle. Cette information est déterminante dans la conception d'un algorithme par commande prédictive (MPC) pour déterminer la trajectoire de chaque drone, en minimisant l'incertitude de localisation des cibles identifiées et en réduisant la taille de l'ensemble contenant des cibles potentiellement non détectées. Si les cibles sont plus nombreuses que les UAVs, un compromis entre la recherche de nouvelles cibles et le suivi des cibles déjà identifiées afin de réduire l'incertitude de la localisation doit être trouvé. Des simulations réalisées avec Webots illustrent les performances de l'estimateur et de la loi de guidage en évaluant l'efficacité des drones à trouver et identifier les cibles, et maintenir une estimation précise de leur position.
Origine | Version validée par le jury (STAR) |
---|