مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Model matching for finite-state machines

Author/Authors :

Di Benedetto، نويسنده , , M.D.، نويسنده , , Sangiovanni-Vincentelli، نويسنده , , A.، نويسنده , , Villa، نويسنده , , T.، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2001

Pages :

From page :

1726

To page :

1743

Keywords :

Discrete-event systems , Finite-state machines , model matching , supervisory control.

Journal title :

IEEE Transactions on Automatic Control

Serial Year :

2001

Journal title :

IEEE Transactions on Automatic Control

Record number :

386059

Link To Document :