Title of article :
A temporal logic approach to discrete event control for the safety canonical class
Author/Authors :
Kiam Tian Seow، نويسنده , , R. Devanathan، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1996
Keywords :
Discrete Event Systems , Supervisory control , Temporal Logic , Safety canonical class
Journal title :
Systems and Control Letters
Journal title :
Systems and Control Letters
