Qualitative Analysis, Model Checking, and Controller Synthesis of Hybrid Systems
Mireille E. Broucke
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M00/35
2000
Advisor: Alberto L. Sangiovanni-Vincentelli
BibTeX citation:
@phdthesis{Broucke:M00/35,
Author = {Broucke, Mireille E.},
Title = {Qualitative Analysis, Model Checking, and Controller Synthesis of Hybrid Systems},
School = {EECS Department, University of California, Berkeley},
Year = {2000},
URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2000/3856.html},
Number = {UCB/ERL M00/35}
}
EndNote citation:
%0 Thesis %A Broucke, Mireille E. %T Qualitative Analysis, Model Checking, and Controller Synthesis of Hybrid Systems %I EECS Department, University of California, Berkeley %D 2000 %@ UCB/ERL M00/35 %U http://www.eecs.berkeley.edu/Pubs/TechRpts/2000/3856.html %F Broucke:M00/35