Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems

For supervisory control of large-scale modular DES the possibility of performing control-related computation locally (in components) is of utmost importance to computational complexity. Unlike our previous results, where the specification language is decomposable into local specification languages, this paper concerns the case of general specification languages that are neither necessarily decomposable nor contained in the global plant language. Still the conditions are found under which building of the global plant is avoided for the computation of the supremal normal sublanguages of the (global) specification language.