Advertisement

Modular Supervisory Control of Discrete Event Systems

  • P. J. Ramadge
  • W. M. Wonham
Conference paper
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 83)

Abstract

We examine a modular approach to the synthesis of supervisory controls for discrete-event systems. Discrete-event systems are modelled by automata together with a mechanism for enabling and disabling a subset of state transitions. The basic problem of interest is to ensure by appropriate supervision that the closed loop behavior of the system lies within a given legal behavior. Assuming this behavior can be decomposed into an intersection of component restrictions we determine conditions under which it is possible to synthesize the appropriate control in a modular fashion.

Keywords

Discrete-event systems modularity supervisory control 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arnold, A. and M. Nivat, “Controlling behaviours of systems: some basic concepts and some applications,” MFCS 1980 (Lecture Notes Comp. Science No. 88), pp. 113–122, Springer-Verlag, 1980.Google Scholar
  2. 2.
    Eilenberg, S., Automata, Languages and Machines, Volume A, Academic Press, New York, 1974.zbMATHGoogle Scholar
  3. 3.
    Hoare, C. A. R., Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, New Jersey, 1985.zbMATHGoogle Scholar
  4. 4.
    Hoperoft, J. E. and J. D. Tillman, Introduction to Automata Theory, Languages, and Computation, p. 17, Addison-Wesley, Reading, Massachusetts, 1979.Google Scholar
  5. 5.
    Ramadge, P. J., Control and Supervision of Discrete Event Processes, Ph.D. Thesis, Dept. of Electl. Engrg., University of Toronto., 1983.Google Scholar
  6. 6.
    Ramadge, P. J. and W. M. Wonham, “Supervisory control of a class of discrete-event processes,” To appear in the SIAM J. Contr. and Opt., see also Proc. Sixth Internat. Conf. Analysis and Optimization of Systems, Nice, France, June 1984.Google Scholar
  7. 7.
    Ramadge, P. J. and W. M. Wonham, Modular feedback logic for discrete event systems, Information Sci-ences and Systems Report No. 48, Department of Electrical Engineering, Princeton University, Princeton, N.J., also Control Systems Report No. 8511, Department of Electrical Engineering, University of Toronto,Canada., July 1985.Google Scholar
  8. 8.
    Wonham, W. M. and P. J. Ramadge, “On the supremal controllable sublanguage of a given language,” To appear in the SIAM J. Contr. and Opt., see also Proc. 23rd IEEE Conf. on Decision and Control, Las Vegas, Nevada, December 1984.Google Scholar
  9. 9.
    Wonham, W. M. and P. J. Ramadge, “On modular synthesis of supervisory controls for discrete- event processes,” International Conference on Computers, Systems & Signal Processing, Bangalore, India, December 1984.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1986

Authors and Affiliations

  • P. J. Ramadge
    • 1
  • W. M. Wonham
    • 2
  1. 1.Department of Electrical EngineeringPrinceton UniversityPrincetonUSA
  2. 2.Systems Control Group Department of Electrical EngineeringUniversity of TorontoTorontoCanada

Personalised recommendations