Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control

Abstract
No abstract available