Advertisement

A max-algebra solution to the supervisory control problem for real-time discrete event systems

  • Darren D. Cofer
  • Vijay K. Garg
The Max-Plus Algebraic Approach
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 199)

Abstract

For timed systems the supervisory control problem is to impose delays on controllable events to modify system behavior to meet some specified performance goal. Using the tools of max-algebra it is possible to compute the uncontrolled behavior of a timed event graph, define a specification for some new desired behavior, and determine whether the specification can be realized by any supervisor given the set of controllable events. When the desired behavior cannot be realized (i.e, it is uncontrollable), a minimally restrictive behavior which meets the original specification always exists. All of these concepts have direct analogy in the control of untimed automata.

Keywords

Controllable Event Acceptable Behavior Firing Sequence Acceptable Region Time Event Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    F. Baccelli, G. Cohen, G. J. Olsder, J. P. Quadrat, Synchronization and Linearity, Wiley, New York, 1992.Google Scholar
  2. 2.
    D. D. Cofer, V. K. Garg, “A Generalized Max-algebra Model for Timed and Untimed DES,” T. R. SCC-93-02, Dept. of ECE, Univ. of Texas, Austin, 1993.Google Scholar
  3. 3.
    G. Cohen, P. Moller, J. P. Quadrat, M. Viot, “Algebraic tools for the performance evaluation of DES,” Proc. IEEE, 77(1):39–58, 1989.CrossRefGoogle Scholar
  4. 4.
    B. H. Krogh, “Controlled Petri Nets and Maximally Permissive Feedback Logic,” Proc. 25th Allerton Conf. on Comm., Ctrl. and Comp., Urbana, IL, 1987.Google Scholar
  5. 5.
    P. J. Ramadge, W. M. Wonham, “The control of DES,” Proc. IEEE, 77(1):81–98, 1989.CrossRefGoogle Scholar
  6. 6.
    E. Wagneur, “Moduloids and pseudomodules,”, Discrete Math., 98:57–73, 1991.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag London Limited 1994

Authors and Affiliations

  • Darren D. Cofer
    • 1
  • Vijay K. Garg
    • 1
  1. 1.Department of Electrical and Computer EngineeringUniversity of TexasAustinUSA

Personalised recommendations