Repulsive/Attractive Discrete State Space Sets for Switching Management

This paper deals with operating mode management of Discrete Event Systems (DES) and this contribution is based on Supervisory Control Theory (SCT). Our aim is to extend SCT by introducing a mechanism for managing different operating modes for the controlled system. An operating mode corresponds to a specific system structure (engagement or disengagement of different system components) and specified tasks. Mode management will consist in controlling switching between modes with a view to handling models of reasonable size. Our approach is a multi-model one and involves representing a complex system by a set of simple models, each of which describes the system in a given operating mode. The adopted approach assumes that only one attempted operating mode is activated at a time, whilst other modes must be deactivated. The switching problem may be defined as finding compatible states, when controlled system behavior switches from one operating mode to another. The major contribution of this paper is the avoidance of switching from states (called forbidden states) with ghost compatible states in the selected operating mode. These states are called ghost because their existence would potentially violate a defined selected mode specification.

[1]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[2]  Chafik Samir,et al.  Supervisory uniqueness for operating mode systems , 2005 .

[3]  R.P. Malhame,et al.  Supervisory control of distributed systems: conflict resolution , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[4]  Ratnesh Kumar.  Supervisory synthesis techniques for discrete event dynamical systems , 1992 .

[5]  A. Pnueli,et al.  Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.

[6]  Douglas T. Ross,et al.  Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[7]  Frédéric Rotella,et al.  Process operating mode monitoring: switching online the right controller , 2001, IEEE Trans. Syst. Man Cybern. Syst..

[8]  M. Zefran,et al.  Design of switching controllers for systems with changing dynamics , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[9]  Nadia Hamani,et al.  A formal approach for reactive mode handling , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[10]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: incorporating timing information , 2005, IEEE Transactions on Automatic Control.

[11]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[12]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.

[13]  Mustapha Nourelfath,et al.  Modular supervisory control of an experimental automated manufacturing system , 2004 .