Theses most similar to Model-based monitoring and diagnosis of systems with software-extended behavior (Mikaelian, Tsoline; 2005) read it
An efficient projected minimal conflict generator for projected prime implicate and implicant generation
Elliott, Paul Harrison, 1979- (2004)
- Advisor: Brian C. Williams
- 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
Planning and scheduling proximity operations for autonomous orbital rendezvous
Guerra, Christopher J., 1978- (2003)
- Advisors: Deyst, John J. (John Jacob); Lance A. Pag; Wallace E. VanderVelde
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
Model-based planning through constraint and causal order decomposition
Chung, Seung H. (Seung Hwa), 1975- (2008)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
Storyboard programming of data structure manipulations : a picture is worth 20 lines of code
Singh, Rishabh (2010)
- Advisor: Armando Solar-Lezama
- Department of Electrical Engineering and Computer Science
- 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