| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Achieving Targets Quickly with Rapid Prototyping
|
Mathias, Matz
|
|
2000
|
33 |
9 |
p. 597-599
3 p.
|
artikel
|
| 2 |
A Closer Examination of Overtaking Prohibitions for Trucks
|
Hoogendoorn, Serge P.
|
|
2000
|
33 |
9 |
p. 227-234
8 p.
|
artikel
|
| 3 |
Adaptive Information Filter for the Fusion of Data from the Object-Detecting Sensors of an Autonomous Vehicle
|
Becker, Jan C.
|
|
2000
|
33 |
9 |
p. 247-252
6 p.
|
artikel
|
| 4 |
A Detection Method for Traffic Incident Using Wavelet Analysis
|
Ma, Shoufeng
|
|
2000
|
33 |
9 |
p. 241-245
5 p.
|
artikel
|
| 5 |
ALOIS – An Integrated Train Positioning and Information System
|
Musäus, S.
|
|
2000
|
33 |
9 |
p. 401-405
5 p.
|
artikel
|
| 6 |
A Low Cost Tool for Rescheduling in Regional Public Transport Systems
|
Koch, Wilfried
|
|
2000
|
33 |
9 |
p. 317-322
6 p.
|
artikel
|
| 7 |
A Multi-Sensor-System for Advanced Surface Movement Guidance and Control Concept and First Results
|
Meier, Christoph
|
|
2000
|
33 |
9 |
p. 329-335
7 p.
|
artikel
|
| 8 |
A Multivariable Regulator Approach to Traffic-Responsive Network-Wide Signal Control
|
Diakaki, Christina
|
|
2000
|
33 |
9 |
p. 561-566
6 p.
|
artikel
|
| 9 |
An Estimation Method of the Volume of Passengers on Board Applicable for Evaluation of Traffic Rescheduling Plans
|
Hirai, Chikara
|
|
2000
|
33 |
9 |
p. 153-158
6 p.
|
artikel
|
| 10 |
A New Dynamic Multi-D.O.F. Tire-Model
|
Sorine, Michel
|
|
2000
|
33 |
9 |
p. 549-554
6 p.
|
artikel
|
| 11 |
An Integrated Object-Oriented Network – and Modal Split-Model
|
Schüler, Thorsten
|
|
2000
|
33 |
9 |
p. 215-220
6 p.
|
artikel
|
| 12 |
An Internet Based On-Line Architecture for Real-Time Traffic Systems Control
|
Peeta, Srinivas
|
|
2000
|
33 |
9 |
p. 287-292
6 p.
|
artikel
|
| 13 |
A Simulation Framework for Railway System Electromagnetic Compatibility Assessment
|
Fay, Alexander
|
|
2000
|
33 |
9 |
p. 511-516
6 p.
|
artikel
|
| 14 |
Assessment Criteria and Safety Case Fundamentals
|
Nordland, Odd
|
|
2000
|
33 |
9 |
p. 499-504
6 p.
|
artikel
|
| 15 |
Author Index
|
|
|
2000
|
33 |
9 |
p. 621-622
2 p.
|
artikel
|
| 16 |
Automatic Fault-Tree Generation as a Support for Safety Studies of Railway Interlocking Systems
|
Szabó, G.
|
|
2000
|
33 |
9 |
p. 437-442
6 p.
|
artikel
|
| 17 |
Automatic Tracing and Forecasting of Moving Traffic Jams Using Predictable Features of Congested Traffic Flow
|
Kerner, B.S.
|
|
2000
|
33 |
9 |
p. 477-482
6 p.
|
artikel
|
| 18 |
Autonomous Driving on Vehicle Test Tracks: Overview, Implementation and First Results
|
Weisser, Hubert
|
|
2000
|
33 |
9 |
p. 365-368
4 p.
|
artikel
|
| 19 |
A Wavelet Packet Algorithm for Online Detection of Pantograph Vibrations
|
Mercorelli, P.
|
|
2000
|
33 |
9 |
p. 235-240
6 p.
|
artikel
|
| 20 |
Axiomatic Safety-Critical Assessment Process (ASCAP) Simulation Methodology
|
Kaufman, Lori M.
|
|
2000
|
33 |
9 |
p. 505-510
6 p.
|
artikel
|
| 21 |
Basic Study on a Simulation Model for the Traffic Stream on Urban Expressway Merging Area
|
Makigami, Yasuji
|
|
2000
|
33 |
9 |
p. 71-76
6 p.
|
artikel
|
| 22 |
Combining Traffic Assignment and Adaptive Control in a Dynamic Traffic Management System
|
Gartner, Nathan H.
|
|
2000
|
33 |
9 |
p. 281-286
6 p.
|
artikel
|
| 23 |
Concept of Navigation and Automatic Steering of the Measuring Dolphin
|
Majohr, Jürgen
|
|
2000
|
33 |
9 |
p. 95-100
6 p.
|
artikel
|
| 24 |
Consistent Integration of Heterogeneous Data Bases
|
Porschke, Jan-philip
|
|
2000
|
33 |
9 |
p. 273-279
7 p.
|
artikel
|
| 25 |
Contactless Utilisation of an Electronic Purse for Automatic Fare Management in Public Transport
|
Gründel, Torsten
|
|
2000
|
33 |
9 |
p. 39-44
6 p.
|
artikel
|
| 26 |
Cost-Benefit Analysis of Investments into Railway Networks with Evolutionary Optimization
|
Kolonko, Michael
|
|
2000
|
33 |
9 |
p. 313-316
4 p.
|
artikel
|
| 27 |
Data Fusion Techniques for Advanced Traffic Control Systems
|
Reinhart Kühne, D.
|
|
2000
|
33 |
9 |
p. 337-342
6 p.
|
artikel
|
| 28 |
Decentralized Railway Control Based on Autonomous Agents
|
Fay, Alexander
|
|
2000
|
33 |
9 |
p. 83-88
6 p.
|
artikel
|
| 29 |
Design and Development of a Future Freight Train Concept – “Virtually Coupled Train Formations”
|
Bock, U.
|
|
2000
|
33 |
9 |
p. 395-400
6 p.
|
artikel
|
| 30 |
Design of a Railway Carriage, Driven by a Linear Motor with Active Suspension/Tilt Module
|
Henke, Markus
|
|
2000
|
33 |
9 |
p. 541-548
8 p.
|
artikel
|
| 31 |
Development of Software Structure for Integrated Navigation Receivers in Shipping
|
Gluch, Michael
|
|
2000
|
33 |
9 |
p. 407-412
6 p.
|
artikel
|
| 32 |
Distributed Traffic Data Acquisition for Short-Term Presentation in Digital Media
|
Hoyer, Robert
|
|
2000
|
33 |
9 |
p. 173-177
5 p.
|
artikel
|
| 33 |
Dynamic Simulation of Traffic and Its Environmental Impacts
|
Eissfeldt, N.
|
|
2000
|
33 |
9 |
p. 65-70
6 p.
|
artikel
|
| 34 |
Evaluation of Train-Speed Control Algorithms
|
Slavik, M.M.
|
|
2000
|
33 |
9 |
p. 419-423
5 p.
|
artikel
|
| 35 |
Expectation-Based, Multi-Focal, Saccadic (EMS-) Vision for Vehicle Guidance
|
Dickmanns, Ernst D.
|
|
2000
|
33 |
9 |
p. 523-528
6 p.
|
artikel
|
| 36 |
Experience on the Use of a Formal Method in a Railway Company
|
Burdy, Lilian
|
|
2000
|
33 |
9 |
p. 193-197
5 p.
|
artikel
|
| 37 |
Formal Software Techniques for Railway Systems
|
Bjørner, Dines
|
|
2000
|
33 |
9 |
p. 101-108
8 p.
|
artikel
|
| 38 |
Functional vs. Technical Modularization of Train Control Systems
|
Janhsen, Axel
|
|
2000
|
33 |
9 |
p. 465-470
6 p.
|
artikel
|
| 39 |
How to Change Urban Traffic with City Logistics
|
Köhler, Uwe
|
|
2000
|
33 |
9 |
p. 199-201
3 p.
|
artikel
|
| 40 |
Improving Availability and Reliability of High Accuracy Integrated Systems
|
Altmayer, Christian
|
|
2000
|
33 |
9 |
p. 373-382
10 p.
|
artikel
|
| 41 |
Line Block Analysis in Railway Dispatch and Simulation Systems
|
Rondón, Magali
|
|
2000
|
33 |
9 |
p. 389-393
5 p.
|
artikel
|
| 42 |
Macroscopic Traffic Simulation for On-Line Forecasting
|
Knibbe, W.J.J.
|
|
2000
|
33 |
9 |
p. 21-26
6 p.
|
artikel
|
| 43 |
Markovian Analysis of a Safety-Critical Data Transmission System
|
Braband, Jens
|
|
2000
|
33 |
9 |
p. 443-448
6 p.
|
artikel
|
| 44 |
Method for the Development of a Special Railway Interlocking Subsystem
|
Tarnai, G.
|
|
2000
|
33 |
9 |
p. 471-476
6 p.
|
artikel
|
| 45 |
Methodology and Algorithms for Railway Crew Management
|
Gonçalves, Rodrigo
|
|
2000
|
33 |
9 |
p. 323-328
6 p.
|
artikel
|
| 46 |
Metromiser: A System for Conserving Traction Energy and Regulating Punctuality in Urban Rail Services
|
Baier, Torsten
|
|
2000
|
33 |
9 |
p. 343-347
5 p.
|
artikel
|
| 47 |
Micromechanical Sensors for the Inertial Measurement Unit of a Satellite Navigation System
|
Bütefisch, S.
|
|
2000
|
33 |
9 |
p. 7-13
7 p.
|
artikel
|
| 48 |
Microsystems for Transportation: An Overview of the Different Applications
|
Mounier, Eric
|
|
2000
|
33 |
9 |
p. 51-54
4 p.
|
artikel
|
| 49 |
Microsystems – The Key for Modern Transportation
|
Ehrfeld, W.
|
|
2000
|
33 |
9 |
p. 1-6
6 p.
|
artikel
|
| 50 |
Modeling and Analysis of a Freight Terminal with Stochastic Petri Nets
|
Kemper, Peter
|
|
2000
|
33 |
9 |
p. 267-272
6 p.
|
artikel
|
| 51 |
Modelling and Performance Evaluation of Railway Traffic Under Stochastic Disturbances
|
Zhu, Penglin
|
|
2000
|
33 |
9 |
p. 303-312
10 p.
|
artikel
|
| 52 |
Modelling Railway Interlocking Systems
|
Lindegaard, Morten P.
|
|
2000
|
33 |
9 |
p. 179-185
7 p.
|
artikel
|
| 53 |
Modelling the Generalized Railway Crossing with Hybrid Abstract State Machines
|
Rust, Heinrich
|
|
2000
|
33 |
9 |
p. 253-260
8 p.
|
artikel
|
| 54 |
Modern Procedures for the Definition of Safety and Availability Requirements
|
Mihm, Peter Eberhard
|
|
2000
|
33 |
9 |
p. 431-435
5 p.
|
artikel
|
| 55 |
Modern Revenue Management Strategies for Railway Slots
|
Schroeder, Μ.
|
|
2000
|
33 |
9 |
p. 141-146
6 p.
|
artikel
|
| 56 |
Movement is Life: Different Aspects of Road Traffic Signs Performance
|
De Winne, Etienne
|
|
2000
|
33 |
9 |
p. 297-302
6 p.
|
artikel
|
| 57 |
Navigation and Control of an Autonomous Vehicle
|
Andreas, Simon
|
|
2000
|
33 |
9 |
p. 449-458
10 p.
|
artikel
|
| 58 |
New Concepts for High-Level Petri Nets in the Application Domain of Train Control Systems
|
Padberg, J.
|
|
2000
|
33 |
9 |
p. 125-132
8 p.
|
artikel
|
| 59 |
New Control Method of On-Board ATP System of Shinkansen Trains
|
Fukuda, Noriko
|
|
2000
|
33 |
9 |
p. 425-430
6 p.
|
artikel
|
| 60 |
Non-Linear Design of an IGV-FAN Servo System for Surface Effect Ships
|
Savaresi, Sergio M.
|
|
2000
|
33 |
9 |
p. 601-606
6 p.
|
artikel
|
| 61 |
Non Linear Predictive Controller for an Electromagnetic Suspension System
|
Hedjar, R.
|
|
2000
|
33 |
9 |
p. 585-589
5 p.
|
artikel
|
| 62 |
Nonlinear Torque Control of a Spark Ignition Engine
|
Hohmann, Sören
|
|
2000
|
33 |
9 |
p. 591-596
6 p.
|
artikel
|
| 63 |
Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods
|
Zu Hörste, Michael Meyer
|
|
2000
|
33 |
9 |
p. 113-118
6 p.
|
artikel
|
| 64 |
Novel Optical Backplane for Automotive Applications
|
Kufner, S.
|
|
2000
|
33 |
9 |
p. 55-57
3 p.
|
artikel
|
| 65 |
Object Detection with Laser Scanners for Automotive Applications
|
Ewald, Andreas
|
|
2000
|
33 |
9 |
p. 369-372
4 p.
|
artikel
|
| 66 |
On-Board Turnout in a Flexible Operation of Rail-Guided Transport System
|
Koseki, Takafumi
|
|
2000
|
33 |
9 |
p. 535-540
6 p.
|
artikel
|
| 67 |
On Data Acquisition, Modeling and Simulation of Highway Traffic
|
Tom, Bellemans
|
|
2000
|
33 |
9 |
p. 15-20
6 p.
|
artikel
|
| 68 |
Optimal Digital Control of Transients in Transportation Systems
|
Lampe, B.P.
|
|
2000
|
33 |
9 |
p. 45-49
5 p.
|
artikel
|
| 69 |
Optimization Criteria for Public Transportation Services
|
Lewandowski, Stefan
|
|
2000
|
33 |
9 |
p. 27-31
5 p.
|
artikel
|
| 70 |
Optimization of Prices for Air Traffic Control
|
Deschinkel, Karine
|
|
2000
|
33 |
9 |
p. 147-152
6 p.
|
artikel
|
| 71 |
Optimization of Traffic Flow Through the Use of Running Lights
|
Ehmanns, Dirk
|
|
2000
|
33 |
9 |
p. 293-296
4 p.
|
artikel
|
| 72 |
Performance of Metro Control Systems
|
Kraft, Karl Heinz
|
|
2000
|
33 |
9 |
p. 413-417
5 p.
|
artikel
|
| 73 |
Periodic Control of Vibrations in Helicopters
|
Cuzzola, Francesco A.
|
|
2000
|
33 |
9 |
p. 579-584
6 p.
|
artikel
|
| 74 |
Preface
|
Schnieder, Eckehard
|
|
2000
|
33 |
9 |
p. v-
1 p.
|
artikel
|
| 75 |
Probabilistic Vehicle Routing and Scheduling with Variable Travel Times
|
Taniguchi, Eiichi
|
|
2000
|
33 |
9 |
p. 33-38
6 p.
|
artikel
|
| 76 |
Progression Optimization in Priority Arterial Signal Networks
|
Stamatiadis, Chronis
|
|
2000
|
33 |
9 |
p. 555-560
6 p.
|
artikel
|
| 77 |
Rail Traffic Control Under Disrupted Conditions
|
Komaya, K.
|
|
2000
|
33 |
9 |
p. 77-82
6 p.
|
artikel
|
| 78 |
Reliability and Safety Analysis of Automatic Train Protection System
|
Yan, Jianping
|
|
2000
|
33 |
9 |
p. 615-619
5 p.
|
artikel
|
| 79 |
Rendezvous-Manoeuvre with Synchronous Long-Stator-Motor
|
Steingröver, Andreas
|
|
2000
|
33 |
9 |
p. 493-498
6 p.
|
artikel
|
| 80 |
Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods
|
Reif, Wolfgang
|
|
2000
|
33 |
9 |
p. 261-266
6 p.
|
artikel
|
| 81 |
Semitrailers in Advanced Intermodal Logistics
|
Henning, K.
|
|
2000
|
33 |
9 |
p. 489-492
4 p.
|
artikel
|
| 82 |
Simulation of Subway Operation Using Neural Networks
|
Zastrow, Kai Frederik
|
|
2000
|
33 |
9 |
p. 59-63
5 p.
|
artikel
|
| 83 |
Sliding Mode Observer Design for Automatic Steering of Vehicle
|
Zhang, J.R.
|
|
2000
|
33 |
9 |
p. 529-533
5 p.
|
artikel
|
| 84 |
Special Session on Formal Methods in Transport – Notes of the Editor
|
Montigel, Markus
|
|
2000
|
33 |
9 |
p. 109-111
3 p.
|
artikel
|
| 85 |
Specification of Train Control Systems with STEP
|
Bikker, Gert
|
|
2000
|
33 |
9 |
p. 209-214
6 p.
|
artikel
|
| 86 |
Stability Issues for Dynamic Traffic Assignment
|
Srinivas, Peeta
|
|
2000
|
33 |
9 |
p. 483-487
5 p.
|
artikel
|
| 87 |
Teletravel System (TTS) Telematic System for the Automatic Survey of Travel Behaviour
|
Wermuth, Manfred
|
|
2000
|
33 |
9 |
p. 165-172
8 p.
|
artikel
|
| 88 |
The Emergency Braking Module for an Electronic Copilot Design and First Results
|
Ameling, Christian
|
|
2000
|
33 |
9 |
p. 459-464
6 p.
|
artikel
|
| 89 |
The Intermittent Bus Lane Signals Setting within an Area
|
Jose, Viegas
|
|
2000
|
33 |
9 |
p. 573-578
6 p.
|
artikel
|
| 90 |
The New Harmonised Train Management and Train Control System ERTMS/ETCS
|
Schulz-klingner, Axel
|
|
2000
|
33 |
9 |
p. 383-388
6 p.
|
artikel
|
| 91 |
The New Paradigm: The Extended System Theory. The Enterprise as a Meta-Intelligent Organism
|
Krüger, Jens
|
|
2000
|
33 |
9 |
p. 133-140
8 p.
|
artikel
|
| 92 |
The Results of a Dutch Experiment with Floating Car Data
|
Taale, Henk
|
|
2000
|
33 |
9 |
p. 159-164
6 p.
|
artikel
|
| 93 |
Three Categories of Traffic Data: Historical, Current, and Predictive
|
Chrobok, Roland
|
|
2000
|
33 |
9 |
p. 221-226
6 p.
|
artikel
|
| 94 |
Top Down Optimization of RAMS as Key to High Quality Public Transportation
|
Schütte, J.
|
|
2000
|
33 |
9 |
p. 349-364
16 p.
|
artikel
|
| 95 |
Towards Domain-Specific Formal Specification Languages for Railway Control Systems
|
Peleska, Jan
|
|
2000
|
33 |
9 |
p. 119-124
6 p.
|
artikel
|
| 96 |
Track Control of a Towed Underwater Sensor Carrier
|
Korte, Holger
|
|
2000
|
33 |
9 |
p. 89-94
6 p.
|
artikel
|
| 97 |
Traffic Control on Airport Movement Areas – State of the Development
|
Klein, Kurt
|
|
2000
|
33 |
9 |
p. 607-613
7 p.
|
artikel
|
| 98 |
Urban Intelligent Traffic System Based on Multi-Agent
|
Ou, Haitao
|
|
2000
|
33 |
9 |
p. 567-572
6 p.
|
artikel
|
| 99 |
VDM Specification of an Interlocking System and a Simulator for Its Validation
|
Fukuda, Mitsuyoshi
|
|
2000
|
33 |
9 |
p. 187-192
6 p.
|
artikel
|
| 100 |
Vehicle Diagnosis – An Application for Autonomous Driving
|
Michler, Thorsten
|
|
2000
|
33 |
9 |
p. 517-522
6 p.
|
artikel
|
| 101 |
XML – EDIFACT Translation in EDIPA System
|
Stoilov, T.
|
|
2000
|
33 |
9 |
p. 203-208
6 p.
|
artikel
|
Tijdschrift beschrijving