Supervisor reduction 과 관측함수 설계

Supervisor redection and observation function design

This paper investigates the relationship between the two problems, supervisor reduction and observation function (projection) design, which arise in supervisory control of DEDS. It is shown through an example that a reduced supervisor of minimal size does not necessarily result in a maximal projection when a projection design method which uses the transition structure of a supervisor is applied. Also, if an L-realizable projection P is available and if a supervisor has a special structural feature, a cover C for supervisor reduction can be easily obtained. By investigating the control-compatibility of states of the reduced supervisor based on C, we can also check maximality of P in a simple manner.