There has been exciting progress in the area of Unmanned Aerial Vehicles (UAV) in the last decade, especially for quadrotors due to their nature of easy manipulation and simple structure. A lot of research has been done on achieving autonomous and robust control for quadrotors. Recently researchers have been utilizing linear temporal logic as mission specification language for robot motion planning due to its expressiveness and scalability. Several algorithms have been proposed to achieve autonomous temporal logic planning.
Download count: 0
- Partial requirement for: M.S., Arizona State University, 2016Note typethesis
- Includes bibliographical references (pages 61-63)Note typebibliography
- Field of study: Computer science