Conference Proceedings

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

University of Melbourne Researchers


Awarded by Australian Research Council grant

Awarded by NSF CAREER award

Funding Acknowledgements

First author partially supported by Australian Research Council grant DP0208553;second author partially supported by NSF CAREER award 0446716.