Theses most similar to those of author Garrett, Christopher James
Context in the risk assessment and hazard analysis of digital instrumentation and control systems (1999) read it
- Advisor: Charles P. Coleman
- Department of Aeronautics and Astronautics
Hazard elimination using backwards reachability techniques in discrete and hybrid models
Neogi, Natasha A. (Natasha Anita), 1976- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
Modeling and analysis of software specifications for an autonomous aerial vehicle
Vuong, Hon Fai, 1975- (1999)
- Advisors: Eric Feron; Mark R. Abramso
- Department of Aeronautics and Astronautics
A framework for dynamic safety and risk management modeling in complex engineering systems
Dulac, Nicolas, 1978- (2007)
- Advisors: Nancy G. Leveson; Nelson Repenning
- Department of Aeronautics and Astronautics
- Advisor: George E. Apostolakis
- Department of Nuclear Engineering
Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis
Thomas, John P., IV (2013)
- Advisor: Nancy G. Leveson
- Engineering Systems Division
Application of STPA to the integration of multiple control systems : a case study and new approach
Placke, Matthew Seth (2014)
- Advisors: Farrar, J. Thomas (John Thomas), 1976-; Nancy G. Leveson
- Engineering Systems Division
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
- Advisor: Nancy G. Leveson
- Department of Electrical Engineering and Computer Science
- Advisors: John S. Carroll; Nancy G. Leveson
- Department of Aeronautics and Astronautics