□ 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
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
General aviation approach and landing practices
NTRS | 1976
|General Aviation and the Moon Landing
Online Contents | 2007
Europäisches Patentamt | 2017
|