Schmidt, Klaus WernerBreindl, 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-9286http://hdl.handle.net/20.500.12416/1166The 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 systemeninfo:eu-repo/semantics/closedAccessDecentralized ControlDiscrete Event SystemsHierarchical ControlLarge-Scale SystemsMaximal PermissivenessSupervisory ControlArticle56472373710.1109/TAC.2010.2067250