Hybrid Systems with Finite Bisimulations

G. Lafferriere, G.J. Pappas and S. Shankar Sastry

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M98/15
April 1998

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1998/ERL-98-15.pdf

BibTeX citation:

@techreport{Lafferriere:M98/15,
    Author = {Lafferriere, G. and Pappas, G.J. and Sastry, S. Shankar},
    Title = {Hybrid Systems with Finite Bisimulations},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1998},
    Month = {Apr},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1998/3400.html},
    Number = {UCB/ERL M98/15}
}

EndNote citation:

%0 Report
%A Lafferriere, G.
%A Pappas, G.J.
%A Sastry, S. Shankar
%T Hybrid Systems with Finite Bisimulations
%I EECS Department, University of California, Berkeley
%D 1998
%@ UCB/ERL M98/15
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1998/3400.html
%F Lafferriere:M98/15