Research for Spatio-Temporal Modeling Approach of Railway Safety System Based on Hybrid Cellular Automata
暂无分享,去创建一个
Yong Qin | NingHai Qiu | LiMing Jia | L. Jia | N. Qiu | Yong Qin
[1] Ziyou Gao,et al. Modeling The Railway Traffic Using Cellular Automata Model , 2005 .
[2] Hassane Alla,et al. Combining hybrid Petri nets and hybrid automata , 2001, IEEE Trans. Robotics Autom..
[3] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.