M. Barbeau et al., AN ALGORITHM FOR COMPUTING THE MASK VALUE OF THE SUPREMAL NORMAL SUBLANGUAGE OF A LEGAL LANGUAGE, IEEE transactions on automatic control, 40(4), 1995, pp. 699-703
Citations number
15
Categorie Soggetti
Controlo Theory & Cybernetics","Robotics & Automatic Control","Engineering, Eletrical & Electronic
We consider the problem of finding the mask value of the supremal norm
al sublanguage L(R) of some given language L. We describe a straightfo
rward algorithmic solution that can be applied to existing off-line pr
ocedures for determining the supremal controllable and normal sublangu
age of L and that does not require an explicit calculation of L(R). Th
is problem is fundamental because it is related to the supervisory con
trol problem under partial observation. Our algorithm applies only to
closed languages.