Theses most similar to those of author Livadas, Carolos

Formal verification of safety-critical hybrid systems (1997) read it

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
  • Advisor: Paul I. Barton
  • Department of Chemical Engineering
  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
  • Advisor: Nancy Lynch
  • Department of Electrical Engineering and Computer Science
  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
  • Advisor: Nancy Lynch
  • Department of Electrical Engineering and Computer Science
  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science

Optimal H₂/Popov controller design using linear matrix inequalities (1996) read it

  • Advisors: Deyst, John J. (John Jacob); Milton B. Adams; Wallace E. VanderVelde
  • Department of Aeronautics and Astronautics
  • Advisor: Anuradha M. Annaswamy
  • Department of Mechanical Engineering
  • Advisors: Alexandre Megretski; Luca Daniel
  • Department of Electrical Engineering and Computer Science
  • Advisors: David J. Perrault; George C. Verghese
  • Department of Electrical Engineering and Computer Science
  • Advisor: Brent D. Appleby
  • Department of Aeronautics and Astronautics
  • Advisor: Wallace E. VanderVelde
  • Department of Aeronautics and Astronautics
  • Advisor: Steven R. Hall
  • Department of Aeronautics and Astronautics
  • Advisor: McConley, Marc W. (Marc Wayne)
  • Department of Aeronautics and Astronautics
  • Advisor: Brent D. Appleby
  • Department of Aeronautics and Astronautics
  • Advisor: Munther A. Dahleh
  • Department of Electrical Engineering and Computer Science

Formally modeling, analyzing, and designing network protocols : a case study on retransmission-based reliable multicast protocols (2003) read it

  • Advisors: Jon Anderso; Vincent W.S. Chan
  • Department of Electrical Engineering and Computer Science
  • Advisor: John V. Guttag
  • Department of Electrical Engineering and Computer Science
  • Advisors: Clifford Weinstein; Khazan, Roger Igor
  • Department of Electrical Engineering and Computer Science
  • Advisor: Vincent W.S. Chan
  • Department of Electrical Engineering and Computer Science
  • Advisor: Vincent W.S. Chan
  • Department of Electrical Engineering and Computer Science
  • Advisor: Nancy Lynch
  • Department of Electrical Engineering and Computer Science
  • Advisor: Whay Chiou Lee
  • Department of Electrical Engineering and Computer Science
  • Advisor: Idit Keidar
  • Department of Electrical Engineering and Computer Science
  • Advisors: Bracha M. Epstein; Dr. Clifford J. Weinstein
  • Department of Electrical Engineering and Computer Science
  • Advisor: Vincent W.S. Chan
  • Department of Electrical Engineering and Computer Science