Task Rescheduling Using a Coordinator in a Structural Decentralized Control of Supervisory Control Systems

  • Lee, Sang-Heon (Centre for Advanced Manufacturing Research, University of South Australia) ;
  • Kim, Ill-Soo (Dept. of Mech. Eng. Mokpo National University) ;
  • Kai C. Wong (Dept. of Systems Engineering, RSISE, Australian National University)
  • Published : 2004.04.01

Abstract

A problem of task rescheduling using a coordinator in a structural decentralized control of supervisory control theory is formulated. we consider that the overall system is divided into a number of local systems. Using an example of a chemical batch reaction process, it has shown that after local supervisors have been established for a given task, a coordinator can be used to solve some rescheduling problems among local plants for new or modified tasks. The coordination system models the interactions of local plants, and is consisting of only the shared events of local plants, so simpler to synthesize. A coordinator is designed based on the specifications given for the coordination system. Under the 'structural' conditions developed in this paper, the combined concurrent actions of the coordinator with the existing local supervisors will achieve the rescheduling requirements. Again since the conditions are structural (not specification-dependent), once the coordination architecture has been established, it can be used for a number of different tasks without further verifications.

Keywords

References

  1. Cassandras, C. and Lafortune, S., Introduction to Discrete Event Systems. Kluwer Academic Pub., 1999
  2. Ramadge, P. J. and Wonham, W. M., 'Supervisory Control of a Class of Discrete-Event Processes,' SIAM J. Control and Optimization, Vol. 25, No. 1, pp. 206-230, 1987
  3. Wonham, W. M. and Ramadge, P. J., 'On the Supremal Controllable Sublanguage of a Given Language,' SIAM J. Control and Optimization, Vol. 25, No. 3, pp. 637-659, 1987 https://doi.org/10.1137/0325036
  4. Wonham, W. M. and Ramadge, P. J., 'Modular Supervisory Control of Discrete Event Systems,' Mathematics of Control, Signal and Systems, Vol. 1, No. 1, pp. 13-30, 1988 https://doi.org/10.1007/BF02551233
  5. Ramadge, P. J., 'The Complexity of Some Basic Control Problems for Discrete-Event Systems,' Advanced computing concepts and techniques in control engineering, pp. 171-190, 1988
  6. Ramadge, P. J. and Wonham, W. M., 'The Control of Discrete Event Systems,' Proc. IEEE, Special Issue on Discrete Event Dynamic Systems, Vol. 77, No. 1, pp. 81-98, 1989
  7. Ramadge, P. J. and Wonham, W. M., 'Modular Feedback Logic for Discrete Event Systems,' SIAM J. Control and Optimization, Vol. 25, No. 5, pp. 1202-1218, 1987 https://doi.org/10.1137/0325066
  8. Lin, F. and Wonham, W. M., 'Decentralised Supervisory Control of Discrete-Event Systems,' Information Sciences, Vol. 44, pp. 199-224, 1988 https://doi.org/10.1016/0020-0255(88)90002-3
  9. Willner, Y. and Heymann, M., 'Supervisory Control of Concurrent Discrete-Event Systems,' International Journal of Control, Vol. 54, No. 5, pp. 1143-1169, 1991 https://doi.org/10.1080/00207179108934202
  10. Rudie, K. and Wonham, W. M., 'Think Globally, Act locally: Decentralized Supervisory Control,' IEEE Transactions on Automatic Control, Vol. 37, pp. 1692-1708, November 1992 https://doi.org/10.1109/9.173140
  11. Zhong, H. and Wonham, W. M., 'On the Consistency of Hierarchical Supervision in Discrete-Event Systems,' IEEE Transactions on Automatic Control, Vol. 35, pp. 1125-1134, October 1990 https://doi.org/10.1109/9.58555
  12. Lee, S. H. and Wong, K. C., 'Decentralised Control of Concurrent Discrete-Event Systems with Non-Prefix Closed Local Specifications,' in Proceedings of the 36th IEEE Conference on Decision and Control, pp. 2958-2963, December 1997
  13. Lin, F. and Wonham, W. M., 'Decentralized Control and Coordination of Discrete-Event Systems with Partial Observation,' IEEE Transactions on Automatic Control, Vol. 35, No. 12, pp. 1330-1337, 1990 https://doi.org/10.1109/9.61009
  14. Lin, F., 'Control of Large Scale Discrete Event Systems: Task Allocation and Coordination', Systems and Control Letters, Vol.17, pp. 169-175, 1991 https://doi.org/10.1016/0167-6911(91)90062-J
  15. Wonham, W. M., 'Notes on Control of Discrete-Event Systems,' Department of Electrical Engineering, University of Toronto, 1999
  16. Lee, S. H., 'Decentralised Control of Concurrent Discrete-Event Systems,' Canberra, Australia: PhD thesis, The Australian National University, 1998
  17. Chung, B. M., Lee, J. W., Joo, H. H. and Lim, Y. K., 'Hybrid Fuzzy Learning Controller for an Unstable Nonlinear System.' International Journal of the Korea Society of Precision Engineering, Vol. 1, No. 1, pp.79-83, 2000