Bidirectional Dynamic Reconfiguration of Discrete-Event Systems
Jiachen Zhang, Walter Murray Wonham · 2020
We study the fundamentals of bidirectional reconfiguration for discrete-event systems with an arbitrary number of modes. Our approach is to construct reconfiguration specifications based on analysis of plant components and generate a reconfiguration plant. The latter is the synchronous product of the original plant and the reconfiguration specifications. As a result, a reconfiguration is always defined at states that belong to both the source mode and the target mode. Besides, the resulting reconfiguration plant is compact, nonblocking, and compatible with supervisory control under behavioral specifications.