Formal Analysis for Automatic Train Operation System and Research on Diagnosis of Anomalies

2019 ◽  
Author(s):  
Ruijun You ◽  
Kaicheng Li ◽  
Yu Liu ◽  
Zhen Xu
Keyword(s):  
Formal Analysis ◽  
Operation System ◽  
Train Operation ◽  
Automatic Train Operation

Verification of Optimized Energy-Saving Train Scheduling Utilizing Automatic Train Operation System

2019 ◽  
Vol 139 (6) ◽  
pp. 580-587
Author(s):  
Shoichiro Watanabe ◽  
Yasuhiro Sato ◽  
Takafumi Koseki ◽  
Takeshi Mizuma ◽  
Ryuji Tanaka ◽  
...  
Keyword(s):  
Energy Saving ◽  
Operation System ◽  
Train Scheduling ◽  
Train Operation ◽  
Automatic Train Operation

FUZZY CONTROL FOR AUTOMATIC TRAIN OPERATION SYSTEM

1984 ◽  
pp. 33-39 ◽  
Author(s):  
S. Yasunobu ◽  
S. Miyamoto ◽  
H. Ihara
Keyword(s):  
Fuzzy Control ◽  
Operation System ◽  
Train Operation ◽  
Automatic Train Operation

scholarly journals Verification of Optimized Energy-Saving Train Scheduling Utilizing Automatic Train Operation System

2020 ◽  
Vol 9 (2) ◽  
pp. 193-200
Author(s):  
Shoichiro Watanabe ◽  
Yasuhiro Sato ◽  
Takafumi Koseki ◽  
Takeshi Mizuma ◽  
Ryuji Tanaka ◽  
...  
Keyword(s):  
Energy Saving ◽  
Operation System ◽  
Train Scheduling ◽  
Train Operation ◽  
Automatic Train Operation

FUZZY CONTROL FOR AUTOMATIC TRAIN OPERATION SYSTEM

1993 ◽  
pp. 348-354 ◽  
Author(s):  
S. Yasunobu ◽  
S. Miyamoto ◽  
H. Ihara
Keyword(s):  
Fuzzy Control ◽  
Operation System ◽  
Train Operation ◽  
Automatic Train Operation
Sign in / Sign up

Export Citation Format

Share Document