Abstract
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.
This work was supported in part by NSF grants ECS-9414780 and CCR-9520540.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. V. Aho, J. E. Hopcroft, J. D. Ullman (1974), The Design and Analysis of Computer Algorithms, Addison-Wesley.
F. Baccelli, G. Cohen, G. J. Olsder, J. P. Quadrat (1992), Synchronization and Linearity, Wiley, New York.
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.
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.
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).
G. Cohen, P. Moller, J. P. Quadrat, M. Viot (1989), ‘Algebraic tools for the performance evaluation of DES,’ Proc. IEEE, 77 39–58.
M. Gondran, M. Minoux (1984), Graphs and Algorithms, Wiley, New York.
R. Kumar, V. K. Garg (1995), Modeling and Control of Logical Discrete Event Systems, Kluwer.
R. Kumar, V. K. Garg, S. I. Marcus (1991), ‘On controllability and normality of discrete event dynamical systems,’ Sys. & Ctl. Ltrs, 17 157–168.
P. J. Ramadge, W. M. Wonham (1989), ‘The control of discrete event systems,’ Proc. IEEE, 77 81–98.
E. Wagneur (1991), ‘Moduloids and pseudomodules: 1. Dimension theory,’ Discrete Mathematics, 98 57–73.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cofer, D.D., Garg, V.K. (1996). On controlling timed discrete event systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020958
Download citation
DOI: https://doi.org/10.1007/BFb0020958
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61155-4
Online ISBN: 978-3-540-68334-6
eBook Packages: Springer Book Archive