An algorithm for computing the mask value of the supremal normal sublanguage of a legal language
Michel Barbeau, Guy Custeau, Richard St‐Denis · IEEE Transactions on Automatic Control · 1995
We consider the problem of finding the mask value of the supremal normal sublanguage L/sub R/ of some given language L. We describe a straightforward algorithmic solution that can be applied to existing off-line procedures for determining the supremal controllable and normal sublanguage of L and that does not require an explicit calculation of L/sub R/. This problem is fundamental because it is related to the supervisory control problem under partial observation. Our algorithm applies only to closed languages.>