Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines

• 1 January 1998
• journal article
• research article
• Published by Springer Nature in Discrete Event Dynamic Systems
• Vol. 8  (4) , 377-429
• https://doi.org/10.1023/a:1008301317459

Abstract

Keywords

• SUPERVISORY CONTROL
• BISIMULATION
• MODEL MATCHING
• CONTROLLABILITY