Title :
Using formal methods to verify safe deep stall landing of a MAV
Author :
Pointner, Wolfgang ; Kotsis, Gabriele ; Langthaler, Peter ; Naderhirn, Michael
Abstract :
□ DSL is a practical landing maneuver □ Reachability analysis show suggested shapes □ High computational costs □ Methodology applicable for similar problems □ Implementation on an autopilot □ Improvements to calculate landing trajectory □ Development of a GA landing assistance system
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th
Conference_Location :
Seattle, WA, USA
Print_ISBN :
978-1-61284-797-9
DOI :
10.1109/DASC.2011.6096251
