The Flap/Slat Controller benchmark is derived from a case study for Airbus [1]. During take-off (and landing) flaps and slats of the aircraft are extended to generate more lift at low velocity and have to be retracted in time as they are not robust enough for high velocities. Our system model is scalable in the number of flaps/slats, which allows us to study scalability of our methods on system...

Aircraft collisions with wildlife (primarily birds) are costly in terms of injury or loss of human life, loss of the animals involved, damage to property and business, and the use of lethal control of wildlife at airports worldwide. One potential nonlethal technique to reduce bird–aircraft collisions—pulsed white and wavelength-specific aircraft-mounted light—has been considered for nearly 3 de...

In order to help determine the required visual frame rate for the design of remote/virtual airport towers, thirteen active air traffic controllers viewed high dynamic-fidelity simulations of landing aircraft and decided whether the aircraft would stop before the end of the runway, as if to be able to make a runway turnoff. The viewing conditions and simulation dynamics replicated visual rates a...

The Aerospace Plane Research Center at the Muroran Institute of Technology is currently conducting research to develop enabling technologies for high-speed aircraft traveling high altitudes and constructing experimental, small-scale, unmanned supersonic called Oowashi as a testbed flight. To confirm control performance aircraft, an experiment using one-third-scale model has been planned. flight...

This project aims at a system for an Unmanned Aerial Vehicle (UAV) following moving targets on ground. The UAV has physical constraints on airspeed and maneuverability. The target however can move freely and in any general pattern. We assume minimum knowledge about the target while navigating the aircraft. The system includes visual tracking of the target with a camera mounted on the UAV. The c...

This thesis presents an assertional-style verification of the aircraft landing protocol of NASA’s SATS (Small Aircraft Transportation System) concept of operation [16] using the timed and untimed I/O automata frameworks. We construct two mathematical models of the landing protocol using the above stated frameworks. First, we study a discrete model of the protocol, in which the airspace of the a...

In the context of aircraft, shimmy is an oscillatory phenomenon of the landing gear mainly due to the tire and the landing gear structural dynamics. This phenomenon which can result in severe damage to the landing gear must be damped. This paper presents a new nose landing gear model including an actuator model and a simple tire/road interface description approximating the Pacejka model to allo...