열차 제어 장치 ( 110 ) 는 선행 열차 이벤트 ( ei - 1 ( t ) ) 가 정거장 ( s ) 에 도착 ( Dpts ) 했 는지 의 여부 ( ei - 1 ( t ) = Dpts ) 를 확인 한다 . 열차 제어 장치 ( 110 ) 는 대상 열차 이벤트 ( ei ( t ) ) 가 도착 이벤트 ( Arrs ) ( ei ( t ) = Arrs ) 인지 의 여부 를 확인 한다 . 열차 제어 장치 ( 110 ) 는 대상 열차 진로 ( pi ( t ) ) 와 선행 열차 진로 ( pi - 1 ( t ) ) 가 동일 ( pi ( t ) = pi - 1 ( t ) ) 한지 의 여부 를 확인 한다 . 열차 제어 장치 ( 110 ) 는 선행 열차 속도 ( vi - 1 ( t ) ) 가 0 인지 의 여부 ( vi - 1 ( t ) = 0 ) 를 확인 한다 . 열차 제어 장치 ( 110 ) 는 스 케 쥴 된 선행 열차 의 위치 값 (