Title of article :
Existence characterizations of temporal-safety supervisors
Author/Authors :
Kiam Tian Seow، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
Controllable canonical form , logical discrete-event (DES)system , Supervisory control , temporal safety.
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control
