Theses most similar to A verification framework for hybrid systems (Mitra, Sayan; 2007) read it

Simulation of timed input/output automata

Mavrommatis, Panayiotis P (2006)

  • Advisors: Dilsun K. Kayna; Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
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

Using simulation techniques to prove timing properties

Luchangco, Victor (1995)

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

Global optimization of hybrid systems

Lee, Cha Kun (2006)

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

Correctness of vehicle control systems a case study

Weinberg, Henri B. (Henri Bernard) (1996)

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

Formal verification of TCP and T/TCP

Smith, Mark Anthony Shawn, 1968- (1997)

  • 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

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

Runtime verification for stochastic systems

Wilcox, Cristina M (2010)

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