Marked-string accepting observers for the hierarchical and decentralized control of discrete event systems

2006-12-01
Schmidt, Klaus Verner
Moor, Thomas
The paper extends previous work, where we develop a control theory for nonblocking hierarchical control of decentralized discrete event systems (DES). The results are based on two technical conditions for the hierarchical abstraction: it has to be (i) locally nonblocking and (ii) marked string accepting. In this paper, we investigate the systematic construction of the hierarchical abstraction. Starting from an initial natural projection which need not fulfill (i) and (ii), we provide an algorithm to compute the hierarchical abstraction with the coarsest equivalence kernel finer than that of the initial natural projection, and such that (i) and (ii) hold. Our approach extends the work in [10], where the authors compute observers for the hierarchical control of DES.
Citation Formats
K. V. Schmidt and T. Moor, “Marked-string accepting observers for the hierarchical and decentralized control of discrete event systems,” Ann Arbor, MI, USA, 2006, p. 413, Accessed: 00, 2021. [Online]. Available: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=34250637050&origin=inward.