This paper examines feasibility and performance issues in using Control Moment Gyroscopes (CMGs) to control the attitude of a fixed-wing aircraft. The paper describes a control system structure that permits allocating control authority and bandwidth between a CMG system and conventional aerodynamic control surfaces to stabilize a vehicle with neutral aerodynamic stability. A simulation study ex...

Abstract A control system verification framework is presented for unmanned aerial vehicles using theorem proving. The framework’s aim to set out a procedure proving that the mathematically designed of aircraft satisfies robustness requirements ensure safe performance under varying environmental conditions. Extensive mathematical derivations, which have formerly been carried manually, are checke...

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

Adaptive flight control is a potentially promising technology that can improve aircraft stability and maneuverability. In recent years, adaptive control has been receiving a significant amount of attention. In aerospace applications, adaptive control has been demonstrated in many flight vehicles. For example, NASA has conducted a flight test of a neural net intelligent flight control system on ...