An adaptive backstepping controller is designed for the automatic landing of a fixed-wing aircraft. The backstepping control scheme is adopted by using the nonlinear six degree-of-freedom dynamics of the aircraft during the landing phase. The adaptive law is integrated along with the backstepping controller in order to estimate the aircraft modeling errors as well as the external disturbance. T...

Situational awareness and decision-making are necessary to identify and select the optimal set of mutually non-exclusive hypothesis in order to maximize mission success by adapting system behavior accordingly. This paper presents a hierarchical and decentralized approach for integrated damage assessment and trajectory re-planning in aircraft with uncertainties in navigational decision-making. A...

The dynamic response of an integrated aircraft-floating structure-water interaction system excited by the impact of a landing aircraft is investigated. The aircraft and the floating structure are considered 2 elastic substructures, and the water is treated as a fluid subdomain. The landing gears of the aircraft are modeled by 3 supporting systems, each consisting of a spring and a damper. A mix...

Contrary to the popular views, air travel has been the safest compared to other surface transportation (automobile & railroad) in terms of casualty of passengers. This is mainly due to the vigilant pursuit of safety margin in the design of Air Traffic Control and Navigation (ATCN) system. However, the rising demand of air travels requires us to review the safety factor affecting all phases of a...

Air traffic management has become increasingly complex due to the increasing use of air transport. One main bottlenecks is planning efficient runways for takeoff and landing. This paper aims investigate Aircraft Landing Problem, which seeks minimize earliness tardiness in aircraft landing time, assigning them a runway land sequencing them. A new mathematical formulation based on Job Shop was pr...

We introduce the MULTI-INTER-DISTANCE constraint that ensures no more than m variables are assigned to values lying in a window of p consecutive values. This constraint is useful for modelling scheduling problems where tasks of processing time p compete for m identical resources. We present a propagator that achieves bounds consistency in cubic time. Experiments show that this new constraint of...

When genetic algorithms (GAs) are applied to combinatorial problems, permutation representations are usually adopted. As a result, such GAs are often confronted with feasibility and memory-efficiency problems. With the aircraft sequencing problem (ASP) as a study case, this paper reports on a novel binary-representation-based GA scheme for combinatorial problems. Unlike existing GAs for the ASP...

This paper presents an assertional-style verification of the aircraft landing protocol of NASA’s SATS (Small Aircraft Transportation System) concept [1] using the I/O automata framework and the PVS theorem prover. We reconstructed the mathematical model of the landing protocol presented in [2] as an I/O automaton. In addition, we translated the I/O automaton into a corresponding PVS specificati...

We address a dynamic repair shop scheduling problem in the context of military aircraft fleet management where the goal is to maintain a full complement of aircraft over the longterm. A number of flights, each with a requirement for a specific number and type of aircraft, are already scheduled over a long horizon. We need to assign aircraft to flights and schedule repair activities while consid...