For hypersonic-vehicle fairing separation, the reliable separation of and rapid suppression disturbance are required in scenarios where there is high dynamic pressure abrupt changes aerodynamic shape aircraft as well overall parameters. A switching-based control method proposed this paper for interference aiming to ensure stability system cases controlled object. First, an unsteady-flow calcula...

Air Traffic Management (ATM) of the future allows for the possibility of free flight, in which aircraft choose their own optimal routes, altitudes, and velocities. The safe resolution of trajectory conflicts between aircraft is necessary to the success of such a distributed control system. In this paper, we present a method to synthesize provably safe conflict resolution maneuvers. The method m...

Air Traac Management (ATM) of the future allows for the possibility of free ight, in which aircraft choose their own optimal routes, altitudes, and velocities. The safe resolution of trajectory connicts between aircraft is necessary to the success of such a distributed control system. In this paper, we present a method to synthesize provably safe connict resolution maneuvers. The method models ...

Air Traac Management (ATM) of the future allows for the possibility of free ight, in which aircraft choose their own optimal routes, altitudes, and velocities. The safe and fair resolution of trajectory connicts between aircraft is necessary to the success of such a distributed control system. In this paper, we propose a method to synthesize provably safe connict resolution maneuvers. The metho...

The United States is in the process of commissioning new consolidated Terminal Radar Approach Control (TRACON) facilities to serve large complex terminal areas. In addition to receiving surveillance data from radars formerly serving each individual TRACON, the consolidated TRACON facilities will receive surveillance data from all available sensors in the area including long-range en route radar...

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...

When an airliner and a Remotely Piloted Air System (RPAS) have conflicting courses that may compromise the minimum safety separation between them, how much in advance should the RPAS start the separation manoeuvre? Which is the optimal heading change that will guarantee the desired separation distance with a minimum reaction time? These same questions can be asked if it is the airliner that per...

Unmanned aircraft systems will be required to equip with a detect-and-avoid (DAA) system in order to satisfy the federal aviation regulations to remain well clear of other aircraft. For a DAA system to satisfy the requirement to stay well clear of other airborne traffic, a quantitative definition of well clear needs to be defined and evaluated. This study investigates the implications of UAS us...