Bidirectional and Multiple Reconfiguration of Discrete-Event Systems (Report -- 2019-07-14)

Abstract: Owing to the complexity and flexibility of modern industry, a system often has multiple operation modes and the reconfiguration mechanism is often required to be bidirectional. The unidirectional reconfiguration approach for discrete-event systems has been proved to effectively solve one-way reconfiguration problems modeled from real scenarios but fails to handle bidirectional reconfiguration problems. In this report, we study the fundamentals of bidirectional reconfiguration and multiple reconfiguration of discrete-event systems. Specifically, we introduce a bidirectional reconfiguration specification by analyzing states and events in each plant component and extend similar techniques to multiple reconfiguration in both monolithic and localized architectures. The proposed approaches are compatible with supervisory control theory, so the resulting supervisors can regulate both reconfiguration and normal behaviors of the system. Finally, the trigger requirement and guaranteed reachability are studied as notable issues in applications.