Minimization of computationally intensive flapping wings robotic controllers using model checking
Abstract
The study of the control of the flapping wing micro air vehicle (MAV) is inherently complex, and therefore, limited research was done in the validation of flapping wing MAVs area. Considering the complicated nature of flapping wing micro air vehicles, a flawless design without verification is virtually impossible. In order to enable the flapping wing micro air vehicle to operate reliably with less risk, formal methods can be utilized, and are needed. Model checking serves as a high quality formal technique for verifying the correctness of hardware and software systems. This research uses model checking as a blueprint for the actual implementation of future Rhinoceros beetle flapping wing MAVs and as a support of the feasibility for completion of a more effective flapping wing MAV. The end goal of the research is to see how and to what extent control minimization of MAVs can be advanced with model checking techniques.
Degree
M.S.
Advisors
Matson, Purdue University.
Subject Area
Information Technology|Robotics|Computer science
Off-Campus Purdue Users:
To access this dissertation, please log in to our
proxy server.