This paper presents an uncertainty quantification analysis of the first fix in a time-differenced carrier phase (TDCP) observation model. TDCP is a widely used method in GNSS-based odometry for precise positioning and displacement estimation. A key point in the TDCP modeling is the assumption that the GNSS receiver's initial position is perfectly known, which is never exactly the case in real-world applications. This study assesses the impact of initial position errors on estimated displacement by formulating a correct TDCP model and a misspecified one, where the first position is not correct. Theoretical derivations provide a generic framework of estimation under the...

A promising innovation path in aircraft design aimed at improving fuel effi- ciency and reducing emissions is the adoption of concepts featuring increased wing aspect ratios. This study investigates the aerostructural optimization of high aspect ratio (HAR) wings using the uCRM-13.5 benchmark and the OpenAeroStruct framework. The impact of model fidelity, objective metrics, analysis methods, and material selection on optimal wing design is examined. Results showed that neglecting viscous and compressibility effects leads to unrealistic designs, with fuel burn underestimated by up to 45%. Mid-fidelity mod- els, which combine a vortex lattice method-based aerodynamic model...

HgTe nanocrystals (NCs) are now an established material for colloidal optoelectronics. In the mid-and far-infrared range, there is to date no viable colloidal alternative material that can emit or detect light with such a high efficiency. Advancements have been rapid, primarily concentrating on the direct application of the narrow bandgap material spectrum in devices. However, certain material properties, such as carrier density, have been suboptimally addressed, despite their critical importance to device design. Therefore, this review aggregates most of the recent developments related to the determination and control of the carrier density with HgTe NCs. The manuscript...

Bigraphs are a formal model for representing (ubiquitous) systems with strong notations of both space, e.g. a person in a room, and non-spatial relations, e.g. mobile phone communication regardless of location. They have been used in a wide range of scenarios including sensor systems, IoT configuration languages, and communications protocol design. While implementations of the bigraph theory exist, e.g. BigraphER, until now, there has been no attempt to formalise the theory in a theorem prover. We show an implementation of the bigraph theory in the Coq theorem prover, including the main bigraph type specification and common manipulation operators, e.g. composition and...

[...]

In this study, a formal framework aiming to drive the interaction between a human operator and a team of unmanned aerial vehicles (UAVs) is experimentally tested. The goal is to enhance human performance by controlling the interaction between agents based on an online monitoring of the operator’s mental workload (MW) and performance. The proposed solution uses MW estimation via a classifier applied to cardiac features. The classifier output is introduced as a human MW state observation in a Partially Observable Markov Decision Process (POMDP) which models the human-system interaction dynamics, and aims to control the interaction to optimize the human agent’s performance...

The gauge equation is a generalization of the conjugacy relation for the Koszul connection to bundle morphisms that are not isomorphisms. The existence of nontrivial solution to this equation, especially when duality is imposed upon related connections, provides important information about the geometry of the manifolds under consideration. In this article, we use the gauge equation to introduce spectral sequences that are further specialized to Hessian structures.

<div><p>The configuration of Field-Programmable Gate Arrays (FPGAs) within the context of command law implementation for aerospace systems is a complex process. In a previous work, we proposed the use of dataflow programming languages as the input for the synthesis process and as an alternative to traditional hardware programming languages. The proposed translation flow has been demonstrated to be faster than current state-of-theart tools while simultaneously offering greater predictability in the inferred hardware component of the design. This paper extends this previous work, addressing identified challenges. A first one is related to the use of a generated circuit to...

This paper introduces a centralized collision avoidance algorithm based on a Differential Evolution, for the purpose of studying the time horizon effect, a pathological behavior previously identified in Detect & Avoid (D&A) decentralized algorithms based on geometric methods. This pathological behavior, called time horizon effect, is most likely to occur during constant-speed encounters, when the lateral maneuvers issued by the D&A system postpone the crossing of trajectories beyond the horizon of conflict detection by maneuvering the flights toward parallel tracks. In such cases, the flights might end up locked on parallel tracks, missing their destination.</p><p>The...