Decentralized Supervisory Control of Discrete Event Systems - Moving Decisions Closer to Actions

Ahmed Khoumsi, Hicham Chakib

2014

Abstract

In decentralized control of discrete event systems, two main agents contribute to the computation of decisions: local supervisors and fusion modules. The local supervisors process the information detected on the plant and its environment, and transmit their results to the fusion modules. The latter process what is received from the local supervisors in order to decide actions to be applied to the plant. In the existing decentralized control architectures, the local supervisors execute complex operations, while the fusion modules execute simple operations. In the present article, we propose to move the decision computation complexity from local supervisors to fusion modules, that is what we term: moving decisions closer to actions. We justify this movement of decision and develop a simple architecture based on it. With the proposed architecture, the local supervisors are simple local observers, while all decisions are computed by the fusion modules. We characterize the class of languages achievable with the new architecture and compare it with the classes of languages achievable with the existing decentralized architectures and the centralized architecture.

References

  1. Chakib, H. and Khoumsi, A. (2011). Multi-decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems. IEEE Transactions on Automatic Control, 56(11):2608-2622.
  2. Cieslak, R., Desclaux, C., Fawaz, A., and Varaiya, P. (1988). Supervisory control of discrete event processes with partial observations. IEEE Transactions on Automatic Control, 33(3):249-260.
  3. Jiang, S. and Kumar, R. (2000). Decentralized control of discrete event systems with specializations to local control and concurrent systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B, 30(5):653- 660.
  4. Khoumsi, A. and Chakib, H. (2008). A New Architecture for Decentralized Control of Discrete Event Systems: Decidability and Synthesis Issues. In 8ème conf. francophone de MOdélisation et SIMulation (MOSIM), Paris, France.
  5. Kumar, R. and Takai, S. (2007). Inference-Based Ambiguity Management in Decentralized DecisionMaking: Decentralized Control of Discrete Event Systems. IEEE Transactions on Automatic Control, 52(10):1783-1794.
  6. Lin, F. and Wonham, W. M. (1988). Decentralized supervisory control of discrete event systems. Information Sciences, 44:199-224.
  7. Lin, F. and Wonham, W. M. (1990). Decentralized control and coordination of discrete-event systems with partial observation. IEEE Transactions on Automatic Control, 35(12):1330-1337.
  8. Overkamp, A. and van Schuppen, J. H. (2001). Maximal solutions in decentralized supervisory control. SIAM Journal on Control and Optimization, 39(2):492-511.
  9. Prosser, J. H., Kam, M., and Kwatny, H. G. (1997). Decision fusion and supervisor synthesis in decentralized discrete-event systems. In American Control Conference (ACC), pages 1313-1319.
  10. Ramadge, P. J. and Wonham, W. M. (1987). Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization, 25(1):206-230.
  11. Ricker, S. and Rudie, K. (2000). Know means no: Incorporating knowledge into discrete-event control systems. IEEE Transactions on Automatic Control, 45(9):1656-1668.
  12. Ricker, S. L. and Rudie, K. (2007). Knowledge is a terrible thing to waste: using inference in discrete-event control problems. IEEE Transactions on Automatic Control, 52(3):428-441.
  13. Rudie, K. and Willems, J. C. (1995). The computational complexity of decentralized discrete event control problems. IEEE Transactions on Automatic Control, 40(7):1313-1319.
  14. Rudie, K. and Wonham, W. M. (1992). Think globally, act locally: decentralized supervisory control. IEEE Transactions on Automatic Control, 31(11):1692- 1708.
  15. Yoo, T.-S. and Lafortune, S. (2002). A General Architecture for Decentralized Supervisory Control of DiscreteEvent Systems. Discrete Event Dyna. Syst.: Theory Applicat., 12:335-377.
  16. Yoo, T.-S. and Lafortune, S. (2004). Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence. IEEE Transactions on Automatic Control, 49(11):1886-1904.
Download


Paper Citation


in Harvard Style

Khoumsi A. and Chakib H. (2014). Decentralized Supervisory Control of Discrete Event Systems - Moving Decisions Closer to Actions . In Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-758-040-6, pages 280-287. DOI: 10.5220/0005010702800287


in Bibtex Style

@conference{icinco14,
author={Ahmed Khoumsi and Hicham Chakib},
title={Decentralized Supervisory Control of Discrete Event Systems - Moving Decisions Closer to Actions},
booktitle={Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2014},
pages={280-287},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005010702800287},
isbn={978-989-758-040-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - Decentralized Supervisory Control of Discrete Event Systems - Moving Decisions Closer to Actions
SN - 978-989-758-040-6
AU - Khoumsi A.
AU - Chakib H.
PY - 2014
SP - 280
EP - 287
DO - 10.5220/0005010702800287