Takashi KUNIFUJI


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(5.2MB)

Safety Technologies in Autonomous Decentralized Railway Control System and its Future Studies
Shinichi RYOKI Takashi KUNIFUJI Toshihiro ITOH 
Publication:   
Publication Date: 2018/08/01
Vol. E101-B  No. 8  pp. 1768-1774
Type of Manuscript:  INVITED PAPER (Special Section on Autonomous Decentralized Systems Technologies and Approaches Innovation through Structure Change of Society and Life)
Category: 
Keyword: 
railwaysignalling systemnetworkautonomous decentralized technologysafetywirelessization
 Summary | Full Text:PDF(2.1MB)

A Novel Railway Signal Control System Based on the Internet and Assurance Technologies
Takashi KUNIFUJI Gen KOGURE Hiroyuki SUGAHARA Masayuki MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/09/01
Vol. E91-D  No. 9  pp. 2293-2299
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems Theories and Application Deployments)
Category: 
Keyword: 
network technology train signal controlinternet protocoloptical transmissionassurance technology
 Summary | Full Text:PDF(1.9MB)