Cette étude s’inscrit dans le domaine de l’intelligence artificielle, plus précisément au croisement des deux domaines que sont la planification autonome en environnement probabiliste et la vérification formelle probabiliste. Dans ce contexte, elle pose la question de la maîtrise de la complexité face à l’intégration de nouvelles technologies dans les systèmes critiques : comment garantir que l’ajout d’une intelligence à un système, sous la forme d’une autonomie, ne se fasse pas au détriment de la sécurité ? Pour répondre à cette problématique, cette étude a pour enjeu de développer un processus outillé, permettant de concevoir des systèmes auto-adaptatifs critiques, ce qui met en œuvre à la fois des méthodes de modélisation formelle des connaissances d’ingénierie, ainsi que des algorithmes de planification sûre et optimale des décisions du système.

The vision driving the work reported herein is to investigate the fluid-structure interac- tion (FSI) effects of the flexible laminated blades for tilt-body micro-air-vehicles (MAV) proprotors in hover and forward flight configurations. This is in order to exploit the po- tential of flexible-bladed proprotor over the rigid-bladed proprotor in the enhancement of proprotor performance during hovering and cruising at a target forward speed. For that, the FSI model taking into account the specific problems devoted to MAV-sized proprotor made of laminate composite was developed. The FSI model combines aerody- namic model adapting Blade Element Momentum (BEM) theory and structural model adapting Anisotropic Finite Element Beam (AFEM) theory. The aerodynamic model is developed to be capable of adapting in the analysis on low Reynolds number proprotors. In the structural model, the blade is modeled as an elastic beam undergoing deflections in flap, lag, and torsion to capture the coupling effects in anisotropic materials, adapts the structural analysis on proprotor blades made of laminate composite. The reliability of the developed FSI model is verified through a validation on both aerodynamic and structural models, separately, on several MAV-sized proprotors. As for a direction to the analysis on passively-adaptive proprotor blades, an optimal design on actively-adaptive proprotor was carried out. For this, a program for designing the optimum rigid blades at single-point (for either isolated cruise-point or isolated hover-point) and multiple-point (combined cruise and hover point) for proprotors have been developed. The procedures in the optimal design program employs the numerical iterative inverse design method, based upon the minimum thrust induced losses (MIL). Even if the work in this thesis was directed primarily towards the proprotor, however, the propulsion system from the motor part was not neglected since the propulsion efficiency is a crucial factor to the suc- cess of MAVs. A cheap and time-effective method of proposing the best motor from the selected commercial motors was developed, based on Taguchi’s method. The sensitivity of the total power consumption to the variation of value of each motor design variables was also studied. The benefit of the use of tip body in the blade and the effect of bending on the induced twist and on the thrust degradation, respectively, were also analyzed and identified. Finally, the systematically designed passively-adaptive composite proprotors were evaluated under steady operating conditions. Hovering and cruise propulsive performance, characterized by total power Ptotal, were compared between the rigid-bladed and flexible-bladed proprotors. As a result of the comparison, the flexible-bladed proprotor with fixed system is found to be capable of slightly enhancing the performance through the reduction in Ptotal over its optimal rigid-bladed proprotor.

Cette thèse présente plusieurs contributions permettant d'améliorer la diffusion de vidéos. Dans la première partie de la thèse, nous évaluons et analysons les mécanismes de tolérance d'erreurs (correction et masquage d'erreurs). Les performances de ces différents mécanismes sont évaluées pour des taux de pertes de paquets variables. Les contributions suivantes mettent l'accent sur un code à effacements à la volée, appelée Tetrys, plus efficace que les codes en blocs classiques (Forward Error Correction - FEC). Tout d'abord, nous étudions l'application de Tetrys à la transmission vidéo temps réel par des chemins multiples. Nous proposons un découplage entre l'allocation de la charge et la gestion de la redondance pour Tetrys. Tetrys, lorsqu'il est couplé avec un mécanisme de répartition de charge appelé Encoded Multipath streaming (EMS), surpasse le couplage entre EMS et FEC pour les deux modèles de perte testés (Bernoulli et Gilbert-Elliott) en termes de taux de perte résiduel et de qualiée vidéo. En exploitant la capacité de correction de Tetrys, nous étudions ensuite les performances du décodage tardif où les paquets arrivant en retard sont décodés et utilisés pour stopper la propagation d'erreur. Enfin, une étude plus approfondie sur Tetrys propose un algorithme d'adaptation de la redondance, appelé A-Tetrys, permettant de gérer la dynamique du réseau. Cet algorithme combine des approches réactives et pro-actives pour adapter au mieux le taux de redondance. L'évaluation des performances montre que A-Tetrys parvient à gérer simultanément les variations du taux de perte, du modèle de perte et du délai. Nous étudions ensuite un autre challenge en proposant un nouveau critère d'équité : la qualité vidéo. Nous proposons un algorithme Q-AIMD qui permet un partage équitable de la bande passante en termes de qualité vidéo entre des ux concurrents. Nous présentons un système pour le déploiement de cet algorithme Q-AIMD et nous étudions sa convergence. L'évaluation de différentes métriques de qualité vidéo (PSNR, QP et VQM) montre une diminution importante des écarts de qualité vidéo entre plusieurs flux par rapport à l'approche traditionnelle AIMD qui se base sur le débit. De plus, une autre contribution sur ce sujet propose une nouvelle approche appelée courbe virtuelle. Contrairement à QAIMD qui est une approche décentralisée, la courbe virtuelle est une approche centralisée qui permet à la fois une équité entre les flux vidéo en termes de qualité vidéo et une équité entre les flux non-vidéo et flux vidéo en termes de débit.