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 approach, train timetable, mesoscopic model, periodic timetable, SMT-Solver, railway capacity, 
 Summary | Full Text:PDF
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: 
railway, signalling system, network, autonomous decentralized technology, safety, wirelessization, 
 Summary | Full Text:PDF
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 control, internet protocol, optical transmission, assurance technology, 
 Summary | Full Text:PDF