|
Volumn 2, Issue , 2001, Pages 1290-1295
|
Design and verification of supervisory controller of high-speed train
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AUTOMATA THEORY;
COMPUTER AIDED SOFTWARE ENGINEERING;
COMPUTER SIMULATION;
DISPLAY DEVICES;
ELECTRIC BRAKES;
ELECTRIC CIRCUIT BREAKERS;
FUEL CELLS;
PASSENGER CARS;
SCADA SYSTEMS;
SPECIFICATIONS;
TRACTION (FRICTION);
BRAKE CONTROL UNIT;
DISCRETE EVENT SYSTEM;
HIGH-LEVEL CONTROL SPECIFICATION;
HIGH-SPEED TRAIN;
SUPERVISORY CONTROL UNIT;
TRACTION CONTROL UNIT;
VEHICLE CONTROL UNIT;
CONTROL SYSTEM SYNTHESIS;
|
EID: 0034851614
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (2)
|
References (9)
|