Research papers
5,883 papers · NASA NTRS, NTSB, FAA CAMI
NASA NTRS · 1,269 NTSB Safety Studies · 12 NTSB Aircraft Accident Reports · 17 Embry-Riddle Scholarly Commons · 1,993
3 matches · Mathematical And Computer Sciences (General)
- NASA NTRS 2019 LaRC Conference Paper
Symbolic Computation of Strongly Connected Components Using Saturation
Finding strongly connected components (SCCs) in the state-space of discrete-state models is a critical task in formal verification of LTL and fair CTL properties, but the potentially huge number of reachable states and S…
- NASA NTRS 2019 ARC Conference Paper
Stall Recovery Guidance Using Fast Model Predictive Control
Based on a detailed analysis of recent loss-of-control events, the Aircraft State Awareness Joint Safety Analysis Team has identified the need to develop algorithms and display strategies to provide control guidance for …
- NASA NTRS 2019 ARC Conference Paper
Differential Adaptive Stress Testing of Airborne Collision Avoidance Systems
The next-generation Airborne Collision Avoidance System (ACAS X) is currently being developed and tested to replace the Traffic Alert and Collision Avoidance System (TCAS) as the next international standard for collision…