81–100 of 101 hits
|

    An Estimation Method of the Volume of Passengers on Board Applicable for Evaluation of Traffic Rescheduling Plans

    Hirai, C. / Tomii, N. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    Towards Domain-Specific Formal Specification Languages for Railway Control Systems

    Peleska, J. / Baer, A. / Haxthausen, A. E. et al. | British Library Conference Proceedings | 2001

    Special Session on Formal Methods in Transport - Notes of the Editor

    Montigel, M. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    Dynamic Simulation of Traffic and Its Environmental Impacts

    Eissfeldt, N. / Metzler, M. / Wagner, P. et al. | British Library Conference Proceedings | 2001

    Traffic Control on Airport Movement Areas - State of the Development

    Klein, K. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    Non Linear Predictive Controller for an Electromagnetic Suspension System

    Hedjar, R. / Toumi, R. / Boucher, P. et al. | British Library Conference Proceedings | 2001

    Progression Optimization in Priority Arterial Signal Networks

    Stamatiadis, C. / Gartner, N. H. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    On-Board Turnout in a Flexible Operation of Rail-Guided Transport System

    Koseki, T. / Yang, Z. P. / Ujihara, Y. et al. | British Library Conference Proceedings | 2001

    Method for the Development of a Special Railway Interlocking Subsystem

    Tarnai, G. / Saghi, B. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    Modern Procedures for the Definition of Safety and Availability Requirements

    Mihm, P. E. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    New Control Method of On-Board ATP System of Shinkansen Trains

    Fukuda, N. / Watanabe, T. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    ALOIS - An Integrated Train Positioning and Information System

    Musaus, S. / Heister, H. / Koppers, L. et al. | British Library Conference Proceedings | 2001

    Methodology and Algorithms for Railway Crew Management

    Goncalves, R. / Gomide, F. / Lagrimante, R. et al. | British Library Conference Proceedings | 2001

    Optimization of Traffic Flow Through the Use of Running Lights

    Ehmanns, D. / Ludmann, J. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    An Internet Based On-Line Architecture for Real-Time Traffic Systems Control

    Peeta, S. / Pasupathy, R. / Gedela, S. et al. | British Library Conference Proceedings | 2001

    Combining Traffic Assignment and Adaptive Control in a Dynamic Traffic Management System

    Gartner, N. H. / Stamatiadis, C. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    Modelling the Generalized Railway Crossing with Hybrid Abstract State Machines

    Rust, H. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    Specification of Train Control Systems with STEP

    Bikker, G. / Daubler, L. / Horste, M. M. z. et al. | British Library Conference Proceedings | 2001

    How to Change Urban Traffic with City Logistics

    Kohler, U. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    VDM Specification of an Interlocking System and a Simulator for Its Validation

    Fukuda, M. / Hirao, Y. / Ogino, T. et al. | British Library Conference Proceedings | 2001