Ce travail porte sur une classe étendue de systèmes non linéaires à retards, modelisés sur un anneau non commutatif.<br /><br />On recherche des solutions causales pour divers problèmes de la commande, pouvant être mises en oeuvre sans faire appel aux prédicteurs d'état.<br /><br />Pour ce faire, une nouvelle approche mathematique adaptée à cette classe de systèmes à été introduite. Elle est établie de façon naturelle à partir des connaissances standard sur les systèmes non linéaires sans retard et sur les systèmes linéaires à retards.<br /><br />Cette nouvelle approche est, en fait, une contribution majeure de ce travail de thèse. Elle nous a permis d'étudier quelques propriétés des systèmes non linéaires à retards, telles que l'accessibilité ou l'inversion, mais aussi de proposer des conditions vérifiables et constructives sous lesquelles il existe des solutions causales à plusieurs problèmes de la commande, tels que le rejet de perturbation, la linéarisation entrée-sortie et la poursuite de trajectoire.

Cette thèse s’inscrit dans le contexte de l’analyse vidéo du trafic routier. Dans certaines grandes villes, des centaines de caméras produisent de très grandes quantités de données, impossible à manipuler sans traitement automatique. Notre principal objectif est d'aider les opérateurs humains en analysant automatiquement les données vidéo. Pour aider les contrôleurs de la circulation à prendre leurs décisions, il est important de connaître en temps réel, l'état du trafic (nombre de véhicules et vitesse des véhicules sur chaque segment de voie), mais aussi de disposer de statistiques temporelles tout au long de la journée, de la semaine, de la saison ou de l'année. Les caméras ont été déployées depuis longtemps pour le trafic et pour d'autres fins de surveillance, car elles fournissent une source d'information riche pour la compréhension humaine. L'analyse vidéo peut désormais apporter une valeur ajoutée aux caméras en extrayant automatiquement des informations pertinentes. De cette façon, la vision par ordinateur et l'analyse vidéo deviennent de plus en plus importantes pour les systèmes de transport intelligents (intelligent transport systems : ITSs). L’une des problématiques abordées dans cette thèse est liée au comptage automatique de véhicules. Pour être utile, un système de surveillance vidéo doit être entièrement automatique et capable de fournir, en temps réel, l'information qui concerne le comportement de l'objet dans la scène. Nous pouvons obtenir ces renseignements sur la détection et le suivi des objets en mouvement dans les vidéos, ce qui a été un domaine largement étudié. Néanmoins, la plupart des systèmes d'analyse automatique par vidéo ont des difficultés à gérer les situations particulières. Aujourd'hui, il existe de nombreux défis à résoudre tels que les occultations entre les différents objets, les arrêts longs, les changements de luminosité, etc… qui conduisent à des trajectoires incomplètes. Dans la chaîne de traitements que nous proposons, nous nous sommes concentrés sur l'extraction automatique de statistiques globales dans les scènes de vidéosurveillance routière. Notre chaîne de traitements est constituée par les étapes suivantes : premièrement, nous avons évalué différentes techniques de segmentation de vidéos et de détection d'objets en mouvement. Nous avons choisi une méthode de segmentation basée sur une version paramétrique du mélange de gaussiennes appliquée sur une hiérarchie de blocs, méthode qui est considérée actuellement comme l'un des meilleurs procédés pour la détection d'objets en mouvement. Nous avons proposé une nouvelle méthodologie pour choisir les valeurs optimales des paramètres d’un algorithme permettant d’améliorer la segmentation d’objets en utilisant des opérations morphologiques. Nous nous sommes intéressés aux différents critères permettant d’évaluer la qualité d’une segmentation, résultant d’un compromis entre une bonne détection des objets en mouvement, et un faible nombre de fausses détections, par exemple causées par des changements d’illumination, des reflets ou des bruits d’acquisition. Deuxièmement, nous effectuons une classification des objets, basée sur les descripteurs de Fourier, et nous utilisons ces descripteurs pour éliminer les objets de type piétons ou autres et ne conserver que les véhicules. Troisièmement, nous utilisons un modèle de mouvement et un descripteur basé sur les couleurs dominantes pour effectuer le suivi des objets extraits. En raison des difficultés mentionnées ci-dessus, nous obtenons des trajectoires incomplètes, qui donneraient une information de comptage erronée si elles étaient exploitées directement. Nous proposons donc d’agréger les données partielles des trajectoires incomplètes et de construire une information globale sur la circulation des véhicules dans la scène. Notre approche permet la détection des points d’entrée et de sortie dans les séquences d’images. Nous avons testé nos algorithmes sur des données privées provenant... / This thesis is written in the context of video traffic analysis. In several big cities, hundreds of cameras produce very large amounts of data, impossible to handle without automatic processing. Our main goal is to help human operators by automatically analyzing video data. To help traffic controllers make decisions, it is important to know the traffic status in real time (number of vehicles and vehicle speed on each path), but also to dispose of traffic statistics along the day, week, season or year. The cameras have been deployed for a long time for traffic and other monitoring purposes, because they provide a rich source of information for human comprehension. Video analysis can automatically extract relevant information. Computer vision and video analysis are becoming more and more important for Intelligent Transport Systems (ITSs). One of the issues addressed in this thesis is related to automatic vehicle counting. In order to be useful, a video surveillance system must be fully automatic and capable of providing, in real time, information concerning the behavior of the objects in the scene. We can get this information by detection and tracking of moving objects in videos, a widely studied field. However, most automated video analysis systems do not easily manage particular situations.Today, there are many challenges to be solved, such as occlusions between different objects, long stops of an object in the scene, luminosity changes, etc., leading to incomplete trajectories of moving objects detected in the scene. We have concentrated our work on the automatic extraction of global statistics in the scenes. Our workflow consists of the following steps: first, we evaluated different methods of video segmentation and detection of moving objects. We have chosen a segmentation method based on a parametric version of the Mixture of Gaussians, applied to a hierarchy of blocks, which is currently considered one of the best methods for the detection of moving objects. We proposed a new methodology to choose the optimal parameter values of an algorithm to improve object segmentation by using morphological operations. We were interested in the different criteria for evaluating the segmentation quality, resulting from a compromise between a good detection of moving objects, and a low number of false detections, for example caused by illumination changes, reflections or acquisition noises. Secondly, we performed an objects classification, based on Fourier descriptors, and we use these descriptors to eliminate pedestrian or other objects and retain only vehicles. Third, we use a motion model and a descriptor based on the dominant colors to track the extracted objects. Because of the difficulties mentioned above, we obtain incomplete trajectories, which, exploited as they are, give incorrect counting information. We therefore proposed to aggregate the partial data of the incomplete trajectories and to construct a global information on the vehicles circulation in the scene. Our approach allows to detect input and output points in image sequences. We tested our algorithms on private data from the traffic control center in Chiang Mai City, Thailand, as well as on MIT public video data. On this last dataset, we compared the performance of our algorithms with previously published articles using the same data. In several situations, we illustrate the improvements made by our method in terms of location of input / output zones, and in terms of vehicle counting.

La thèse se concentre sur le secteur non-électrique agrégé couvert par le SCEQE. La contribution du secteur non-électrique aux variations des émissions de CO2 pendant les deux premières phases du marché (2005-2012), tant du point de vue de la demande finale que de celui de l'offre, est comparée à celle du secteur électrique. Les implications du mode d'allocation gratuite de quotas au secteur non-électrique durant la troisième phase du marché (2013-2020) sont examinées, ce qui constitue l'une des premières évaluations approfondies des benchmarks institués en Phase 3. Il est montré que, tant du point de vue de la demande finale que de celui de l'offre, le secteur non-électrique, du fait de ses interdépendances et de son niveau d'activité, a davantage contribué aux variations des émissions de CO2 que ne l'a fait le secteur électrique, au cours la période 2005-2012. Il est également montré que, en dépit de ses effets redistributifs, le mode d'allocation gratuite par benchmarks tel qu'il a été défini, demeure imparfait et n'est ainsi pas à la hauteur du rôle central du secteur non-électrique dans le fonctionnement du marché.

Des spécificités de la technologie SOI partiellement désertée (PD-SOI), comme son gain en vitesse, et l'isolation diélectrique des transistors, sont intéressantes pour la conception d'interfaces entrées/sorties. Toutefois, l'emploi de cette technologie conduit à des phénomènes indésirables tels que l'effet d'histoire, une consommation statique accrue et l'effet d'auto-échauffement. Dans ce travail, une analyse de ces effets a été menée. L'influence de l'auto-échauffement s'est révélée négligeable. Un schéma électrique employant un mécanisme de polarisation active a été proposé afin de supprimer l'effet d'histoire et de contrôler la consommation statique tout en conservant un gain en vitesse. Le circuit de test, en 65nm PDSOI de STMicroelectronics, montre que la solution proposée permet d'améliorer la gigue du temps de propagation lors d'une transmission. La deuxième partie de ce travail s'intéresse à la technologie SOI totalement désertée (FDSOI). Cette dernière apporte un meilleur contrôle électrostatique des transistors et un degré de liberté supplémentaire en conception par le contrôle de leurs tensions de seuil via la face arrière. Dans un premier temps, cette caractéristique a été validée pour les entrées/sorties sur un circuit fabriqué en 28nm FDSOI de STMicroelectronics. Elle a été ensuite exploitée pour la calibration de l'impédance de sortie d'une interface LPDDR2 et la compensation des fluctuations environnementales. La solution proposée dans ce travail tire profit de la modulation par face arrière pour réaliser la calibration durant la transmission, contrairement à l'état de l'art, ce qui a pour effet d'augmenter la bande passante.

La thèse se concentre sur le secteur non-électrique agrégé couvert par le SCEQE. La contribution du secteur non-électrique aux variations des émissions de CO2 pendant les deux premières phases du marché (2005-2012), tant du point de vue de la demande finale que de celui de l’offre, est comparée à celle du secteur électrique. Les implications du mode d’allocation gratuite de quotas au secteur non-électrique durant la troisième phase du marché (2013-2020) sont examinées, ce qui constitue l’une des premières évaluations approfondies des benchmarks institués en Phase 3. Il est montré que, tant du point de vue de la demande finale que de celui de l’offre, le secteur non-électrique, du fait de ses interdépendances et de son niveau d’activité, a davantage contribué aux variations des émissions de CO2 que ne l’a fait le secteur électrique, au cours la période 2005-2012. Il est également montré que, en dépit de ses effets redistributifs, le mode d’allocation gratuite par benchmarks tel qu’il a été défini, demeure imparfait et n’est ainsi pas à la hauteur du rôle central du secteur non-électrique dans le fonctionnement du marché. / The thesis focuses on the aggregated non-power sector covered under the EU ETS. First, the non-power sector contribution to CO2 emissions changes in the first two phases of the Scheme (2005-2012), both from a final demand perspective and a supply perspective, is compared to that of the power sector at first. Then, the implications of the non-power sector specific free allocation methodology in the third phase of the Scheme (2013-2020) are scrutinized, which constitutes one of the first thorough assessment of Phase 3 benchmarking. It is showed that both from a final demand perspective and a supply perspective, the non-power sector, through its interrelated character and its activity levels, has contributed to changes in EU ETS CO2 emissions more than the power sector did, over the 2005-2012 period. It is also showed that, despite its free allocation redistribution effects, benchmark-based Phase 3 free allocation remains flawed and may benefit from further improvements to be up to the central role of the non-power sector in the EU ETS dynamics.

Cette thèse est divisée en trois parties. Dans la première partie, nous commençons par décrire des résultats très connus en théorie du contrôle géométrique tels que le théorème de Chow-Rashevsky, la condition de rang de Kalman, l'application Entrée-Sortie et le test linéaire. De plus, nous définissons et nous étudions brièvement la contrôlabilité locale au voisinage d'un contrôle de référence au premier et au second ordre. Dans la deuxième partie, nous donnons une preuve élémentaire du lemme de Franks linéaire pour les flots géodésiques qui utilise des techniques basiques de théorie du contrôle géométrique. Dans la dernière partie, étant donnée une variété Riemanienne compacte, nous prouvons un lemme de Franks uniforme au second ordre pour les flots géodésiques et on applique le résultat à la théorie de la persistance. Dans cette partie, nous introduisons avec plus de détails les notions de contrôlabilité locale au premier et au second ordre. En effet, nous donnons un résultat de contrôlabilité au second ordre dont la preuve est longue et technique. / This thesis is devided into three parts. In the first part we begin by describing some well known results in geometric control theory such as the Chow Rashevsky Theorem, the Kalman rank condition, the End-Point Mapping and the linear test. Moreover, we define and study briefly local controllability around a reference control at first and second order. In the second part we provide an elementary proof of the Franks lemma for geodesic flows using basic tools of geometric control theory. In the last part, given a compact Riemannian manifold, we prove a uniform Franks' lemma at second order for geodesic flows and apply the result in persistence theory. In this part we introduce with more details notions of local controllability at first and second order. In fact, we provide a second order controllability result whose proof is long and technical.

Ce mémoire propose une stratégie de contrôle sans commutation d’algorithme pour un système hybride constituée d’une pile à combustible comme source principale et d’un pack de supercondensateurs comme source auxiliaire. Trois structures de système hybride ont été étudiées. Après avoir évoqué les différentes structures des systèmes hybrides électriques et des techniques utilisées pour les contrôler, deux approches sont traitées. La première est basée sur la notion de platitude permettant d’assurer la gestion des flots d’énergie dans une source hybride et plus généralement dans un système multi sources/multi charges. La stratégie proposée repose sur la génération d’un modèle d’ordre réduit du système et la gestion des flots d’énergie via des trajectoires de référence de certaines grandeurs énergétiques du système. L’impact de ce mode de contrôle sur le dimensionnement des éléments passifs (inductances, condensateurs) de la source hybride a été expliqué. Dans la deuxième stratégie, l’énergie totale stockée dans les hacheurs est prise en compte dans l’élaboration de la commande du système multi sources/multi charges en utilisant une linéarisation entrée/sortie sur les convertisseurs des charges. Un observateur non linéaire a été proposé pour estimer la variation de la caractéristique statique de pile à combustible et permet de garantir un fonctionnement optimal du système hybride. Les architectures de puissance et les modes de commande proposés ont été validés par des résultats simulés et/ou expérimentaux / This work deals with a nonlinear control strategy of an electrical hybrid system which is composed of a fuel cell as the main source and a supercapacitor bank as the auxiliary source. Any algorithm commutation is not used in the proposed control strategy whereas the system works in different operating modes. After a review of various structures of the electrical hybrid systems and different control methods of these systems, two new approaches are developed. The first one is flatness-based method to ensure the energy management in the proposed hybrid systems and generally in a multi source / multi loads system. The proposed strategy is based on generation of a reduced-order model of the system. The energy management is carried out through the reference trajectories of the stored electrostatic energy of the system. The effect of the proposed control method on design of the system components (inductors and capacitors) is explained. In the second approach, the total energy stored in the choppers is taken into account to control the load converters of a multi-source/multi load system by use of the input/output linearization method. A nonlinear observer is proposed to estimate the variation of voltage-power output characteristic of the fuel cell which leads to an optimal performance of the hybrid system. The simulation and experimental results prove validity of the proposed control strategy

La tendance actuelle dans le domaine des télécommunications mène à des systèmes capables de fonctionner selon plusieurs standards, et donc plusieurs fréquences porteuses. La synthèse de la fréquence porteuse est un élément clef, dont les propriétés reposent essentiellement sur les performances de l'oscillateur employé. Pour assurer le fonctionnement de systèmes compatibles avec plusieurs standards de télécommunication, la solution conventionnelle consiste à intégrer plusieurs oscillateurs locaux. Cette solution est coûteuse, d'autant plus que, malgré le fait que les technologies actuelles atteignent des niveaux d'intégration très importants, la surface occupée par des oscillateurs traditionnels de type LC ne peut pas être diminuée, alors que le coût de fabrication au millimètre carré devient de plus en plus élevé. Il serait donc très intéressant de remplacer les oscillateurs LC, ce qui nous amène à rechercher des solutions alternatives parmi de nouvelles technologies. L'oscillateur spintronique (STO) est un nouveau dispositif issu des études sur les couches minces magnétiques. Il apparait comme un candidat potentiel de remplacement des oscillateurs LC du fait de sa grande accordabilité en fréquence et de son faible encombrement. Toutefois des mesures effectuées sur les STOs ont montré que la performance en puissance et en bruit de phase d'un oscillateur seul ne permet pas de remplir les spécifications pour des applications de télécommunication. Nous proposons de remplir ces spécifications en couplant un nombre d'oscillateurs spintroniques important. Dans ce cadre se posent plusieurs questions qui concernent les procédures de modélisation, d'analyse et de synthèse des systèmes interconnectés. Les procédures de modélisation incluent la démarche de recherche de modèles à complexité croissante qui décrivent les propriétés entrée-sortie d'un oscillateur spintronique, ainsi que la démarche de généralisation des modèles des oscillateurs dans le cadre du réseau. Les procédures d'analyse cherchent à vérifier la stabilité et évaluer la performance des systèmes interconnectés. Les procédures de synthèse permettent de concevoir des interconnexions sophistiquées pour les oscillateurs afin d'assurer toutes les spécifications du cahier des charges. Dans ce document, nous établissons tout d'abord le problème de la synthèse de fréquence par couplage avec un cahier des charges formalisé en termes de gabarits fréquentiels sur des densités spectrales de puissance. Le cahier des charges posé amène la nécessité de modéliser l'oscillateur spintronique pour pouvoir simuler et analyser son comportement. Ici, nous proposons une modélisation originale selon des degrés de complexité croissante. Ensuite, nous discutons de la structure de la commande de l'ensemble des oscillateurs afin de remplir les spécifications du cahier des charges. La structure de commande proposée nécessite de développer une méthode de conception des interconnexions du réseau d'après les critères de performance. Dans les deux derniers chapitres, nous proposons deux méthodes fréquentielles de synthèse originales pour résoudre le problème de synthèse de fréquence par couplage. La première méthode de synthèse permet de prendre en compte un critère mathématique du cahier des charges, qui correspond à un gabarit fréquentiel à respecter, et permet d'obtenir une matrice d'interconnexion des sous-systèmes, telle que le module de la réponse fréquentielle du réseau approxime le gabarit imposé par le cahier des charges. La deuxième méthode de synthèse permet de prendre en compte plusieurs gabarits fréquentiels à la fois. La solution obtenue est une matrice d'interconnexion des sous-systèmes, qui résout le problème de la synthèse de fréquence par couplage d'oscillateurs spintroniques.

Des spécificités de la technologie SOI partiellement désertée (PD-SOI), comme son gain en vitesse, et l'isolation diélectrique des transistors, sont intéressantes pour la conception d'interfaces entrées/sorties. Toutefois, l'emploi de cette technologie conduit à des phénomènes indésirables tels que l'effet d'histoire, une consommation statique accrue et l'effet d'auto-échauffement. Dans ce travail, une analyse de ces effets a été menée. L'influence de l'auto-échauffement s'est révélée négligeable. Un schéma électrique employant un mécanisme de polarisation active a été proposé afin de supprimer l'effet d'histoire et de contrôler la consommation statique tout en conservant un gain en vitesse. Le circuit de test, en 65nm PDSOI de STMicroelectronics, montre que la solution proposée permet d'améliorer la gigue du temps de propagation lors d'une transmission. La deuxième partie de ce travail s'intéresse à la technologie SOI totalement désertée (FDSOI). Cette dernière apporte un meilleur contrôle électrostatique des transistors et un degré de liberté supplémentaire en conception par le contrôle de leurs tensions de seuil via la face arrière. Dans un premier temps, cette caractéristique a été validée pour les entrées/sorties sur un circuit fabriqué en 28nm FDSOI de STMicroelectronics. Elle a été ensuite exploitée pour la calibration de l'impédance de sortie d'une interface LPDDR2 et la compensation des fluctuations environnementales. La solution proposée dans ce travail tire profit de la modulation par face arrière pour réaliser la calibration durant la transmission, contrairement à l'état de l'art, ce qui a pour effet d'augmenter la bande passante. / The characteristics of Partially-Depleted SOI (PD-SOI) technology, as its speed improvement and the dielectric isolation of the transistors, turn to be interesting for input/output interface. However, using this technology leads to side effects, such as history effect, higher static consumption and self-heating effect. In this work, an analysis of these effects was carried out. Self-heating appears to be negligible. To address the two other effects, a solution with active body control has been proposed in order to suppress the history effect and to reduce the static consumption while keeping the speed improvement. The test chip, processed in PDSOI 65nm from STMicroelectronics, shows that the proposed solution improves the jitter during transmission. The second part of this work involves Fully-Depleted SOI (FD-SOI) technology. This technology brings a better electrostatic control of transistors and an additional degree of freedom for circuit design, thanks to threshold voltage control through back biasing. First, this feature has been validated on input/output circuit processed in FD-SOI 28nm from STMicroelectronics. Then, back biasing has been exploited for output impedance calibration and for environmental fluctuation compensation, based on LPDDR2 standard. The proposed solution in this work takes benefit of the impedance modulation through back biasing in order to perform the calibration during transmission, as opposed to the state-of-the-art techniques. Thus, the overall communication data rate increases.

Cette thèse vise à développer les opportunités et conséquences d’une demande incertaine pour le réseau de transport de gaz. Ce sujet est décliné en quatre contributions. Les deux premières adoptent une perspective de long terme : on cherche à évaluer l’efficacité de la réglementation du taux rendement lorsqu’il s’agit d’inciter à la réalisation de projets d’infrastructures gazières dans des pays en développement. Une première contribution analytique présente le développement d’une représentation simplifiée du réseau de transport de gaz, de forme Cobb-Douglas. Inspiré par les projets d’acheminement de gaz naturel au Mozambique, celle-ci est ensuite utilisée pour évaluer dans quelles conditions il est possible pour une autorité de régulation de choisir un taux de rendement régulé qui améliore l’efficacité du système dans le cas où la demande réelle serait plus importante que la demande anticipée par la firme régulée. A moyen terme ensuite, l’efficacité face à une demande de plus en plus variable de la structure tarifaire actuelle dite « entrée-sortie » pour l’accès au réseau européen est évaluée. Après avoir démontré l’existence d’inefficacités dans un tel système, celles-ci sont évaluées numériquement. Enfin, la dernière contribution explore la possibilité d’offrir directement la flexibilité du réseau de transport de gaz à ses utilisateurs, dans le cadre d’enchères et du système de prix nodaux. Après avoir souligné la complexité d’un tel mécanisme, les limites à son efficacité sont présentées. A chaque fois, l’analyse repose sur la modélisation simultanée du réseau de transport de gaz (en régime statique ou transitoire) et des mécanismes économiques en jeu. / This PhD thesis is centered on the opportunities and impact of demand uncertainty for the gas transport networks. We study the ability of various market designs to foster an efficient network allocation in liberalized gas markets when demand is variable or uncertain. We introduce and solve operation research models that bind an economic representation of the gas market and its associated regulation, to a technical representation of the gas network. The complex interactions at stake in liberalized gas markets, where shippers trade gas for its economic value and coordinate with system operators that allocate and operate the network, result in MCP or MPEC formulations. While a detailed network representation is necessary to assess the feasibility of gas flows under any market organization, the physics and engineering of gas transport networks adds non-linearities and non-convexities to those already challenging formulations. This thesis is divided in four contributions. We first introduce an approximated network representation of the Cobb-Douglas form and use it to study the impact of long-term demand uncertainty on investment problems in developing markets subject to rate-of-return regulation. We then study the effect of demand variability on daily gas dispatch in the European Entry-Exit system, using a linearized steady-state network representation. Finally, we assess the benefits of introducing flexibility products in gas locational marginal pricing auctions to handle intraday demand uncertainty. This requires the use of a linearized transient network formulation to account for linepack dynamics.