Satoru KITAMURA


Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver
Yoshinao ISOBE Hisabumi HATSUGAI Akira TANAKA Yutaka OIWA Takanori AMBE Akimasa OKADA Satoru KITAMURA Yamato FUKUTA Takashi KUNIFUJI 
Publication:   
Publication Date: 2019/02/01
Vol. E102-A  No. 2  pp. 325-335
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
formal approachtrain timetablemesoscopic modelperiodic timetableSMT-Solverrailway capacity
 Summary | Full Text:PDF

Development of the Autonomous Decentralized Train Control System
Masayuki MATSUMOTO Akiyoshi HOSOKAWA Satoru KITAMURA Dai WATANABE Atsushi KAWABATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/10/01
Vol. E84-D  No. 10  pp. 1333-1340
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
Category: Railway System
Keyword: 
ATCautonomous decentralized train controlhigh-density train operationdigital communications
 Summary | Full Text:PDF