Mutually nonblocking supervisory control of discrete event systems
Author/Authors :
M. Fabian، نويسنده , , R. Kumar، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Pages :
7
From page :
1863
To page :
1869
Keywords :
Discrete Event Systems , formal languages , Modular speci"cation , Mutually nonblocking languages , Noncon-fiicting languages , Supervisory control theory