Model aggregation for hierarchical control synthesis of discrete event systems

A model aggregation approach is developed for discrete event systems described by condition/event automata, a class of condition/event systems. It is based on input-output equivalence of the systems. With the approach, a higher level model of a plant in the hierarchical control synthesis of discrete event systems can be derived from a lower level model by hiding insignificant states and events while keeping the input-output behaviour of the plant invariant in view of the higher level