Abstract
We have sketched some of the main directions in which theoretical frameworks for control of discrete-event systems have recently been extended and elaborated. While many of the proposed models bear marked similarities to the tools of computer scientists, control theory for DES is distinguished by an emphasis on formal synthesis that is typical of control science. As a consequence, properties such as controllability, observability and hierarchical consistency play a central role; we have discussed the generalization of some of these properties to extended modelling frameworks. In conclusion, we note that recent applications in areas such as semiconductor manufacturing [BHG+93], nuclear reactor safety [Law92] and intelligent vehicle / highway systems [Var93] suggest that tools and techniques for control of DES may be approaching a level of sophistication sufficient for the solution of problems of realistic complexity.
Supported by the Fonds pour la formation de chercheurs et l'aide à la recherche of the Province of Quebec, Canada, Bell-Northern Research Ltd. and the Natural Sciences and Engineering Research Council of Canada, under the Action concertée sur les méthodes mathématiques pour la synthèse de systèmes informatiques.
Preview
Unable to display preview. Download preview PDF.
References
Albert Benveniste and Karl J. Åström. Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue. IEEE Trans. Automatic Control, 38(7):1004–1010, July 1993.
Y. Brave and M. Heymann. Formulation and control of real time discrete event processes. In Proc. 27th IEEE Conf. on Decision and Control, pages 1131–1132, December 1988.
Y. Brave and M. Heymann. Control of discrete event systems modeled as hierarchical state machines. IEEE Trans. Automatic Control, 12:1803–1819, 1993.
S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin. Supervisory control of a rapid thermal multiprocessor. IEEE Trans. on Automatic Control, 38(7):1040–1059, July 1993.
B. A. Brandin and W. M. Wonham. Supervisory control of timed discrete-event systems. Tech. Rpt. 9210, Systems Control Group, Dept. of Electl. and Comp. Engrg., University of Toronto, August 1992.
D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
M. Heymann and F. Lin. On-line control of partially observed discrete event systems. Tech. Rpt. 9310, Center for Intelligent Systems, Technion — Israel Institute of Technology, Haifa 32000 Israel, March 1993.
K. İnan. An algebraic approach to supervisory control. Mathematics of Control, Signals and Systems, 5:151–164, 1992.
Kemal İnan and Pravin Varaiya. Finitely recursive processes. In P. Varaiya and A. B. Kurzhanski, editors, Discrete Event Systems: Models and Applications, IIASA Conference, Sopron, Hungary, Aug. 3–7, 1987 (LNCIS, vol. 103), pages 1–18, New York, 1988. Springer-Verlag.
Ratnesh Kumar, Vijay Garg, and Steven I. Marcus. On supervisory control of sequential behaviors. IEEE Trans. Automatic Control, 37(12):1978–1985, December 1992.
Ratnesh Kumar, Vijay Garg, and Steven I. Marcus. Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans. on Automatic Control, 38(2):232–247, February 1993.
Mark Stephen Lawford. Transformational equivalence of timed transition models. Tech. Rpt. Systems Control Group, Dept. of Electl. and Comp. Engrg., Univ. of Toronto, January 1992.
Y. Li and W. M. Wonham. On supervisory control of real-time discrete-event systems. Information Sciences, 46(3):159–183, 1988.
F. Lin and W. M. Wonham. Supervisory control of timed discrete event systems under partial observations. Tech. Rpt. 9316, Systems Control Group, Dept. of Electl. and Comp. Engrg., Univ. of Toronto, November 1993.
Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, volume 1. Specification. Springer-Verlag, New York, 1992.
J. S. Ostroff. Formal methods for the specification and design of real-time safetycritical systems. J. Systems and Software, 18:33–60, April 1992.
Jonathan S. Ostroff and W. Murray Wonham. A framework for real-time discrete-event control. IEEE Trans. Automatic Control, 35(4):386–397, 1990.
Cüynet M. Özveren and Alan S. Willsky. Output stabilizability of discrete-event dynamic systems. IEEE Trans. Automatic Control, 36(8):925–935, August 1991.
Peter J. G. Ramadge. Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata. IEEE Trans. Automatic Control, 34(1):10–19, January 1989.
P.J. Ramadge and W.M. Wonham. Modular feedback logic for discrete event systems. SIAM J. Control and Optimization, 25(5):1202–1218, 1987.
P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81–98, January 1989.
Karen Rudie and W. Murray Wonham. Think globally, act locally: Decentralized supervisory control. IEEE Trans. Automatic Control, 37(11):1692–1708, November 1992.
J. G. Thistle and W. M. Wonham. Control of infinite behaviour of finite automata. To appear in SIAM J. Control and Optimization 32 (4), 1994.
J. G. Thistle and W. M. Wonham. Supervision of infinite behaviour of discrete-event systems. To appear in SIAM J. Control and Optimization 32 (4), 1994.
Pravin Varaiya. Smart cars on smart roads: Problems of control. IEEE Trans. on Automatic Control, 38(2):195–207, February 1993.
Howard Wong-Toi and Gérard Hoffmann. The control of dense real-time discrete-event systems. Preprint, 1992.
K. C. Wong and W. M. Wonham. Hierarchical and modular control of discrete-event systems. In Proceedings of 30th Ann. Allerton Conf. on Communication, Control, and Computing, pages 614–623, September 1992.
K.C. Wong and W.M. Wonham. Hierarchical control of timed discrete-event systems. In Proceedings of Second European Control Conference, pages 509–512, June–July 1993.
S. Young, D. Spanjol, and V. K. Garg. Control of discrete event systems modeled with deterministic Büchi automata. In Proceedings of 1992 American Control Conference, pages 2809–2813, 1992.
Zhong Hao and W. Murray Wonham. On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans. Automatic Control, 35(10):1125–1134, October 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag London Limited
About this paper
Cite this paper
Thistle, J.G. (1994). Logical aspects of control of discrete-event systems: A survey of tools and techniques. In: Cohen, G., Quadrat, JP. (eds) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0033527
Download citation
DOI: https://doi.org/10.1007/BFb0033527
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19896-3
Online ISBN: 978-3-540-39345-0
eBook Packages: Springer Book Archive