A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems
For researchers in discrete-event systems, it offers a theoretical framework to achieve maximal permissiveness in modular control, but the results are incremental and theoretical.
The paper proposes a uniform approach to maximal permissiveness in modular control of discrete-event systems, introducing concepts of monotonicity, distributivity, and exchangeability, and provides sufficient conditions for distributed computation of supremal relatively observable sublanguages.
In this paper, a uniform approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loops: monotonicity, distributivity, and exchangeability. Monotonicity of various closed-loops satisfying a given property considered in this paper holds whenever the underlying property is preserved under language unions. Distributivity holds if the inverse projections of local plants satisfy the given property with respect to each other. Among new results, sufficient conditions are proposed for distributed computation of supremal relatively observable sublanguages.