Schmidt, KlausBreindl, Christian2016-06-272016-06-272011Schmidt, K., Breindl, C. (2011). Maximally permissive hierarchical control of decentralized discrete event systems. IEEE Transactions On Automatic Control, 56(4), 723-737. http://dx.doi.org/10.1109/TAC.2010.20672500018-9286https://doi.org/10.1109/TAC.2010.2067250Schmidt, Ece Guran/0000-0002-4062-389XThe subject of this paper is the synthesis of natural projections that serve as nonblocking and maximally permissive abstractions for the hierarchical and decentralized control of large-scale discrete event systems. To this end, existing concepts for nonblocking abstractions such as natural observers and marked string accepting (msa)-observers are extended by local control consistency (LCC) as a novel sufficient condition for maximal permissiveness. Furthermore, it is shown that, similar to the natural observer condition and the msa-observer condition, also LCC can be formulated in terms of a quasi-congruence. Based on existing algorithms in the literature, this allows to algorithmically compute natural projections that are either natural observers or msa-observers and that additionally fulfill LCC. The obtained results are illustrated by the synthesis of nonblocking and maximally permissive supervisors for a manufacturing system.eninfo:eu-repo/semantics/closedAccessDecentralized ControlDiscrete Event SystemsHierarchical ControlLarge-Scale SystemsMaximal PermissivenessSupervisory ControlArticle56472373710.1109/TAC.2010.20672502-s2.0-79953789210WOS:000289203300001Q1Q1