|
|
Volumn 5, Issue , 2000, Pages 3533-3539
|
|
Formal verification for analysis and design of reconfigurable controllers for manufacturing systems
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
CLOSED LOOP CONTROL SYSTEMS;
COMPUTER PROGRAMMING LANGUAGES;
CONTROL SYSTEM ANALYSIS;
CONTROL SYSTEM SYNTHESIS;
ITERATIVE METHODS;
MATHEMATICAL MODELS;
OBJECT ORIENTED PROGRAMMING;
PROBLEM SOLVING;
REAL TIME SYSTEMS;
THEOREM PROVING;
FORMAL VERIFICATION;
REAL TIME TEMPORAL LANGUAGE;
RECONFIGURABLE MACHINING SYSTEM;
TIMED TRANSITION MODEL;
HIERARCHICAL SYSTEMS;
|
|
EID: 0034542135
PISSN: 07431619
EISSN: None
Source Type: Journal
DOI: 10.1109/acc.2000.879227 Document Type: Article |
|
Times cited : (1)
|
|
References (0)
|
