6Sandor Markon, Hiromichi Suzuki.Direct Control of Multi--car Elevators With Real--time QA[C].llth International Conference on Intelligent Engineerin6 Systems. Budapest,Hungary,June 29-- July 01 2007=191--194.
7Mssami,Sakita. Elevator System With Multiple Cars in One Hoist Way [J]. Elevator World,2001 ,49(6):80--91.
8SOren Preibusch and Florian KammLiller. Checking the TWIN Elevator System by Translating Object--Z to SMV[C].S.Leue and P.Merino (Eds.):FMICS 2007,LNCS 4916,2008.38--55.
9Shunji Tanaka and Collision Avoidance Masashi Watanabe. Optimization--based n Multi--car Elevator Systems[C].lCEOS SlCE International Joint Conference Fukuoka Internationa Congress Center,Japan. August 18--21 ,2009=764--769.
10Lu Yu,Shingo Mabu,Tiantian Zhang,et al.Multi--car Elevator Group Supervisory Control System Using Genetic Network Programming[C]. 2009 IEEE Congress on Evolutionary Computation (CEC 2009),2009=2 188--2 195.
