Effective computation of an L/sub m/(G)-closed, controllable, and observable sublanguage arising in supervisory control | IEEE Conference Publication | IEEE Xplore