Qiang Wang, Gang Yang, Xingshe Zhou, Yalei Yang. Behavior Modeling of Cyber-physical System Based on Discrete Hybrid Automata. In IEEE 16th International Conference on Computational Science and Engineering, CSE 2013, 3-5 December, 2013, Sydney, Australia. pages 680-684, IEEE, 2013. [doi]
Abstract is missing.