Archives Ouvertes HAL
Toutes les publications de l'ENAC en direct.
All ENAC publications.
[hal-05665303] Investigation on New Fuzzing Techniques to Address Navigation System Testing
Fuzz testing is a method used in software testing that involves inputting random or unexpected data into a system to identify vulnerabilities. Unlike deterministic methods, which test performance under controlled and predictable conditions, fuzz testing introduces variability to uncover hidden issues. This variability simulates real-world scenarios, uncovering weaknesses that might otherwise remain unnoticed. For instance, fuzz testing can effectively reveal how GNSS receivers respond to rapid signal fluctuations and other anomalous behaviors, situations often overlooked by standard tests. Unlike traditional methods that rely on predefined inputs, Collins Aerospace works...
[tel-05664940] Une approche pragmatique dans la définition de scénarios énergétiques visant à décarboner le transport aérien
Face au réchauffement climatique et à la dépendance aux énergies fossiles, cette thèse s’intéresse à la décarbonation du transport aérien. Elle propose une méthodologie visant à évaluer les besoins en énergie et en matières premières liés à l’introduction d’avions bas carbone et à l’usage de vecteurs alternatifs tels que les électrocarburants, biocarburants, hydrogène ou électricité. La première partie de cette thèse a mis en évidence les avantages et les défis technologiques propres à chaque vecteur énergétique. Des modèles de production ont ensuite été développés afin de quantifier les besoins énergétiques associés, révélant que l’électrocarburant est le plus énergivore...
[hal-05664692] Uncovering commuting flows in Bike Sharing Systems
Drawing on the observed regularity of typical trips, this study proposes a method for identifying commuting patterns without using the individual identifiers of public bike-share users. The approach combines an analysis of trip duration distributions, mixture models and logistic regression based on the posterior probabilities of belonging to the ‘fast’ and ‘typical’ journey categories.
[hal-05664654] A Flow-Centric Approach for Network-Level ATFM Delay Optimization and Hotspot Resolution Using Hierarchical Monte Carlo Tree Search
<div><p>In European Air Traffic Flow Management (ATFM) operations, local Flow Management Positions (FMPs) propose regulations to handle regional traffic imbalances. However, because these solutions are designed locally, they often relieve congestion in one area only to push the bottleneck elsewhere in the network. To solve this cascading effect, a shift must be made from localized fixes to network-wide impact management.</p><p>To address these challenges, the DeepFlow project, an exploratory research project developed under the SESAR Joint Undertaking, targets dynamic air traffic flow configuration for flow-centric airspace management. Contributing to this initiative...
[hal-05664647] Feudal Hierarchical Multi-Agent Reinforcement Learning for Cooperative Conflict Management in Sectorized Airspace
<div><p>The sustained growth of air traffic demand is pushing conflict management toward high-density, tightly coupled airspace operations, where both within-sector traffic interactions and inter-sector dependencies, together with evolving constraints such as weather, significantly restrict local decision making. In sectorized airspace, locally optimal conflict resolutions inside a sector may propagate congestion across sector boundaries and create new potential conflicts for aircraft in neighboring sectors, resulting in network-wide inefficiencies and elevated operational risk. Existing geometric methods, centralized optimization frameworks, and flat multi-agent...
[hal-05664630] A Flight-Centric Decision Support Framework for Tactical Airspace Congestion Mitigation under Multi-Scale Traffic Volume Constraints
<div><p>Tactical congestion management in European Air Traffic Flow and Capacity Management (ATFCM) relies on Monitorable Traffic Volumes (MO TFVs), whose capacities are evaluated over fixed monitoring windows. However, congestion often arises from short-term clustering of flight entry events that may not be fully captured by aggregated capacity monitoring intervals. This paper proposes a flight-centric framework that links individual flight entry dynamics with operational TFV monitoring through a multi-scale temporal representation. The approach constructs a trajectory-informed decision space derived from historically observed sector sequences, providing operationally...
[hal-05661369] Structure-Guided Optimization of Novel Inhibitors of Plasmodium Lysyl-tRNA Synthetase with Multistage Activity against Malaria Parasites
A fused dihydropyrrolidino-pyrimidine hit with low lipophilicity and excellent ligand efficiency was identified in a biochemical screen of the Global Health Chemical Diversity Library (GHCDL) against Plasmodium lysyl-tRNA synthetase (KRS). Structure-guided lead optimization delivered analogues with potent parasite growth inhibition, excellent biochemical and cellular selectivity (>1000-fold), and oral efficacy in the malaria NOD-scid-IL2Rγnull (SCID) mouse model. Structural information and computational methods were deployed to identify a potent and selective basic KRS inhibitor (30) with an extended half-life to reduce the dose regimen to a single-dose cure. Compound 30...
[tel-05651487] Lissage dans les groupes de Lie avec application à l'estimation de positions
La régression statistique appliquée à des données appartenant à des espaces non euclidiens suscite un grand intérêt depuis de nombreuses années. La structure géométrique particulière de ces espaces implique l'adaptation des outils statistiques habituels. L'approche géométrique permet d'étudier les données de façon intrinsèque, en s'affranchissant de l'espace ambiant. Les applications en sont multiples : traitement du signal, détection radar, imagerie médicale, météorologie, trajectographie, vision par ordinateur par exemple.Dans ce contexte, ce travail propose une modélisation de l'état d'un mobile comme élément d'un groupe de Lie en décrivant la cinématique. Un...
[hal-05657066] Robotique de téléprésence pour enfants empêchés : regards croisés et perspectives
La robotique de téléprésence permet d'accéder à un lieu distant et d'y interagir socialement à travers un robot mobile. Particulièrement adaptée pour l'inclusion de personnes empêchées, elle est pour autant freinée dans son déploiement en raison de problématiques d'utilisabilité. Afin de réfléchir à des solutions, le workshop « Innovations et enjeux de la robotique de téléprésence francophone » a été conduit le 4 Novembre 2025 dans le cadre de la 36ème Conférence Internationale Francophone sur l'Interaction Humain-Machine (IHM 2025) à Toulouse. A partir de deux cas d'études français (le projet TED-i et le projet Buddy Guard), les participants ont débattu autour de quatre...
[hal-05655544] Inter-Faces as a Medium: From Sur-Faces to Trans-Faces—A Conceptual Framework and Design Cards to Frame Interaction Spaces
We propose the concept of “transface” that defines interaction as a traversal for both surface-bound and surface-free interfaces. The transface concept considers an “inter-face” not as an object but as a relation, a medium, that defines interaction. A transface has five dimensions: alterity (1) because, as a medium, the transface establishes a relation with something other than itself, and the operations (2) it enables. Being a relation, a transface is perceived only by these three effects: as a traversable (3) with flows (4) that traverse it, providing a traversal experience (5). We present an exploration of the transface concept with concrete examples from the...