Keyword : multiple deterministic model


Nonblocking Supervisory Control of Nondeterministic Systems Based on Multiple Deterministic Model Approach
Seong-Jin PARK Jong-Tae LIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/05/25
Vol. E83-D  No. 5 ; pp. 1177-1180
Type of Manuscript:  LETTER
Category: Theory of Automata, Formal Language Theory
Keyword: 
nondeterministic DESsnonblocking supervisormultiple deterministic model
 Summary | Full Text:PDF(275KB)