Theses most similar to those of author Lai, Danny Cho-Liang, 1978-
Extending a formal specification & requirements language : a case study (2001) read it
Aircraft conflict analysis and real-time conflict probing using probabilistic trajectory modeling
Yang, Lee C (2000)
- Advisor: James K. Kuchar
- Department of Aeronautics and Astronautics
New methodologies for onboard generation of Terminal Area Energy Management trajectories for autonomous reusable launch vehicles
Grubler, Andrew C. (Andrew Clay), 1976- (2001)
- Advisor: Gregg H. Barton
- Department of Aeronautics and Astronautics
Fuzzy logic application for modeling man-in-the-loop space shuttle proximity operations
Brown, Robert Bayne (1994)
- Advisor: Thomas B. Sheridan
- Department of Aeronautics and Astronautics
- Advisor: James K. Kuchar
- Department of Aeronautics and Astronautics
A safety-centered approach to developing new air traffic management tools
De Villepin, Maxime Galouzéau, 1976- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
The different levels of intent specifications : analysis and guidelines on tracing
Meléndez Díaz, William J., 1979- (2001)
- Advisor: Nancy G. Leveson
- Department of Electrical Engineering and Computer Science
A demonstration of a formal specification & requirements language : a case study
Sutherland, Sean J. P. (Sean Jason Perry), 1977- (2001)
- Advisor: Nancy G. Leveson
- Department of Electrical Engineering and Computer Science
TSAFE : building a trusted computing base for air traffic control software
Dennis, Gregory D. (Gregory David), 1980- (2003)
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
Development of a high-precision ADS-B based conflict alerting system for operations in the airport environment
Kunzi, Fabrice (2013)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
Full efficiency benefits and implementation considerations for cruise altitude and speed optimization in the National Airspace system
Jensen, Luke L (2014)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics