摘要：AbstractWith a structured state space, state-tree structures (STS) are a powerful framework to model hierarchical finite state machines (HFSM). The boundary consistency property of STS endows them a compact and neatly representation. In this study, by naturally decomposing an STS into a set of STS nests in a top-down nested approach and finding a supervisor for each, the boundary consistency property is extended to the supervisory control of STS. As a consequence, the state spaces for both the system model and optimal supervisor are significantly reduced. Two examples are provided, in which the state space of a large scale HFSM example is reduced from 1024to 2×1018.
关键词：KeywordsDiscrete-event systemnonblocking supervisory controlstate-tree structuresymbolic computationnested state feedback control
