Title of article :
A Small Model Theorem for Bisimilarity Control Under Partial Observation
Author/Authors :
C. Zhou and R. Kumar، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
Bisimulation equivalence , discrete event systems (DESs) , nondeterministic systems , Partial observation , supervisory control.
Journal title :
I E E E Transactions on Automation Science and Engineering
Journal title :
I E E E Transactions on Automation Science and Engineering
