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