
For FullText PDF, please login, if you are a member of IEICE,
or go to Pay Per View on menu list, if you are a nonmember of IEICE.

Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMTSolver
Yoshinao ISOBE Hisabumi HATSUGAI Akira TANAKA Yutaka OIWA Takanori AMBE Akimasa OKADA Satoru KITAMURA Yamato FUKUTA Takashi KUNIFUJI
Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Vol.E102A
No.2
pp.325335 Publication Date: 2019/02/01 Online ISSN: 17451337
DOI: 10.1587/transfun.E102.A.325 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: formal approach, train timetable, mesoscopic model, periodic timetable, SMTSolver, railway capacity,
Full Text: FreePDF(5.2MB)
Summary:
This paper presents a formal approach for generating train timetables in a mesoscopic level that is more concrete than the macroscopic level, where each station is simply expressed in a blackbox, and more abstract than the microscopic level, where the infrastructure in each stationarea is expressed in detail. The accuracy of generated timetable and the computational effort for the generation is a tradeoff. In this paper, we design a formal mesoscopic modeling language by analyzing real railways, for example Tazawakoline as the first step of this work. Then, we define the constraint formulae for generating train timetables with the help of SMT (Satisfiability Module Theories)Solver, and explain our tool RWSolver that is an implementation of the constraint formulae. Finally, we demonstrate how RWSolver with the help of SMTSolver can be used for generating timetables in a case study of Tazawakoline.

