Theses most similar to those of author Lee, Cha Kun

Global optimization of hybrid systems (2006) read it

Global dynamic optimization

Singer, Adam B (2004)

  • Advisor: Paul I. Barton
  • Department of Chemical Engineering
Read it

Constructive global analysis of hybrid systems

Gonçalves, Jorge Manuel Mendes Silva, 1970- (2000)

  • Advisors: Alexandre Megretski; Munther A. Dahleh
  • Department of Electrical Engineering and Computer Science
Read it

Coordinating agile systems through the model-based execution of temporal plans

Léauté, Thomas (2005)

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

Translating timed I/O automata specifications for theorem proving in PVs

Lim, Hongping (2006)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Formal verification of safety-critical hybrid systems

Livadas, Carolos (1997)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

A verification framework for hybrid systems

Mitra, Sayan (2007)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
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

Virtual stationary timed automata for mobile networks

Nolte, Tina Ann, 1979- (2009)

  • Advisor: Nancy Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Safety verification for automated vehicle maneuvers

Dolginova, Ekaterina, 1977- (1998)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Algorithms for autonomous urban navigation with formal specifications

Chaudhari, Pratik (Pratik Anil) (2014)

  • Advisor: Emilio Frazzoli
  • Department of Aeronautics and Astronautics
Read it