Planning algorithms are impacting technical disciplines and industries around the world, including robotics, computer-aided design, manufacturing, computer grap

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012.

Comprehensively covers emerging aerospace technologies Advanced UAV aerodynamics, flight stability and control: Novel concepts, theory and applications presents

Problems in the motion control of aircraft are of perennial interest to the control engineer as they tend to be of complex and nonlinear nature. Modelling and C