On simulations and bisimulations of general flow systems
JM Davoren, Paulo Tabuada, A Bemporad (ed.), A Bicchi (ed.), G Buttazzo (ed.)
Hybrid Systems: Computation and Control | SPRINGER-VERLAG BERLIN | Published : 2007
Awarded by Australian Research Council grant
Awarded by NSF CAREER award
First author partially supported by Australian Research Council grant DP0208553;second author partially supported by NSF CAREER award 0446716.