Navigation and Control of an Autonomous Vehicle
Line Block Analysis in Railway Dispatch and Simulation Systems
Consistent Integration of Heterogeneous Data Bases
A Closer Examination of Overtaking Prohibitions for Trucks
Three Categories of Traffic Data: Historical, Current, and Predictive
Experience on the Use of a Formal Method in a Railway Company
Towards Domain-Specific Formal Specification Languages for Railway Control Systems
Special Session on Formal Methods in Transport - Notes of the Editor
Dynamic Simulation of Traffic and Its Environmental Impacts
Traffic Control on Airport Movement Areas - State of the Development
Non Linear Predictive Controller for an Electromagnetic Suspension System
Progression Optimization in Priority Arterial Signal Networks
On-Board Turnout in a Flexible Operation of Rail-Guided Transport System
Method for the Development of a Special Railway Interlocking Subsystem
Modern Procedures for the Definition of Safety and Availability Requirements
New Control Method of On-Board ATP System of Shinkansen Trains
ALOIS - An Integrated Train Positioning and Information System
Methodology and Algorithms for Railway Crew Management