□ Identified reachable sets represent aircrafts capabilities □ Safe mode transitions can be determined □ Refined model provides greater situational awareness□ Verification of usability and accuracy through simulations □ Test flights
General aviation landing assistance using formal methods-based system design
2012-10-01
666867 byte
Conference paper
Electronic Resource
English
General aviation approach and landing practices
NTRS | 1976
|European Patent Office | 2017
|General Aviation Landing Research at Princeton University
SAE Technical Papers | 1973
|