Theses most similar to Timed model-based programming : executable specifications for robust mission-critical sequences (Ingham, Michel D. (Michel Donald), 1972-; 2003) read it
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
- Advisor: Brian C. Williams
- Department of Electrical Engineering and Computer Science
- Advisors: Brian C. Williams; Gregory T. Sulliva
- Department of Electrical Engineering and Computer Science
Model-based monitoring and diagnosis of systems with software-extended behavior
Mikaelian, Tsoline (2005)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
Development of a guidance, navigation and control architecture and validation process enabling autonomous docking to a tumbling satellite
Nolet, Simon, 1975- (2007)
- Advisor: David W. Miller
- Department of Aeronautics and Astronautics
A formal framework for specification-based embedded real-time system engineering
Ouimet, Martin, 1975- (2008)
- Advisor: I. Kristina Lundqvist
- Department of Aeronautics and Astronautics
Aircraft collision avoidance using Monte Carlo Real-Time Belief Space Search
Wolf, Travis Benjamin (2009)
- Advisors: James K. Kuchar; John E. Keesee
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Electrical Engineering and Computer Science
A factored planner for the temporal coordination of autonomous systems
Wang, David Cheng-Ping (2015)
- Advisors: Brian C. Williams; Saman Amarasinghe
- Department of Aeronautics and Astronautics