Multi-decision C&P∨D&A architecture for the decentralized control of discrete event systems

In this paper, we study the multi-decision decentralized control framework, introduced in the work of Chakib and Khoumsi (2008), within the context of C&P, D&A and C&PVD&A architectures. The new framework is based on the fact that each supervisor issues a tuple of so-called micro-decisions, instead of a single decision. For each architecture, we define the notion of m-coobservability, which is useful to characterize the class of achievable languages. Stronger and decidable varieties of m-coobservability are defined in order to cope with the problem of decomposing infinite languages encountered in verifying the m-coobservability. The decidability of the new varieties is ensured in the case of regular languages.

[1]  Jan H. van Schuppen,et al.  Maximal Solutions in Decentralized Supervisory Control , 2000, SIAM J. Control. Optim..

[2]  Stéphane Lafortune,et al.  Decentralized supervisory control with conditional decisions: supervisor existence , 2004, IEEE Transactions on Automatic Control.

[3]  Jan C. WillemsInstitute.  The Computational Complexity of Decentralized Discrete-Event Control Problems , 1993 .

[4]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

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

[6]  Shigemasa Takai,et al.  Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control , 2005, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[7]  S. Laurie Ricker,et al.  Know means no: Incorporating knowledge into discrete-event control systems , 2000, IEEE Trans. Autom. Control..

[8]  A. Khoumsi,et al.  Multi-decision decentralized control of discrete event systems : Application to the C&P architecture , 2008, 2008 9th International Workshop on Discrete Event Systems.

[9]  Shengbing Jiang,et al.  Decentralized control of discrete event systems with specializations to local control and concurrent systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[10]  Stéphane Lafortune,et al.  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

[11]  Moshe Kam,et al.  Decision fusion and supervisor synthesis in decentralized discrete-event systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[12]  Shigemasa Takai,et al.  Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems , 2005, IEEE Transactions on Automatic Control.

[13]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[14]  S. Laurie Ricker,et al.  Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems , 2007, IEEE Transactions on Automatic Control.

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

[16]  A. Khoumsi,et al.  A multi-decision approach for decentralized diagnosis of the presence and absence of faults in discrete event systems , 2008, 2008 16th Mediterranean Conference on Control and Automation.