La gestion du trafic sur les réseaux routiers se heurte aux nouveaux enjeux du développement durable. L'objectif n'est plus seulement de proposer aux usagers des temps de parcours raisonnables. Il faut aussi limiter la consommation énergétique et les émissions des gaz à effet de serre et des polluants qui y sont associées, afin de garantir une meilleure qualité de vie pour les générations actuelle et futures. Les exigences en matière de sécurité routière sont également renforcées et visent à éliminer le nombre de tués sur les routes. Les exploitants ont donc recours à diverses stratégies, souvent innovantes, pour au moins approcher la situation idéale. Néanmoins, si les décideurs disposent d'une plus grande capacité à mettre en œuvre leurs programmes dans le domaine, ils ont également l'obligation d'en évaluer les performances à divers stades. Cette thèse analyse les nouvelles stratégies de gestion des réseaux autoroutiers en identifiant leurs domaines d'application ainsi que leurs impacts potentiels et réels. Les limites des méthodes existantes d'évaluation a priori et/ou a posteriori sont mises en évidence et une nouvelle approche est proposée. Celle-ci associe les trois principaux critères d'une mobilité durable à un seul concept: le niveau de service, largement employé par les exploitants de réseaux. La méthodologie a fait l'objet d'une validation sur différentes opérations. Par ailleurs, se basant sur les résultats obtenus sur un ensemble d'opérations d'affectation variable des voies au niveau européen, la thèse propose un outil d'aide au choix d'une stratégie d'exploitation d'un réseau en fonction de la configuration de l'infrastructure et du niveau de congestion. Cet outil se présente sous la forme d'un catalogue de cas-types applicable au réseau d'Ile-de-France. La nouvelle approche d'évaluation proposée dans cette thèse présente l'intérêt de pouvoir facilement s'intégrer aux outils de simulation du trafic. Les impacts d'une opération d'exploitation routière sur la congestion, la sécurité et l'environnement peuvent ainsi être fournis par ces simulateurs dans le cadre de l'évaluation a priori. L'intégration est également possible au niveau des systèmes des centres de gestion du trafic, pour l'évaluation a posteriori. Par ailleurs, la thèse identifie des pistes potentielles pour des investigations futures. Tout d'abord, la gravité des accidents pourrait être prise en compte dans l'approche d'évaluation proposée, qui considère pour l'instant tous les accidents corporels confondus en raison du manque de données. De même, seules quatre stratégies d'affectation variable des voies sont proposées dans le catalogue de cas-types. Celui-ci pourrait donc être étendu à l'ensemble des opérations d'exploitation en suivant la même méthodologie décrite dans la thèse / Traffic management is facing the new issues of the sustainable development concept. The objective is not only to guarantee acceptable travels times over the networks anymore. Energy consumption as well as associated greenhouse gaz and pollutant emissions must be reduced for a better quality of life for current and future generations. Standards in road safety have also been reinforced and aim at cutting off the number of accident fatalities. Thus, traffic operators use the most innovating strategies. Nevertheless, if decision-makers have greater possibilities to implement their programmes, they also are committed to assess their performance at different stages. This doctoral thesis analyses the new strategies in motorway network management by identifying their respective domains of application as well as their potential and real impacts. Limitations of existing a priori and a posteriori evaluation methods are highlighted and a new approach is proposed. It associates the three main criteria of sustainable mobility to one concept: the level of service, which is widely used by network operators. The methodology is validated on several operations. Besides, based on results obtained from the various lane management operations implemented all accross Europe, the thesis proposes a tool to help in choosing the appropriate strategy according to the motorway layout and congestion level. The tool is presented in the form of a catalog of typical cases for the Ile-de-France motorway network. The new evaluation approach proposed in this thesis may be easily integrated in the available traffic simulation tools. Hence, the impacts of a traffic management operation on congestion, safety and the environment may be obtained as output from those simulators in the framewok of an a priori evaluation. This integration is also possible in the traffic management center systems, for a posteriori evaluations. Besides, the thesis identifies potential subjects for future research. Firstly, accident severity could be considered in the proposed evaluation approach, which takes into account all injury accidents at once by now, due to a lack of data. Likewise, only four manged lane strategies are included in the catalog, which could be extended to all the existing traffic management operations through the same methodology described in the thesis

Le trafic aérien en Europe représente environ 30 000 vols quotidiens actuellement. Selon les prévisions de l’organisme Eurocontrol, ce trafic devrait croître de 70% d’ici l’année 2020 pour atteindre 50 000 vols quotidiens. L’espace aérien, découpé en zones géographiques appelées secteurs de contrôle, atteindra bientôt son niveau de saturation vis-à-vis des méthodes actuelles de planification et de contrôle. Afin d’augmenter la quantité de trafic que peut absorber le système, il est nécessaire de diminuer la charge de travail des contrôleurs aériens en les aidant dans leur tâche de séparation des avions. En se fondant sur les demandes de plans de vol des compagnies aériennes, nous proposons une méthode de planification des trajectoires en 4D permettant de présenter au contrôleur un trafic dont la plupart des conflits auront été évités en avance. Cette planification s’établit en deux étapes successives, ayant chacune un unique degré de liberté : une allocation de niveaux de vol permettant la résolution des conflits en croisière puis une allocation d’heures de décollage permettant de résoudre les conflits restants. Nous présentons des modèles pour ces deux problèmes d’optimisation fortement combinatoires, que nous résolvons en utilisant la programmation par contraintes ou les algorithmes évolutionnaires, ainsi que des techniques permettant de prendre en compte des incertitudes sur les heures de décollage ou le suivi de trajectoire. Les simulations conduites sur l’espace aérien français mènent à des situations où tous les conflits sont évités, avec des retards alloués de l’ordre d’une minute en moyenne (80 à90 minutes pour le vol le plus retardé) et un écart par rapport à l’altitude optimale limité à un niveau de vol pour la quasi totalité des vols. La prise en compte d’incertitudes de manière statique dégrade fortement ces solutions peu robustes, mais nous proposons un modèle dynamique utilisant une fenêtre glissante susceptible de prendre en compte des incertitudes de quelques minutes avec un impact réduit sur le coût de l’allocation. / Air traffic in Europe represents about 30,000 flights each day and forecasts from Eurocontrol predict a growth of 70% by 2020 (50,000 flights per day). The airspace, made up of numerous control sectors, will soon be saturated given the current planification and control methods. In order to make the system able to cope with the predicted traffic growth, the air traffic controllers workload has to be reduced by automated systems that help them handle the aircraft separation task. Based on the traffic demand by airlines, this study proposes a new planning method for 4D trajectories that provides conflict-free traffic to the controller. This planning method consists of two successive steps, each handling a unique flight parameter : a flight level allocation phase followed by a ground holding scheme. We present constraint programming models and an evolutionary algorithm to solve these large scale combinatorial optimization problems, as well as techniques for improving the robustness of the model by handling uncertainties of takeoff times and trajectory prediction. Simulations carried out over the French airspace successfully solved all conflicts, with a mean of one minute allocated delay (80 to 90 minutes for the most delayed flight) and a discrepancy from optimal altitude of one flight level for most of the flights. Handling uncertainties with a static method leads to a dramatic increase in the cost of the previous non-robust solutions. However, we propose a dynamic model to deal with this matter, based on a sliding time horizon, which is likely to be able to cope with a few minutes of uncertainty with reasonable impact on the cost of the solutions.

Telecommunications policy debates concerning the contentious issue of net neutrality have revolved around a number of broadband network operator behaviors, including discriminatory traffic management – differential treatment of network traffic associated with different Internet applications for the purpose of managing performance. Some stakeholders have advocated for regulatory intervention to prevent network operators from discriminating to the detriment of independent application innovation. Others would prefer to rely on competition between network operators to discipline operator behavior. Fixed-line broadband markets in the United Kingdom and the United States have differed substantially with respect to discrimination, competition, and regulation. The UK has experienced intense competition and pervasive discriminatory traffic management without triggering regulatory activity. The US has seen much less discrimination, limited competition, and regulatory threat followed by regulatory intervention. This thesis uses elite interviews, participant observation, and documentary analysis in a comparative study of these two cases between the mid-2000s and 2011 to determine why network operators take up discriminatory traffic management (or not) and how competition and the regulatory environment affect traffic management outcomes. This thesis demonstrates that network operators take up discriminatory traffic management primarily to control cost, performance, or both. Competition promotes rather than deters discrimination because it drives broadband prices down, encouraging operators to manage high-volume applications whose traffic incurs high costs. Regulatory threat can be sufficient to counteract these desires, but in its absence and without concerns vocalized by interest groups, discriminatory approaches endure. Telecommunications regulators intervene to safeguard nondiscrimination when they conceive of their remits as encompassing social and industrial policymaking, are ambivalent about litigation risk, and are driven by their leaders’ reputational agendas, as in the case of the Federal Communications Commission. With a narrower perception of its remit and more concern for its organizational reputation, Ofcom exemplifies the characteristics that inhibit traffic management regulation.

This thesis analyses the programme Single European Sky, which aims to reorganise the air space and to supply navigation and air traffic services in Europe. It describes the current state of implementation in the individual functional blocks of the air space as well as presents Maastricht Upper Area Control.

La gestion des flux de trafic aérien (ATFM) cherche à structurer le trafic de manière à réduire la congestion dans l'espace aérien. La congestion étant causée par les avions volant dans les mêmes portions de l'espace aérien en même temps, l'ATFM organise le trafic dans les dimensions spatiales (ex. le réseau de routes) et dans la dimension temporelle (ex. séquencement et fusion de flux d'avions atterrissant ou décollant aux aéroports). L'objectif de cette thèse est de développer une méthodologie qui permet au trafic aérien de s'auto-structurer dans les dimensions spatiales et temporelle quand la demande est élevée. Cette structuration disparait quand la demande diminue. Pour remplir cet objectif, un système multi-agents a été développé, dans lequel les avions coopèrent pour structurer le trafic. Les systèmes multi-agents possèdent plusieurs avantages, incluant une bonne résilience aux perturbations, la résilience étant la capacité du système à modifier ses décisions de manière à retrouver un état stable après l'occurrence d'une perturbation dans son environnement. Dans ce système, trois algorithmes sont implémentés, visant à réduire la com- plexité du trafic de trois manières différentes. Le premier algorithme permet aux agents avions volant sur un réseau de route de réguler leur vitesse de manière à ré- duire le nombre de conflits, un conflit se produisant quand deux avions ne respectent pas les normes de séparation. Le deuxième algorithme permet aux avions de résoudre les conflits quand le trafic n'est pas structuré par un réseau de routes. Le troisième algorithme crée des réseaux de routes locaux temporaires pour structurer le trafic. Les trois algorithmes implémentés dans ce système multi-agents permet de réduire la complexité globale du trafic, qui devient plus simple à gérer pour les contrôleurs aériens. Ces algorithmes sont appliqués à des exemples réalistes et sont capables de structurer le trafic de manière résiliente. / Air Traffic Flow Management (ATFM) aims at structuring traffic in order to reduce congestion in airspace. Congestion being linked to aircraft located at the same position at the same time, ATFM organizes traffic in the spatial dimension (e.g. route network) and in the time dimension (e.g. sequencing and merging of aircraft flows taking off or landing at airports). The objective of this thesis is to develop a methodology that allows the traffic to self-organize in the time and space dimensions when demand is high. This structure disappears when the demand diminishes. In order to reach this goal, a multi-agent system has been developed, in which aircraft cooperate to structure traffic. Multi-agent systems have several advantages, including a good resilience when confronted with disruptive events, resilience being the ability of the system to adapt its decisions in order to get back to a stable state when confronted to a disruption in its environment. In this system, three algorithms have been implemented, aiming at reducing traffic complexity in three different ways. The first algorithm allows aircraft agents flying on a route network to regulate speed in order to reduce the number of conflicts, a conflict occurring when two aircraft do not respect separation norms. The second algorithm allows aircraft to solve conflicts when the traffic is not structured by a route network. The third algorithm creates temporary local route networks allowing to structure traffic. The three algorithms implemented in this multi-agent system allow to decrease overall traffic complexity, which becomes easier to manage by air traffic controllers. This algorithm was applied on realistic examples and was able to structure traffic in a resilient way.

A evolução de sistemas de gerenciamento de tráfego aéreo é pesquisada para suportar o crescimento na demanda por transporte aéreo. Uma alternativa para essa evolução é o aumento no grau de automação. Os sistemas automatizados precisam ser tão seguros quanto os sistemas em operação atualmente. Com o uso de técnicas de especificação e verificação formal é possível avaliar os requisitos de sistemas. Neste trabalho, é proposto um ciclo de especificação formal, que consiste em um conjunto de diretrizes para aplicação de técnicas de métodos formais em requisitos escritos em linguagem natural. O resultado esperado da aplicação deste ciclo é um conjunto de requisitos escritos em linguagem natural verificados formalmente. O ciclo é composto pelas etapas: levantamento de requisitos do sistema e classificação em padrões de especificação; mapeamento dos requisitos para as linguagens de especificação formal LTL (Linear Temporal Logic) e CTL (Computation Tree Logic); verificação formal da especificação com o verificador NuSMV; ajustes na especificação baseada nos resultados da verificação; ajustes nos requisitos baseados nos ajustes na especificação. As diretrizes propostas são definidas com a análise da verificação formal do Automated Airspace Concept (AAC), padrões de especificação e diretrizes para uso do verificador NuSMV. Os resultados esperados são obtidos na aplicação do ciclo de especificação em dois estudos de caso. A principal contribuição do trabalho é o conjunto de diretrizes para elaboração de expressões escritas em linguagem de especificação formal baseadas em requisitos escritos em linguagem natural e que podem ser verificadas formalmente. / Air traffic management systems evolution is being researched to support air transportation demand growth. An evolution alternative is system automation degree increase. Automated systems need to be as safe as current operating systems. It is possible to analyze system requirements with the application of formal specification and formal verification techniques. In this work, a specification cycle is proposed. The specification cycle is a set of guidelines to use formal method techniques on requirements written in natural language. The specification cycle application expected result is a set of formally verified requirements written in natural language. This cycle is comprised of the following stages: system requirements elicitation and specification pattern classification; requirements mapping to LTL (Linear Temporal Logic) and CTL (Computation Tree Logic) formal specification languages; specification formal verification using the NuSMV verifier; formal specification adjustment based on verification results; requirements adjustment based on formal specification adjustment. The proposed guidelines are defined with the Automated Airspace Concept (AAC) formal verification analysis, specification patterns and guidelines for the NuSMV formal verifier use. The expected results are accomplished in the specification cycle application on two study cases. The main contribution of this work is the set of guidelines applied to formulate formally verifiable expressions specified in formal specification languages based on system requirements written in natural language.

La congestion dans les Terminal Manoeuvring Area (TMA) des aéroports en hub est le principal problème dans le transport aérien chinois. Face au trafic extrêmement dense dans les TMAs, nous pouvons envisager d'automatiser une grande partie des opérations de routine, comprenant la planification, le séquencement et la séparation. Nous proposons dans cette thèse un nouveau système automatisé de séquencement des avions et de fusion des flux vers des pistes parallèles, qui sont utilisées dans la plupart des aéroports chinois. Notre méthodologie intègre un réseau de route 3D nommé Multi-Level and Multi-Point Merge System (MLMPMS) basé sur le concept de l'Area Navigation (RNAV) et un algorithme d'optimisation heuristique hybride pour trouver une solution correcte, opérationnellement acceptable. Un algorithme de Simulated Annealing (SA) spécifique et un module de génération de trajectoire collaborent pour rechercher la solution quasi optimale. Notre objectif est de générer en temps réel des trajectoires sans conflit, minimisant la consommation de carburant et permettant des méthodes de contrôle faciles et flexibles. Dans ce but, nous explorons en permanence les solutions possibles avec le moins de retard et assuront l'atterrissage le plus rapide. Nous déterminons quatre variables de décision pour contrôler chaque vol : l'heure et la vitesse d'entrée dans la TMA, le temps de vol sur l'arc de séquencement et le choix de la piste utilisée. La simulation de trajectoire dans les différentes phases de vol est basée sur le modèle de performances BADA. Dans le cas de l'aéroport de Beijing Capital International Airport (BCIA), les résultats numériques montrent que notre système d'optimisation de bonnes performances sur le séquencement et la fusion des trajectoires. Tout d'abord, il permet d'assurer des performances de résolution conflit très stables pour gérer les flux de trafic continuellement denses. Par rapport à l'algorithme Hill Climbing (HC), le SA peut toujours trouver une solution sans conflit, non seulement pour l'approche parallèle mixte ou séparée~(pour les arrivées), mais aussi pour les configurations parallèles indépendantes~ (départs et arrivées intégrés). Ensuite, avec un réseau d'itinéraires Multi-Level Point Merge (ML-PM) unique, il peut fournir une bonne solution de contrôle de la trajectoire pour traiter efficacement et économiquement différents types de flux d'arrivée. Il peut réaliser un temps de vol plus court et une descente vers le bas en Continuous Descent Approach (CDA) pour l'avion d'arrivée. Il peut réaliser un re-séquencement plus facile des avions avec un déplacement de position plus relâché. Théoriquement, les Maximum Position Shifting (MPS) peuvent atteindre 6 positions, surpassant la contrainte difficile de 3 positions. Troisièmement, l'algorithme montre son efficacité dans un modèle d'approche parallèle séparé avec une capacité de séquencement plus relâché. Par rapport au décalage de position forcé dur, qui est souvent utilisé dans le système actuel Arrival Manager (AMAN) et la méthode First Come First Served (FCFS) utilisé par les contrôleurs, il peut réduire le délai et le temps de transit moyens dans une situation d'arrivée très dense. Le palier par vol est inférieur à 12\% du temps de transit total dans la TMA. Quatrièmement, en configuration parallèle indépendant, il peut fournir des informations différentes concernant la valeur objectif associée, le temps de vol moyen, les trajectoires de croisement en point chaud entre les arrivées et les départs, l'efficacité avec différents arcs de séquencement conçus dans le réseau de route ML-PM etc.. / Congestion in Terminal Manoeuvring Area (TMA) at hub airports is the main problem in Chinese air transportation system. Facing extremely dense operations in complex TMA, we can consider reducing traffic complexity by solving all potential conflicts in advance with a feasible trajectory control for controllers, or automating a large proportion of routine operations, such as sequencing, merging and spacing. As parallel runways are a common structure of Chinese hub airports, in this thesis, we propose a novel system to integrated sequencing and merging aircraft to parallel runways. Our methodology integrates a Area Navigation (RNAV)-based 3D Multi-Level and Multi-Point Merge System (MLMPMS), a hybrid heuristic optimization algorithm and a simulation module to find good, systematic, operationally-acceptable solutions. First, a Receding Horizon Control (RHC) technique is applied to divide 24-hour traffic optimization problem into several sub- problems. Then, in each sub-problem, a tailored Simulated Annealing (SA) algorithm and a trajectory generation module worn together to find a near-optimal solution. Our primary objective is to rapidly generate conflict-free and economical trajectories with easy, flexible and feasible control methods. Based on an initial solution, we continuously explore possible good solutions with less delay and shorter landing interval on runway. Taking Beijing Capital International Airport (BCIA) as a case to study, numerical results show that our optimization system performs well. First, it has very stable de-conflict performance to handle continuously dense traffic flows. Compared with Hill Climbing (HC), the tailored SA algorithm can always guarantee a conflict-free solution not only for the mixed or segregated parallel approach (arrivals only) pattern, but also for the independent parallel operation (integrated departures and arrivals) pattern. Second, with its unique Multi-Level Point Merge (ML-PM) route network, it can provide a good trajectory control solution to efficiently and economically handle different kinds of arrival flows. It can realize a shorter flying time and a near-Continuous Descent Approach (CDA) descent for arrival aircraft, compared with baseline. It also realizes an easier re-sequencing of aircraft with more relaxed position shifting as well, compared with conventional sequencing method. Theoretically, the Maximum Position Shifting (MPS) can be up to 6 positions, overcoming the hard constraint of 3 position shifts (MPS <= 3). Third, it is efficient for the segregated parallel approach patterns. Compared with hard constrained position shifting, which is often used in current Arrival Manager (AMAN) system and controller's manual-control First Come First Served (FCFS) method, it can reduce the average delay, average additional transit time in super dense arrival situations. The average time flown level per flight is less than 12% of total transit time in TMA. Fourth, in independent parallel patterns, it can provide a range of useful information concerning the associated objective value, the average flying time, crossing trajectories in hot spots between arrivals and departures, the efficiency of using different designed sequencing legs in ML-PM route network.

Emergency landing is a critical safety mechanism for aerial vehicles. Commercial aircraft have triply-redundant systems that greatly increase the probability that the pilot will be able to land the aircraft at a designated airfield in the event of an emergency. In general aviation, the chances of always reaching a designated airfield are lower, but the successful pilot might use landmarks and other visual information to safely land in unprepared locations. For small unmanned aircraft systems (sUAS), triply- or even doubly-redundant systems are unlikely due to size, weight, and power constraints. Additionally, there is a growing demand for beyond visual line of sight (BVLOS) operations, where an sUAS operator would be unable to guide the vehicle safely to the ground. This thesis presents a machine vision-based approach to emergency landing for small unmanned aircraft systems. In the event of an emergency, the vehicle uses a pre-compiled database of potential landing sites to select the most accessible location to land based on vehicle health. Because it is impossible to know the current state of any ground environment, a camera is used for real-time visual feedback. Using the recently developed Recursive-RANSAC algorithm, an arbitrary number of moving ground obstacles can be visually detected and tracked. If obstacles are present in the selected ditch site, the emergency landing system chooses a new ditch site to mitigate risk. This system is called Safe2Ditch.

Ramp metering is an effective management strategy, which helps to keep traffic density below the critical value, preventing breakdowns and thus maintaining the full capacity of the freeway. Warrants for ramp metering installation have been developed by a number of states around the nation. These warrants are generally simple and are based on the traffic, geometry, and safety conditions in the immediate vicinity of each ramp (local conditions). However, advanced applications of ramp metering utilize system-based metering algorithms that involve metering a number of on-ramps to address system bottleneck locations. These algorithms have been proven to perform better compared to local ramp metering algorithms. This has created a disconnection between existing agency metering warrants to install the meters and the subsequent management and operations of the ramp metering. Moreover, the existing local warrants only consider recurrent conditions to justify ramp metering installation with no consideration of the benefits of metering during non-recurrent events such as incidents and adverse weather. This dissertation proposed a methodology to identify the ramps to meter based on system-wide recurrent and non-recurrent traffic conditions. The methodology incorporates the stochastic nature of the demand and capacity and the impacts of incidents and weather using Monte Carlo simulation and a ramp selection procedure based on a linear programming formulation. The results of the Monte Carlo simulation are demand and capacity values that are used as inputs to the linear programming formulation to identify the ramps to be metered for each of the Monte Carlo experiments. This method allows the identification of the minimum number of ramps that need to be metered to keep the flows below capacities on the freeway mainline segment, while keeping the on-ramp queues from spilling back to the upstream arterial street segments. The methodology can be used in conjunction with the existing local warrants to identify the ramps that need to be metered. In addition, it can be used in benefit-cost analyses of ramp metering deployments and associated decisions, such as which ramps to meter and when to activate in real-time. The methodology is extended to address incidents and rainfall events, which result in non-recurrent congestion. For this purpose, the impacts of non-recurrent events on capacity and demand distributions are incorporated in the methodology.

Au cours des dernieres decennies, la demande de trafic au niveau des aeroports a augmente regulierement a tel point que le trafic au sol est devenu critique pour la securite et l'efficacite des operations aeroportuaires. Cette these propose une approche a deux niveaux pour l'analyse et l'optimisation du trafic avion au sol sur les aeroports. Elle est divisee en trois parties: - La premiere partie introduit la problematique generale et son environnement - La deuxieme partie traite la gestion a moyen terme du trafic au sol des avions. Une approche globale pour estimer la capacite theorique et la capacite pratique du trafic avion est proposee. Celle-ci met en Suvre une approche d'optimisation du flux dans un reseau qui conduit a la formulation de differents problemes de programmation mathematique - La troisieme partie traite du niveau tactique et une approche adaptative est developpee pour definir les routes et les horaires associes aux mouvement d'arrivee ou de depart des avions. Une approche de resolution operationnelle est alors proposee.