Recent work has shown a convergence between the Human Factors and Formal Methods communities that opens promising new directions for collaborative work in calculating, predicting, and analyzing the behavior of complex aeronautical systems and their operators. Previously it has been shown that fully automatic, finitestate verification techniques can be used to identify likely sources of mode con...

A new nonlinear predictive control law for a class of multivariable nonlinear systems is presented in this paper. It is shown that the closed-loop dynamics under this nonlinear predictive controller explicitly depend on design parameters (prediction time and control order). The main features of this result are that an explicitly analytical form of the optimal predictive controller is given, on-...

Autonomous navigation for Unmanned Air Vehicles (UAVs) is challenging because the instruments used for sensing which are carried on-board should have very less dimensions, weight and power constraints. The developed autopilot navigation system should be robust against any real-world conditions and calculate the performance in any field tests. A GPS module is used that combines a baseband signal...

–In this paper, first the transfer function and block diagram model of a flight path rate demand autopilot (two loop) in pitch plane has been shown and then its state model has been developed. Then state feedback controller has been designed. Thereafter both of Luenberger and Das & Ghosal Observers (DGO) are implemented for the above said two loop autopilot. Finally the system, observer and sta...

This paper presents a trajectory tracking fault-tolerant control strategy inside an autonomous emergency landing architecture to quadrotor in case of partial rotor fault. The proposed architecture, which is composed required hardware and subsystems, aims ensure fully safe the impaired suitable site. controller strategy, tried be coincident with Pixhawk autopilot contains cascade three-loop stru...

This paper considers the control of the longitudinal flight dynamics of an F-16 aircraft. The primary design objective is model-following of the pitch rate q, which is the preferred system for aircraft approach and landing. Regulation of the aircraft velocity V (or the Mach-hold autopilot) is also considered, but as a secondary objective. The problem is challenging because the system is nonline...

In this study, pilots were asked to achieve a specific time in trail while flying an arrival into Louisville International airport. Weather shortly before the start of the descent added variability to the initial intervals. A spacing tool calculated airspeeds intended to achieve the desired time in trail at the final approach fix. Pilots were exposed to four experimental conditions which varied...