Field trial is very critical and high risk in autonomous UAV development life cycle. Hardware in the loop (HIL) simulation is a computer simulation that has the ability to simulate UAV flight characteristic, sensor modeling and actuator modeling while communicating in real time with the UAV autopilot hardware. HIL simulation can be used to test the UAV autopilot hardware reliability, test the c...

An autopilot is a mechanical, electrical, or hydraulic system used to guide an aerial vehicle without assistance from a human being. It also maintains the orientation of the plane by monitoring the relevant flight data from inertial measurement instruments and then using that data to cause corrective actions. In this project an attempt has been made to design, implement and develop an autopilot...

This paper presents an introduction to capturing software requirements in the PVS formal language. The object of study is a simpli ed digital autopilot that was motivated in part by the mode control panel of NASA Langley's Boeing 737 research aircraft. The paper rst presents the requirements for this autopilot in English and then steps the reader through a translation of these requirements into...

This research describes a Hardware in the Loop Simulator (HILS) that was developed to enhance the quality of attitude data received from autopilots. The described system aided in adjusting the contribution of individual IMU sensors and thereby improved the accuracy of IMU data. The HILS system outlined in this research is a gimbaled platform equipped with four stepper motors and two optical sha...

The application of a new nonlinear robust control strategy to the design of missile autopilots is presented. The control approach described and demonstrated here is based upon the numerical solution of the Hamilton-Jacobi-Isaacs equation by Successive Galerkin Approximation. Using this approach, feedback controllers are computed by an iterative application of a numerical Galerkin-type PDE solve...

This objective of this article is to give an overview of autopilot software design for small and miniature unmanned air systems. An architecture that is typical of commercially available autopilots is described. A detailed explanation of the inner-loop control structure is described, including the lateral directional feedback loops and the longitudinal directional feedback loops. We give a brie...

This paper presents an introduction to capturing software requirements in the PVS formal language. The object of study is a simpli ed digital autopilot that was motivated in part by the mode control panel of NASA Langley's Boeing 737 research aircraft. The paper rst presents the requirements for this autopilot in English and then steps the reader through a translation of these requirements into...