Title of article :
Know means no: Incorporating knowledge into discrete-event control systems
Author/Authors :
Ricker، نويسنده , , S.L.، نويسنده , , Rudie، نويسنده , , K.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Keywords :
Automata , Discrete-event systems , modal logic.
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control
