Skip to main content
SpringerLink
Log in

Multitasking Supervisory Control of Discrete-Event Systems

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • Ozveren, C. M., Willsky, A. S. 1991. Output stabilizability of discrete-event dynamic systems. IEEE Trans. Autom. Contr. 36: 925–935.

    Article  Google Scholar 

  • Ramadge, P. J., and Wonham, W. M. 1989. The control of DES. Proc. IEEE, Special Issue on DEDSs 77: 81–98.

    Google Scholar 

  • 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.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LAHP–GEMM–CEFET/SC, Florianópolis, SC, 88020-301, Brazil

    Max H. de Queiroz

  2. DAS–CTC-Federal University of Santa Catarina, Florianópolis, SC, 88040-900, Brazil

    José E. R. Cury

  3. Systems Control Group, Department of Electrical and Computer Engineering, University of Toronto, Toronto, ON, M5S 3G4, Canada

    W. M. Wonham

Authors
  1. Max H. de Queiroz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José E. R. Cury
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. W. M. Wonham
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Max H. de Queiroz.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-005-4058-y

Keywords

Search

Navigation