Atlas / Learn / Research papers
Academia · 5,423 papers
Aviation research, sourced & cited.
Curated index of aviation-relevant research from NASA NTRS, NTSB safety studies, FAA CAMI, and academic sources. Every record links back to its original — we don't host PDFs, we describe each paper and credit the authors. Built for cross-link with the rest of Atlas: search by topic, drill into a CFR section or airframe and see the research that bears on it.
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…