Cleveland NMRA 2014 Automatic train control using Warrants Dick Bronson

Source URL: www.rr-cirkits.com

AR1 Complete Train Control Automatic Reversing Controller

Source URL: www.digitrax.com

TRANSPORT PROBLEMS PROBLEMY TRANSPORTU 2014 Volume 9 Special Edition railways; smart infrastructure; ERTMS; power grid management;

Source URL: transportproblems.polsl.pl

• Train protection systems
• Railway signalling
• European Rail Traffic Management System
• European Train Control System
• GSM-R
• Balise
• Automatic Train Protection
• KLUB-U
• Positive train control
• Transport
• Land transport
• Rail transport

Vo l . 40 N o . 1 Februar y[removed]First Transportation Project APM System for Hong Kong International Airport SEKIYA Takao : Transportation System Department, Logistics Systems Division, Logistics Systems

Source URL: www.ihi.co.jp

• Rail transport
• Railway signalling
• Automatic train operation
• Automatic Train Control
• Automatic Train Protection
• Hong Kong International Airport Automated People Mover
• Induction loop
• SelTrac
• Communications-based train control
• Transport
• Land transport
• Train protection systems

Technology Technology Railway Technology Today 8 (Edited by Kanji Wako)

Source URL: www.jrtr.net

• Railway signalling
• Train protection systems
• Automatic Train Control
• Emergency brake
• Train stop
• Signalling block system
• Shinkansen
• Automatic train stop
• High-speed rail
• Transport
• Land transport
• Rail transport

This English translation of the Ordinance for Enforcement of the Act on Special Provisions Concerning the Punishment for Conduct Impeding the Safety of the Train Operation on the Shinkansen Railway (Entered into force on

Source URL: www.mlit.go.jp

• Railway signalling
• Train protection systems
• Automatic Train Control
• Shinkansen
• Cab signalling
• Centralized traffic control
• Train
• Land transport
• Transport
• Rail transport

COMTRAC (COMputer-aided TRAffic Control) COMTRAC is a control system that allows around-the-clock status monitoring of all Shinkansen trains currently in operation. CIC Shinkansen

Source URL: english.jr-central.co.jp

• Railway signalling
• High-speed rail in Japan
• Shinkansen
• Train protection systems
• Centralized traffic control
• High-speed rail
• Automatic Train Control
• Land transport
• Transport
• Rail transport

AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS

Source URL: www.avacs.org

• European Rail Traffic Management System
• Logic in computer science
• Applied mathematics
• European Train Control System
• Predicate logic
• Formal methods
• First-order logic
• Formal verification
• Control theory
• Train protection systems
• Logic
• Mathematical logic

European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA

Source URL: www.symbolaris.com

• European Rail Traffic Management System
• Rail transport
• European Train Control System
• Control theory
• High-speed rail
• Automatic Train Protection
• Train protection systems
• Land transport
• Transport

European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA

Source URL: symbolaris.com

• European Rail Traffic Management System
• Rail transport
• European Train Control System
• Control theory
• High-speed rail
• Automatic Train Protection
• Train protection systems
• Land transport
• Transport