|
|
|
Volumn 3, Issue , 1999, Pages 1976-1980
|
|
Control computation and complexity of temporal-safety in discrete-event systems
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ACCIDENT PREVENTION;
ALGORITHMS;
COMPUTATIONAL COMPLEXITY;
COMPUTATIONAL LINGUISTICS;
CONTROL SYSTEM ANALYSIS;
CONTROL SYSTEM SYNTHESIS;
DECISION THEORY;
FEEDBACK CONTROL;
MATHEMATICAL MODELS;
MATHEMATICAL OPERATORS;
SCADA SYSTEMS;
SAFETY CONTROL SYNTHESIS;
TEMPORAL LOGICS;
WORST-CASE COMPLEXITY ANALYSIS;
DISCRETE TIME CONTROL SYSTEMS;
|
|
EID: 0033283370
PISSN: 07431619
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (1)
|
|
References (11)
|
