Mireille E. Broucke
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M00/35
June 2000
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/ERL-00-35.pdf
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}, Month = {Jun}, URL = {http://www2.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://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/3856.html %F Broucke:M00/35