<b>Method for Extracting Knowledge of Train Rescheduling from Data of Operation Records</b>

Shunichi TANAKA; Satoshi KATO; Takashi SAKAGUCHI; Tomoharu TAKIMOTO

doi:10.2219/rtriqr.62.4_269

Method for Extracting Knowledge of Train Rescheduling from Data of Operation Records

Quarterly Report of RTRI ◽

10.2219/rtriqr.62.4_269 ◽

2021 ◽

Vol 62 (4) ◽

pp. 269-274

Author(s):

Shunichi TANAKA ◽

Satoshi KATO ◽

Takashi SAKAGUCHI ◽

Tomoharu TAKIMOTO

Keyword(s):

B Method ◽

Train Rescheduling

Download Full-text

Passenger-Oriented Optimization for Train Rescheduling on the Basis of Mixed Integer Programming

IEEJ Transactions on Industry Applications ◽

10.1541/ieejias.132.170 ◽

2012 ◽

Vol 132 (2) ◽

pp. 170-177 ◽

Cited By ~ 3

Author(s):

Kenji Chigusa ◽

Keisuke Sato ◽

Takafumi Koseki

Keyword(s):

Integer Programming ◽

Mixed Integer Programming ◽

Mixed Integer ◽

Train Rescheduling

Download Full-text

Train rescheduling in a major disruption on a high-speed railway network with seat reservation

Transportmetrica A Transport Science ◽

10.1080/23249935.2021.1877369 ◽

2021 ◽

pp. 1-36

Author(s):

Shuguang Zhan ◽

S. C. Wong ◽

Pan Shang ◽

S. M. Lo

Keyword(s):

High Speed ◽

Railway Network ◽

High Speed Railway ◽

Train Rescheduling ◽

Major Disruption

Download Full-text

A rolling horizon approach to the high speed train rescheduling problem in case of a partial segment blockage

Transportation Research Part E Logistics and Transportation Review ◽

10.1016/j.tre.2016.07.015 ◽

2016 ◽

Vol 95 ◽

pp. 32-61 ◽

Cited By ~ 33

Author(s):

Shuguang Zhan ◽

Leo G. Kroon ◽

Jun Zhao ◽

Qiyuan Peng

Keyword(s):

High Speed ◽

Rolling Horizon ◽

High Speed Train ◽

Train Rescheduling

Download Full-text

Train rescheduling model with train delay and passenger impatience time in urban subway network

Journal of Advanced Transportation ◽

10.1002/atr.1441 ◽

2016 ◽

Vol 50 (8) ◽

pp. 1990-2014 ◽

Cited By ~ 3

Author(s):

Qu Zhen ◽

Shi Jing

Keyword(s):

Train Rescheduling

Download Full-text

BHive: Behavior-Driven Development Meets B-Method

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_11 ◽

2017 ◽

pp. 232-255 ◽

Cited By ~ 1

Author(s):

John Douglas Carter ◽

William Bennett Gardner

Keyword(s):

B Method

Download Full-text

Applying the B-Method to Avionics Software: An Initial Report on the MIST Project

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_16 ◽

1997 ◽

pp. 288-304 ◽

Cited By ~ 2

Author(s):

Jonathan Draper

Keyword(s):

Initial Report ◽

B Method

Download Full-text

Interpreting the B-Method in the Refinement Calculus

FM’99 — Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-48119-2_24 ◽

1999 ◽

pp. 411-430 ◽

Cited By ~ 5

Author(s):

Yann Rouzaud

Keyword(s):

Refinement Calculus ◽

B Method

Download Full-text

Validation of Component based Software Development Model using Formal B-Method

International Journal of Computer Applications ◽

10.5120/11423-6768 ◽

2013 ◽

Vol 67 (9) ◽

pp. 24-35 ◽

Cited By ~ 1

Author(s):

Asif IrshadKhan ◽

Md. Mottahir Alam ◽

Noor-ul-Qayyum Noor-ul-Qayyum ◽

Usman Ali Khan

Keyword(s):

Software Development ◽

Development Model ◽

B Method ◽

Software Development Model

Download Full-text

Checking the European Railways Traffic Management System (ERTMS) operating rules using UML and the B method

Computers in Railways XIV ◽

10.2495/cr140111 ◽

2014 ◽

Cited By ~ 1

Author(s):

R. Ben Ayed

Keyword(s):

Traffic Management ◽

Management System ◽

B Method ◽

Operating Rules ◽

Traffic Management System

Download Full-text

A practical model for last train rescheduling with train delay in urban railway transit networks

Omega ◽

10.1016/j.omega.2014.07.005 ◽

2015 ◽

Vol 50 ◽

pp. 29-42 ◽

Cited By ~ 83

Author(s):

Liujiang Kang ◽

Jianjun Wu ◽

Huijun Sun ◽

Xiaoning Zhu ◽

Bo Wang

Keyword(s):

Transit Networks ◽

Train Rescheduling ◽

Practical Model

Download Full-text