论文信息 - Research for Spatio-Temporal Modeling Approach of Railway Safety System Based on Hybrid Cellular Automata - 字舞流文

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.