Parametric Modeling of Blurred Images for Image Restoration
Personal Mobility Vehicle for Assisting Short-Range Transportation
Working out an incomplete cyclic train timetable for high-speed railways by computer
Track test monitoring system using a multipurpose experimental train
How regular is a regular-interval timetable? From theory to application
Formalizing train control language: automating analysis of train stations
Software redundancy design for a Human-Machine Interface in railway vehicles
A simulation analysis of train rescheduling strategies on Chinese passenger dedicated lines
A heuristic algorithm for the circulation plan of railway electrical motor units
A model-based framework for the safety analysis of computer-based railway signalling systems
Development of an ES2-type point machine (monitoring of point machine)
Development of the new CBTC system simulation and performance analysis
SAT.engine: automated planning and validation tools for modern train control systems
Automated system testing of an automatic train protection system
A heuristic approach to railway track maintenance scheduling
Development, testing and implementation of the pantograph damage assessment system (PANDAS)