Theses most similar to Hazard elimination using backwards reachability techniques in discrete and hybrid models (Neogi, Natasha A. (Natasha Anita), 1976-; 2001) read it
- Advisor: Charles P. Coleman
- Department of Aeronautics and Astronautics
- Advisors: Brian C. Williams; Gregory T. Sulliva
- Department of Electrical Engineering and Computer Science
Timed model-based programming : executable specifications for robust mission-critical sequences
Ingham, Michel D. (Michel Donald), 1972- (2003)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
An integrated methodology for the performance and reliability evaluation of fault-tolerant systems
Domínguez-García, Alejandro D. (Alejandro Dan) (2007)
- Advisors: Joel E. Schindall; John G. Kassakian
- Department of Electrical Engineering and Computer Science
- Advisor: George E. Apostolakis
- Department of Nuclear Engineering
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
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
Context in the risk assessment and hazard analysis of digital instrumentation and control systems
Garrett, Christopher James (1999)
- Advisor: George E. Apostolakis
- Department of Nuclear Engineering
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
- Advisors: John S. Carroll; Nancy G. Leveson
- Department of Aeronautics and Astronautics