Theses most similar to those of author Mikaelian, Tsoline

Model-based monitoring and diagnosis of systems with software-extended behavior (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
Read it

Automated verification of model-based programs under uncertainty

Mahtab, Tazeen, 1981- (2004)

  • Advisors: Brian C. Williams; Gregory T. Sulliva
  • Department of Electrical Engineering and Computer Science
Read it

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
Read it

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
Read it

Accurate belief state update for probabilistic constraint automata

Martin, Oliver B., 1979- (2005)

  • Advisor: Brian C. Williams
  • Department of Aeronautics and Astronautics
Read it

Generalized conflict learning for hybrid discrete/linear optimization

Li, Hui (Hui Xylo) (2005)

  • Advisor: Brian C. Williams
  • Department of Aeronautics and Astronautics
Read it

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
Read it

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
Read it

Monitoring the execution of temporal plans for robotic systems

Levine, Steven James (2012)

  • Advisor: Brian C. Williams
  • Department of Electrical Engineering and Computer Science
Read it

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
Read it

An Integrated Real options Framework for model-based identification and valuation of options under uncertainty (2009) read it

Socio-cognitive analysis of engineering systems design : shared knowledge, process, and product

Avnet, Mark Sean (2009)

  • Advisor: Annalisa L. Weigel
  • Engineering Systems Division
Read it