Logic verification of Collision Avoidance System in train control systems

Author(s):  
Tianhua Xu ◽  
Tao Tang ◽  
Chunhai Gao ◽  
Baigen Cai
1969 ◽  
Vol 22 (3) ◽  
pp. 381-394
Author(s):  
I. M. Hunter

This paper describes and attempts to assess the viability of the airborne collision-avoidance system based on time-frequency techniques which is proposed, for use within ground-based control systems, by the Air Transport Association of America.


Sign in / Sign up

Export Citation Format

Share Document