Computationally Efficient Supervisor Design: Control Flow Decomposition
Lei Feng, Walter Murray Wonham · 2006
This paper presents structural criteria for qualitative reasoning and reduction in discrete event systems. On this basis, the computation of a control synthesis may be considerably simplified. Interconnections among plant components and specifications are captured by a new modeling tool, control-flow net. Special net structures that guarantee nonblocking control are identified