On controlling timed discrete event systems

  • Darren D. Cofer
  • Vijay K. Garg
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1066)


This paper is a survey of our work on controlling discrete event systems modelled by timed event graphs. Such systems are structurally related to finite state machines in that both can be described by linear equations over an appropriate algebra. Using this structural similarity, we have extended supervisory control techniques developed for untimed DES to the timed case. When behavioral constraints are given as a range of acceptable schedules, it is possible to compute an extremal controllable subset or superset of the desired behavior. When constraints are expressed in terms of minimum separation times between events, it is possible to determine whether there is a controllable schedule which realizes the desired behavior.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. V. Aho, J. E. Hopcroft, J. D. Ullman (1974), The Design and Analysis of Computer Algorithms, Addison-Wesley.Google Scholar
  2. 2.
    F. Baccelli, G. Cohen, G. J. Olsder, J. P. Quadrat (1992), Synchronization and Linearity, Wiley, New York.Google Scholar
  3. 3.
    D. D. Cofer (1995), Control and Analysis of Real-time Discrete Event Systems, Ph.D. Thesis, Dept. of Elec. & Comp. Eng., The University of Texas at Austin.Google Scholar
  4. 4.
    D. D. Cofer, V. K. Garg (1994), 'supervisory control of timed event graphs,’ in Proc. 1994 IEEE Conf. on Sys, Man & Cyb., San Antonio, 994–999.Google Scholar
  5. 5.
    D. D. Cofer, V. K. Garg (1995), 'supervisory control of real-time discrete event systems using lattice theory,’ Proc. 33rd IEEE Conf. Dec. & Ctl., Orlando, 978–983 (also to appear in IEEE Trans. Auto. Ctl., Feb. 1996).Google Scholar
  6. 6.
    G. Cohen, P. Moller, J. P. Quadrat, M. Viot (1989), ‘Algebraic tools for the performance evaluation of DES,’ Proc. IEEE, 77 39–58.CrossRefGoogle Scholar
  7. 7.
    M. Gondran, M. Minoux (1984), Graphs and Algorithms, Wiley, New York.Google Scholar
  8. 8.
    R. Kumar, V. K. Garg (1995), Modeling and Control of Logical Discrete Event Systems, Kluwer.Google Scholar
  9. 9.
    R. Kumar, V. K. Garg, S. I. Marcus (1991), ‘On controllability and normality of discrete event dynamical systems,’ Sys. & Ctl. Ltrs, 17 157–168.Google Scholar
  10. 10.
    P. J. Ramadge, W. M. Wonham (1989), ‘The control of discrete event systems,’ Proc. IEEE, 77 81–98.CrossRefGoogle Scholar
  11. 11.
    E. Wagneur (1991), ‘Moduloids and pseudomodules: 1. Dimension theory,’ Discrete Mathematics, 98 57–73.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Darren D. Cofer
    • 1
  • Vijay K. Garg
    • 2
  1. 1.Honeywell Technology CenterMinneapolis
  2. 2.Dept. of Elec. & Comp. Eng.The University of Texas at AustinAustin

Personalised recommendations