Les réseaux dynamiques sont constitués d’entités établissant des contacts les unes avec les autres dans le temps. Un défi majeur dans les réseaux dynamiques est de prédire les modèles de mobilité et de décider si l’évolution de la topologie satisfait aux exigences du succès d’un algorithme donné. Les types de dynamique résultant de ces réseaux sont variés en échelle et en nature. Par exemple,certains de ces réseaux restent connexes tout le temps; d’autres sont toujours déconnectés mais offrent toujours une sorte de connexité dans le temps et dans l’espace(connexité temporelle); d’autres sont connexes de manière récurrente, périodique,etc. Tous ces contextes peuvent être représentés sous forme de classes de graphes dynamiques correspondant à des conditions nécessaires et/ou suffisantes pour des problèmes ou algorithmes distribués donnés. Étant donné un graphe dynamique,une question naturelle est de savoir à quelles classes appartient ce graphe. Dans ce travail, nous apportons une contribution à l’automatisation de la classification de graphes dynamiques. Nous proposons des stratégies pour tester l’appartenance d’un graphe dynamique à une classe donnée et nous définissons un cadre générique pour le test de propriétés dans les graphes dynamiques. Nous explorons également le cas où aucune propriété sur le graphe n’est garantie, à travers l’étude du problème de maintien d’une forêt d’arbres couvrants dans un graphe dynamique. / Dynamic networks consist of entities making contact over time with one another. A major challenge in dynamic networks is to predict mobility patterns and decide whether the evolution of the topology satisfies requirements for the successof a given algorithm. The types of dynamics resulting from these networks are varied in scale and nature. For instance, some of these networks remain connected at all times; others are always disconnected but still offer some kind of connectivity over time and space (temporal connectivity); others are recurrently connected,periodic, etc. All of these contexts can be represented as dynamic graph classes corresponding to necessary or sufficient conditions for given distributed problems or algorithms. Given a dynamic graph, a natural question to ask is to which of the classes this graph belongs. In this work we provide a contribution to the automation of dynamic graphs classification. We provide strategies for testing membership of a dynamic graph to a given class and a generic framework to test properties in dynamic graphs. We also attempt to understand what can still be done in a context where no property on the graph is guaranteed through the distributed problem of maintaining a spanning forest in highly dynamic graphs.

L'objectif général de cette thèse était de proposer une solution de localisation en intérieur à la fois simple et capable de surmonter les défis de la propagation dans les environnements en intérieur. Pour ce faire, un système de localisation basé sur la méthode des signatures et adoptant le temps d'arrivée du signal de l'émetteur au récepteur comme signature, a été proposé. Le système présente deux architectures différentes, une première orientée privée utilisant la méthode d'accès multiple à répartition par code et une deuxième centralisée basée sur la méthode d'accès multiple à répartition dans le temps. Le système calcule la position de l'objet d'intérêt par la méthode de noyau. Une comparaison expérimentale entre le système à architecture orientée privée et un système de localisation sonore déjà existant et basé sur la méthode de trilatération, a permis de confirmer les résultats trouvés dans le cas de la localisation par ondes radiofréquences. Cependant, nos expérimentations étaient les premières à montrer l'effet de la réverbération sur les approches de la localisation acoustique. Dans un second lieu, un système de localisation basé sur la technique de retournement temporel, permettant une localisation simultanée de sources avec différentes précisions, a été testé par simulations en faisant varier le nombre de sources. Ce système a été ensuite validé par expérimentations. Dans la dernière partie de notre étude, nous nous sommes intéressés à la réduction de l'audibilité du signal utile à la localisation par recours à la psycho-acoustique. Un filtre défini à partir du seuil d'audition absolu a été appliqué au signal de localisation. Nos résultats ont montré une amélioration de la précision de localisation comparé au système de localisation sans modèle psycho-acoustique et ce grâce à l'utilisation d'un filtre adapté au modèle psycho-acoustique à la réception. Par ailleurs, l'écoute du signal après application du modèle psycho-acoustique a montré une réduction significative de son audibilité comparée à celle du signal original. / The objective of this PhD is to propose a location solution that should be simple and robust to multipath that characterizes the indoor environments. First, a location system that exploits the time domain of channel parameters has been proposed. The system adopts the time of arrival of the path of maximum amplitude as a signature and estimates the target position through nonparametric kernel regression. The system was evaluated in experiments for two main configurations: a privacy-oriented configuration with code-division multiple-access operation and a centralized configuration with time-division multiple-access operation. A comparison between our privacy-oriented system and another acoustic location system based on code-division multiple-access operation and lateration method confirms the results found in radiofrequency-based localization. However, our experiments are the first to demonstrate the detrimental effect that reverberation has on acoustic localization approaches. Second, a location system based on time reversal technique and able to localize simultaneously sources with different location precisions has been tested through simulations for different values of the number of sources. The system has then been validated by experiments. Finally, we have been interested in reducing the audibility of the localization signal through psycho-acoustics. A filter, set from the absolute threshold of hearing, is then applied to the signal. Our results showed an improvement in precision, when compared to the location system without psychoacoustic model, thanks to the use of matched filter at the receiver. Moreover, we have noticed a significant reduction in the audibility of the filtered signal compared to that of the original signal.

Une nouvelle famille de complexes de difluorure de bore photosensibles est développée. Elle est basée sur des structures moléculaires contenant une unité β-dicétone à conjugaison électronique π.La grande variété de groupements aromatiques et la nature donneur ou accepteur d'électrons des différents substituants permet l'élaboration de systèmes électroniques donneur-accepteur-donneur d'électrons (D1-A-D1) et donneur-accepteur (D2-A).L'absorption électronique de cette famille de molécule se situe dans la partie visible du spectre électromagnétique et une partie du spectre ultraviolet, et est caractérisée par une bande d'absorption π-π* intense avec des coefficients d'absorption molaire supérieurs à 50 000 M-1cm-1.L'émission de fluorescence couvre une plage spectrale qui va du visible au proche infrarouge avec des rendements quantiques de fluorescence en solution relativement élevés pouvant atteindre 62 %.En fin, cette famille de molécule est photochimiquement stable et est, contrairement à d'autres familles de complexes de difluorure de bore, chimiquement très stable en solution.Mots-clés : Difluorure de bore, β-dicétone, matériaux π-conjugués, luminescence, fluorescence stationnaire et résolue dans le temps (TRES), synthèse organique, RMN-19F dynamique, complexes & colorants fluorescents, curcumine & curcuminoide, complexe BF2, photophysique. / A new photosensitive family of boron difluoride complex is developed. It is based on π-conjugated molecular structures containing β-diketonates unit.The wide variety of aromatic groups and the nature of donor or electron acceptor of the different substituents allow the development of electron donor-acceptor-donor (DAD) and donor-acceptor (DA) electronic systems.The electronic absorption of this family of molecules is in the visible part of the electromagnetic spectrum and a portion of the ultraviolet spectrum, and is characterized by an intense π-π* absorption band with molar absorption coefficient greater than 50 000 M-1.cm-1.The fluorescence emission covers a spectral range going from visible to near infrared, with relatively high fluorescence quantum yields of up to 62 % in solution.This new material family is photochemically stable and, unlike some other families of boron difluoride complexes, chemically very stable in solution.

L’introduction de la question prioritaire de constitutionnalité a fait de la question de l’effectivité des décisions du Conseil constitutionnel un problème central du contentieux constitutionnel français. Les relations entre le Conseil constitutionnel et les destinataires de ses décisions (principalement le législateur, le juge ordinaire et l’Administration) n’ont en effet jamais été aussi étroites que depuis l’entrée en vigueur du mécanisme de contrôle de constitutionnalité a posteriori. Avec la QPC, les décisions du juge constitutionnel sont désormais susceptibles d’affecter plus directement l’activité du législateur, la solution des litiges devant les juridictions ordinaires ou l’issue d’une demande à l’Administration. Cette multiplication des hypothèses où des décisions du juge constitutionnel doivent être exécutées augmente corrélativement les risques d’ineffectivité. Cette recherche s’attachera tout d’abord à appréhender l’exigence d’effectivité des décisions QPC. Il s’agira de déterminer dans quelle mesure il découle de l’autorité attachée aux décisions QPC du Conseil constitutionnel une obligation générale d’exécution pesant sur les destinataires. Il faudra également définir avec précision les prescriptions et interdictions spécifiques découlant de cette obligation générale d’exécution en examinant notamment la question complexe des effets dans le temps des décisions QPC. Le cadre théorique posé, il sera possible d’évaluer l’effectivité des décisions QPC. Cela consistera à étudier l’exécution ou non par les destinataires des obligations énoncées par le Conseil dans ses décisions afin d’obtenir des taux d’effectivité et d’ineffectivité. Cette évaluation permettra enfin de s’interroger sur les causes et l’incidence de l’effectivité et de l’ineffectivité des décisions QPC. / The introduction in 2008 by the french pouvoir constituant of a new procedureallowing a constitutional review post legem by the Conseil constitutionnel deeply changed therelations between the constitutional jugde and those who are supposed to implement hisdecisions (specifically the legislator, non constitutional judges and administrative authorities). With the constitutional review post legem, the Conseil constitutionnel’s decisions can nowdirectly impact the legislative process and command the solution of a dispute before a nonconstitutional judge or the review of a request by an administrative authority. The multiplicationof cases where a decision of the Conseil constitutionnel must be implemented could potentiallylead to an increase of ineffectivity of such decisions. Firstly, this study aims to get a betterunderstanding of the obligation to enforce a constitutional decision that derives from theConseil constitutionnal’s decisions binding authority. Then, this research will precisely definethe different obligations which must be implemented that derives from the general obligationto enforce the Conseil constitutionnel’s decisions. Then, we will compare those obligations withthe actual measures taken by the different implementing authorities to evaluate whether thosesdecisions are effective. At last, the study will concentrate on the causes and implication of theeffectivity or ineffectivity of the Conseil constitutionnel’s decisions.

Le problème de l'efficacité énergétique dans le domaine des transports a comme principal défi savoir comment utiliser la source d'énergie pour que l'efficacité énergétique puisse être maximisée, c'est-à-dire comment le véhicule doit être conduit de telle sorte que la quantité minimale d’énergie est utilisée. Ce problème est le principal problème considéré dans cette thèse. Le véhicule est un prototype impliqué dans la course européenne Shell Eco-Marathon. La dynamique du véhicule est d'abord obtenu par l'identification expérimentale des paramètres. Une stratégie en boucle ouverte de conduite optimale en termes de consommation électrique est calculée. Plusieurs approches ont été étudiées pour le suivi de la référence optimale (stratégie de conduite optimale). Ces approches doivent prendre en compte les ressources limitées en taille mémoire et capacité de calcul. Une commande prédictive (MPC) basée sur la dynamique linéarisée est tout d'abord synthétisée. Le problème de poursuite nécessite une MPC avec contraintes variant dans le temps. La stabilité et la convergence de la commande prédictive sont prouvées à l'aide du formalisme des ensembles invariants. En troisième partie, à partie du modèle LPV, une adaptation de techniques standards basées sur des fonctions de Lyapunov quadratiques et à paramètres variants avec calculs hors-ligne est proposée. Elle est implémentée sur un banc de test. Enfin, une technique adaptative robuste avec identification en ligne de la dynamique est proposée et implémentée dans le véhicule. Cette technique a été testée et validée en course. Les résultats expérimentaux obtenus montrent de bonnes performances de la stratégie de conduite / In the field of transportation, the research on energy efficiency has been carried out for few decades by the automotive industry, where one of the main objectives is to reduce the energetic consumption. This particular problem can be rephrased as how the vehicle must be driven so that the minimum quantity of energy is used. This is the optimal driving strategy. In this project, a suitable model of the Vir'volt electric vehicle involved in the European Shell Eco-Marathon is obtained. The unknown parameters involved in the vehicle dynamics are estimated using Parameter identification from experimental data. The identified dynamics is used to derive an optimal driving strategy that is intended to be tracked on-line during the driving task. The tracking task is subject to time-varying polytopic constraint on the input and/or the state. A MPC-based tracking strategy that uses an homothetic transformation as a suitable time-varying invariant set is used. The time-varying invariant set guarantees the asymptotic stability of the control law. The problem of the MPC tracking for Linear Parametric Varying (LPV) systems is introduced. A new explicit MPC strategy for LPV systems is developed. This strategy uses a Parameter dependent Lyapunov Function (PDLF) to involve explicitly the time-varying parameter in the control law and so it reduces conservatism. A benchmark is used to test the performances of the optimal driving strategy and the explicit MPC tracking strategy. Finally, a robust adaptive technique with on-line identification of the dynamics is has been proposed and tested in the race showing good performances of the adaptive driving strategy

Dans un avion, un hélicoptère ou un lanceur actuel, des milliers de capteurs, pour la plupart non critiques sont utilisés pour la mesure de divers paramètres (températures, pressions, positions...) Les résultats sont ensuite acheminés par des fils vers les calculateurs de bord qui les traitent. Ceci implique la mise en place de centaines de kilomètres de câbles (500 km pour un avion de ligne) dont le volume est considérable. Il en résulte une grande complexité de conception et de fabrication, des problèmes de fiabilité, notamment au niveau des connexions, et une masse importante. Par ailleurs l'instrumentation de certaines zones est impossible car leur câblage est difficilement envisageable par manque d'espace. En outre, s'il est souvent intéressant d'installer de nouveaux capteurs pour faire évoluer un aéronef ancien, l'installation des câbles nécessaires implique un démantèlement partiel, problématique et coûteux, de l'appareil. Pour résoudre ces problèmes, une idée innovante a émergé chez les industriels de l'aéronautique : commencer à remplacer les réseaux filaires reliant les capteurs d'un aéronef et leur centre de décision par des réseaux sans fil. Les technologies de communication sans fil sont aujourd'hui largement utilisées dans les marchés de l'électronique de grande consommation. Elles commencent également à être déployées pour des applications industrielles comme l'automobile ou le relevé à distance de compteurs domestiques. Cependant, remplacer des câbles par des ondes représente un défi technologique considérable comme la propagation en milieu confiné, la sécurité, la sureté de fonctionnement, la fiabilité ou la compatibilité électromagnétique. Cette thèse est motivée d'une part par l'avancée non négligeable dans le milieu aérospatial que pourrait être l'établissement d'un réseau sans fil à bord d'aéronefs dans la résolution de problématique classiques comme l'allégement et l'instrumentation. Il en résulterait donc : * Une meilleure connaissance de l'environnement et de la santé de l'aéronef * Un gain sur le poids. * Un gain en flexibilité. * Un gain en malléabilité et en évolutivité. * Un gain sur la complexité. * Un gain sur la fiabilité D'autre part, étant donnée la complexité de la conception de ce réseau de capteur sans fil, il a été nécessaire d'appliquer une méthodologie évolutive et adaptée mais inspirée de l'ingénierie système. Il est envisageable, vu le nombre de sous-systèmes à considérer, que cette méthodologie soit réutilisable pour d'autre cas pratiques. Une étude aussi complète que possible a été réalisée autour de l'existant déjà établi sur le sujet. En effet, on peut en lisant ce mémoire de thèse avoir une idée assez précise de ce qui a été fait. Une liste a été dressée de toutes les technologies sans fil en indiquant leur état de maturité, leurs avantages et leurs inconvénients afin de préciser les choix possibles et les raisons de ces choix. Des projets de capteurs sans fil ont été réalisés, des technologies sans fil performantes et personnalisables ont été développées et arrivent à maturité dans des secteurs variés tels que la domotique, la santé, l'automobile ou même l'aéronautique. Cependant aucun capteur sans fil n'a été véritablement installé en milieu aérospatial car de nombreux verrous technologiques n'ont pas été levés. Fort des expériences passées, et de la maturité qu'ont prise certaines technologies, des conclusions ont été tirées des projets antérieurs afin de tendre vers des solutions plus viables. Une fois identifiés, les verrous technologiques ont été isolés. Une personnalisation de notre solution a été à envisager afin de remédier tant que faire se peut à ces points bloquants avec les moyens mis à disposition. La méthodologie appliquée nous a permis d'identifier un maximum de contraintes, besoins et exigences pour mieux focaliser les efforts d'innovation sur les plus importantes et choisir ainsi les technologies les plus indiquées.