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
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/ERL-00-35.pdf
Advisors: 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