Aggregation in hierarchical discrete-event systems (Q1412284)

The authors elaborate on the hierarchical partition of automata-based discrete-event systems and provide algorithms which can be applied in practical applications. In the first part of the paper, they focus on the question of how to obtain a decomposition of a hierarchical system. Their hierarchical decomposition is illustrated with simple examples from source-target control and supervisory control with uncontrollable events and unsafe states.