A Hybrid Automata Based on Event Algebra for CPS Modelling.

Mingfu Tuo, Jian Zhao, Hongmei Zhang, Yongmei Zhao

Browse the full QRS paper archive.