Y. Fukuta
YOU?
Author Swipe
View article: Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver
Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver Open
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 black-box, and more abstract than the microscopic lev…
View article: Development of a network level crossing system
Development of a network level crossing system Open
A level crossing which is a cross point between an automobile road and a railroad is unavoidable for a railway operator.Of course, the safety at a level crossing is top priority and, at the same time, we have to consider the convenience an…
View article: 1A23 Development of microelectronic level crossing controller with a built-in constant warning time control logic(Electrical-Power)
1A23 Development of microelectronic level crossing controller with a built-in constant warning time control logic(Electrical-Power) Open
In Japan long waiting times at level crossings is a social issue. To solve this problem effectively we have developed a microelectronic level crossing controller with built-in constant warning time control logic. Conventional logic would r…