Archives Ouvertes HAL

Toutes les publications de l'ENAC en direct.
All ENAC publications.

[hal-02389817] Build Your Own Hercules : une interface tangible de choix de parcours de visites personnalisées au musée

Publications ENAC - Mercredi, 22 janvier 2020 - 16:58:49
Dans cette démonstration, nous présentons « Build your own Hercules ». Ce système tangible de type token+constraint permet aux visiteurs d’un musée d’indiquer leurs caractéristiques et leurs envies afin de choisir une visite personnalisée. Nous avons conçu ce système en collaboration avec le musée Saint-Raymond de Toulouse, qui a accueilli une étude pilote du prototype.

[hal-02435248] External and internal wave functions: de Broglie's double-solution theory ?

Publications ENAC - Mardi, 14 janvier 2020 - 02:27:06
We propose an interpretative framework for quantum mechanics corresponding to the specifications of Louis de Broglie's double-solution theory. The principle is to decompose the evolution of a quantum system into two wave functions: an external wave function corresponding to the evolution of its center of mass and an internal wave function corresponding to the evolution of its internal variables in the center-of-mass system. Mathematical decomposition is only possible in certain cases because there are many interactions linking these two parts. In addition, these two wave functions will have different meanings and interpretations. The external wave function "pilots...

[hal-02388280] Noise Abatement Trajectories for a UAV Delivery Fleet

Publications ENAC - Mercredi, 18 décembre 2019 - 18:48:37
The use of unmanned aerial vehicles (UAV) for package delivery is one potential solution for resolving the last-mile delivery problem. And despite their potential benefits, UAV delivery fleets are concerning to communities due to their potential noise impact. In response to noise concerns this paper seeks to reduce impact of a UAV delivery-fleet on communities by generating an optimized set of noise-conscience trajectories. Through simulation, we demonstrate that by optimizing flight trajectories it is possible to significantly limit their overall impact to communities with only a marginal increase in energy/fuel costs.

[hal-02388307] Data-driven Conflict Detection Enhancement in Closest Point of Approach Problem

Publications ENAC - Mardi, 17 décembre 2019 - 17:05:05
Closest Point of Approach (CPA) is one of the main problems in aircraft Conflict Detection (CD). It aims to find out the minimum distance and the associated time between two aircraft. Conventional CPA calculation algorithm generally assumes that the speed and heading of aircraft are constant. But the uncertainties in real operational scenarios lead to inaccuracy of CPA calculation. This project presents a novel data-driven CD framework with Machine Learning (ML) algorithms. The proposed framework provides a promising solution for improving the CPA prediction accuracy with the help of real trajectory data. It contributes to not only reduce the number of fault Short-mid...

[hal-02388307] Data-driven Conflict Detection Enhancement in Closest Point of Approach Problem

Publications ENAC - Mardi, 17 décembre 2019 - 02:50:51
Closest Point of Approach (CPA) is one of the main problems in aircraft Conflict Detection (CD). It aims to find out the minimum distance and the associated time between two aircraft. Conventional CPA calculation algorithm generally assumes that the speed and heading of aircraft are constant. But the uncertainties in real operational scenarios lead to inaccuracy of CPA calculation. This project presents a novel data-driven CD framework with Machine Learning (ML) algorithms. The proposed framework provides a promising solution for improving the CPA prediction accuracy with the help of real trajectory data. It contributes to not only reduce the number of fault Short-mid...

[hal-02364845] A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops

Publications ENAC - Jeudi, 5 décembre 2019 - 11:04:04
Our research team is specialized in human-computer systems and their engineering, with focus on interactive software systems for aeronautics (from cockpits to control towers). This context stands out by the need for certification, such as DO-178 or ED-12. Today, formal methods are pushed forward, as one of the best tools to achieve the verification and validation of properties, leading to the certification of these systems. Interactive systems are reactive computer systems that process information from their environment and produce a representation of their internal state. They offer new rich interfaces with sophisticated interactions. Their certification is a challenge...

[hal-02390125] Sum-of-squares Flight Control Synthesis for Deep-stall Recovery

Publications ENAC - Jeudi, 5 décembre 2019 - 02:35:38
In lieu of extensive Monte-Carlo simulations for flight control verification, sum-of-squares programming techniques provide an algebraic approach to the problem of nonlinear control synthesis and analysis. However, their reliance on polynomial models has hitherto limited the applicability to aeronautical control problems. Taking advantage of recently proposed piecewise polynomial models, this paper revisits sum-of-squares techniques for recovery of an aircraft from deep-stall conditions using a realistic yet tractable aerodynamic model. Local stability analysis of classical controllers is presented as well as synthesis of polynomial feedback laws with the objective of...

[hal-02390130] Local stability analysis for large polynomial spline systems

Publications ENAC - Jeudi, 5 décembre 2019 - 02:35:38
Polynomial switching systems such as multivariate splines provide accurate fitting while retaining an algebraic representation and offering arbitrary degrees of smoothness; yet, application of sum-of-squares techniques for local stability analysis is computationally demanding for a large number of subdomains. This communiqué presents an algorithm for region of attraction estimation that is confined to those subdomains actually covered by the estimate, thereby significantly reducing computation time. Correctness of the results is subsequently proven and the run time is approximated in terms of the number of total and covered subdomains. Application to longitudinal...

[hal-02386102] Doorway to the United States: An Exploration of Customs and Border Protection Data

Publications ENAC - Mercredi, 4 décembre 2019 - 02:22:57
This paper presents a data-driven study of wait time patterns for international arriving passengers across all 61 terminals from the 44 airports of entry of the United States. Each airport is an independent entity which operates with various airlines and handles demand volumes differently. This induces seasonal variation in service quality from one airport to another. Exploring six years worth of data, this paper investigates the current and long-term performance trends-an increasing number of flights versus a decreasing number of customs booths-of all airports of entry from a passenger perspective. A performance analysis is then conducted that compares average wait...
Back to top