查看文章

In this paper, we propose a framework for designing suitable switching control decisions for discrete event systems (DES) whose structures change as they develop in different operating modes. Control decisions consist of either an event in a sequence to occur enabling an event or preventing the event from taking place disabling an event. Our contribution enables to adopt different modeling approaches and ensures switching between all designed process models when there is commutation between the operating modes. Thus, in the context of supervisory control theory (SCT), we propose that each model automaton represents process functionning in a specific operating mode. Specifications imposed on any operating mode could be conflicting. An attractive alternative is switching control, in which a different controller is applied to each operating mode [P. Charbonnaud, F. Rotella, S. Médar. Process Operating …