Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2019/02/01 Vol. E102-ANo. 2pp. 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,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2018/08/01 Vol. E101-BNo. 8pp. 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,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2008/09/01 Vol. E91-DNo. 9pp. 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,