Theses most similar to those of author Ingham, Michel D. (Michel Donald), 1972-
Timed model-based programming : executable specifications for robust mission-critical sequences (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
Microdynamics and thermal snap response of deployable space structures (1998) read it
Experimental component mode synthesis of structures with joint freeplay
Blackwood, Gary H. (Gary Howard) (1988)
- Advisor: Andreas H. von Flotow
- Department of Aeronautics and Astronautics
Dynamic behavior of a three dimensional aluminum truss in free space
Heath, Marcus R. A. (Richard Austin) (1994)
- Advisor: Ira Dyer
- Department of Mechanical Engineering; Department of Ocean Engineering
Characterization of damping of materials and structures at nanostrain levels
Ting, Joseph Ming-Shih (1990)
- Advisor: Edward F. Crawley
- Department of Aeronautics and Astronautics
Active narrow band vibration isolation of machinery noise from resonant substructures
Scribner, Kelvin Bruce (1990)
- Advisor: Andreas H. von Flotow
- Department of Aeronautics and Astronautics
- Advisor: Edward F. Crawley
- Department of Aeronautics and Astronautics
Development of zero-gravity structural control models from analysis and ground experimentation
Glaese, Roger M. (Roger Marshall) (1994)
- Advisor: David W. Miller
- Department of Aeronautics and Astronautics
- Advisor: Edward F. Crawley
- Department of Aeronautics and Astronautics
Modeling and modal identification of jointed space structures in one- and zero-gravity environments
Bobronnikov, Sergei V. (Sergei Vladimarovich) (1994)
- Advisor: Edward F. Crawley
- Department of Aeronautics and Astronautics
- Advisor: Edward F. Crawley
- Department of Aeronautics and Astronautics
- Advisor: Jerome J. Connor, Jr.
- Department of Civil and Environmental Engineering