Abstract
This paper presents an approach for functionally dealing with multiple tasks in the supervisory control of discrete-event systems (DES). The colored marking generator (CMG), a special type of Moore automaton, is introduced as a model that distinguishes classes of tasks in DES. The main results of supervisory control theory are extended to this model, allowing the synthesis of minimally restrictive supervisors, which respect the safety specifications and ensure coreachability of multiple control objectives. Reversibility is also investigated as an alternative way of ensuring liveness of multiple tasks. Two examples illustrate the convenience of this approach.
Similar content being viewed by others
References
de Queiroz, M. H. 2004. Controle supervisório modular e multitarefa de sistemas compostos. Doctoral thesis, UFSC, Florianópolis, Brazil. (In Portuguese).
de Queiroz, M. H., and Cury, J. E. R. 2000. Modular Supervisory Control of Large Scale DES. In DES: Analysis and Control, Kluwer, pp.103–110.
de Queiroz, M. H., Cury, J. E. R. 2005. Modular multitasking supervisory control of composite DES.In Proc. of the 16th IFAC World Congress, Prague, Czech Republic.
Desroches, A. A. 1990. Modeling and Control of Automated manufacturing Sysems, IEEE Computer Society Press.
Fabian, M., and Kumar, R. 2000. Mutually nonblocking supervisory control of DES, Automatica, 36: 1863–1869.
Gohari–M., P. 2002. Fair Supervisory control of DES, Ph.D. Thesis, Dept. of Elec. & Comp. Eng., Univ. of Toronto.
Hopcroft, J. E., and Ullman, J. D. 1979. Introduction to Automata Theory, Languages and Computation. USA: Addison-Wesley.
Jensen, K. 1992. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use.-Volume 1: Basic Concepts. Monographs in Theoretical Computer Science. Berlin: Springer-Verlag.
Kumar, R., Takai, S. Fabian, M., and Ushio, T. 2004. Maximally permissive mutually & globally nonblocking supervisory control of DES, In Proc. of the 7th Workshop on Discrete Event Systems, Reims, France.
Murata, T. 1989. Petri nets: properties, analysis and application. Proc. IEEE, 77 pp. 541–580.
Ozveren, C. M., Willsky, A. S. 1991. Output stabilizability of discrete-event dynamic systems. IEEE Trans. Autom. Contr. 36: 925–935.
Ramadge, P. J., and Wonham, W. M. 1989. The control of DES. Proc. IEEE, Special Issue on DEDSs 77: 81–98.
Thistle, J. G. R., and Malhamé, P. 1997. Multiple Marked Languages and Noninterference in Modular Supervisory Control. In Proc. of the 35th Annual Allerton Conference. pp. 523–532.
Thistle, J. G. R., Malhamé, P. Hoang, H.-H., andLafortune, S. 1997. Supervisory Control of Distributed Systems Part I: Modeling, Specification, and Synthesis. Tech. Rep. EPM/RT-97/08, E. P. de Montreal.
Wonham, W. M. 2004. Supervisory control of discrete-event systems. Dept. of Elec. & Comp. Eng., Univ. of Toronto, http://www.control.utoronto.ca/DES.
Wonham, W. M., and Ramadge, P. J. 1987. On the supremal controllable sublanguage of a given language. SIAM J. Control and Optim. 25: 637–659.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
de Queiroz, M.H., Cury, J.E.R. & Wonham, W.M. Multitasking Supervisory Control of Discrete-Event Systems. Discrete Event Dyn Syst 15, 375–395 (2005). https://doi.org/10.1007/s10626-005-4058-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-005-4058-y