Archives Ouvertes HAL
Toutes les publications de l'ENAC en direct.
All ENAC publications.
[hal-04314279] Multi-Vehicle Simulation Framework for Heterogeneous Unconventional MAVs
The growing interest in using aerial vehicles for diverse missions creates the need for higher autonomy and dexterity. Unconventional configurations can potentially satisfy such requirements, at a cost of new challenges in design and control. Simulation environments are often employed to tackle such challenges while minimizing resources expenditure. In this paper, an existing simulation framework has been extended to allow for the modeling of new UAV configurations. Aerodynamic forces and moments generated by propellers and airframes are defined in separate functions to ease the understanding and allow future addition of new vehicle configurations. Incremental nonlinear...
[hal-04303816] Attentional switch to memory: An early and critical phase of the cognitive cascade allowing autobiographical memory retrieval
Remembering and mentally reliving yesterday's lunch is a typical example of episodic autobiographical memory retrieval. In the present review, we reappraised the complex cascade of cognitive processes involved in memory retrieval, by highlighting one particular phase that has received little interest so far: attentional switch to memory (ASM). As attention cannot be simultaneously directed toward external stimuli and internal memories, there has to be an attentional switch from the external to the internal world in order to initiate memory retrieval. We formulated hypotheses and developed hypothetical models of both the cognitive and brain processes that accompany ASM. We...
[tel-04301476] Contribution to the organization of ground handling management at airports
The increase of the world air traffic growth of the last decades has generated a permanent challenge for civil aviation authorities, airlines and airports to supply sufficient capacity to provide a safe transportation service with acceptable quality standards. New traffic management practices, such as A-CDM, based on multi-agent and collaborative decision making concepts have been introduced at airports. However, within the turnaround process of aircraft at airports, ground handling management of aircraft has not been developed specifically in the A-CDM approach, even if it has an important role in the fluidity of aircraft operations at airports. The main objective of...
[hal-04292681] Optimizing air-rail travel connections: A data-driven delay management strategy for seamless passenger journeys
In the world of modern travel, where multimodal trips are becoming increasingly common, flight or train delays can jeopardise passengers' journeys by threatening connections. To address this issue, we present a delay management strategy on a multimodal network that involves seamless collaboration between air and rail transportation stakeholders. The objective is to minimise the total delay experienced by passengers at their final destination by rescheduling flights and trains at a tactical level. The decision whether to hold a train or a flight for connecting passengers depends on the available re-accommodation options. We propose an integer linear programming formulation...
[hal-04291863] Hidden Markov Models and Flight Phase Identification
The use of Hidden Markov Models (HMMs) in segmenting flight phases is a compelling approach with significant implications for aviation and aerospace research. It leverages the temporal sequences of flight data to delineate various phases of an aircraft's journey, making it a valuable tool for enhancing the analysis of flight performance and safety. In this work, we implement a multivariate HMM to identify 6 flight phases: taxi, takeoff, climb, cruise, approach and rollout. We reach a median global accuracy of about 97% over a sample of several thousand flights with a very low number of decoded unlikely transitions. Regarding several performance metrics, our method is...
[hal-03790499] Towards a User Interface Description Language Based on Bigraphs
User interface description languages (UIDL) are high-level languages allowing to model user interfaces (UI). Their purpose is to ease the design of UIs. They are widely used, including to develop critical interactive systems. Nevertheless, the problem of verifying systems developed with UIDLs is barely addressed in the literature. The first step is to provide a formal semantics using an appropriate theory. We claim that the bigraphs theory is a good candidate theory. In this short paper, presenting a work in progress, we introduce the common features of UIDLs and show how bigraphs could be used to define UIDLs semantics and help with UI verification.
[tel-04279219] Optimization of demodulation performance of the GPS and GALILEO navigation messages
The demodulation performance achieved by any of the existing GPS signals, L1 C/A, L2C or L5, is satisfactory in open environments where the available C/N0 is quite high. However, in indoor/urban environments, the C/N0 level of the received signal is often very low and suffers fast variations which can further affect the GNSS messages demodulation. Therefore, since the mass-market applications being designed nowadays are aimed at these environments, it is necessary to study and to search alternative demodulation/decoding methods which improve the GNSS messages demodulation performance in these environments. Moreover, new GNSS signals recently developed, such as GPS L1C and...
[hal-04278611] ROLLO
ROLLO is a compilation of three candidates to NIST's competition for post-quantum cryptography standardization. They are based on rank metric codes and they share the same decryption algorithm for LRPC codes (see Sec.1). Rank-Ouroboros (formerly known as Ouroboros-R) and LAKE are IND-CPA KEM running in the category "post-quantum key exchange". LOCKER is an IND-CCA2 PKE running in the category "post-quantum public key encryption". Different sets of parameters for these three cryptosystems are proposed for security strength categories 1, 3, and 5. For clarification reasons, we have chosen to uniformize the name of our protocols. In