×

On observability of discrete-event systems. (English) Zbl 0644.93008

The supervised discrete-event system is considered. The set of possible events is partitioned into the sets of controllable and observable events. State transitions are governed by the language generated by the transition function and the alphabet of event labels. The system control consists of on-off enabling and disabling of controllable events according to the changes in a sequence of observable events. Such a closed-loop feedback structure is formalized as a finite state automaton. The existence problem for a supervisory controller, respecting both controllability and observability constraints, is solved abstractly. The presented work heavily depends on previous papers published by the authors [see, e.g., SIAM J. Control Optimization 25, 206-230 (1987; Zbl 0618.93033); and, Analysis and optimization of systems, Proc. 7th Int. Conf., Antibes/France 1986, Lect. Notes Control Inf. Sci. 83, 202-214 (1986; Zbl 0595.93047)].
Reviewer: J.Filipiak

MSC:

93B07 Observability
68Q45 Formal languages and automata
93C99 Model systems in control theory
68N25 Theory of operating systems
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] André, F.; Hermand, D.; Verjus, J.-P., Synchronization of Parallel Programs (1985), MIT Press: MIT Press Cambridge, Mass
[2] von Bochmann, G., Concepts for Distributed System Design (1983), Springer: Springer Berlin · Zbl 0514.68001
[3] Cieslak, R.; Desclaux, C.; Fawaz, A.; Varaiya, P., Supervisory Control of Discrete Event Processes with Partial Observations, (Memo No. UCB/ERL M86/63 (7 August 1986), Electronics Res. Lab., Coll. of Engrg., Univ. of Calif: Electronics Res. Lab., Coll. of Engrg., Univ. of Calif Berkeley) · Zbl 0639.93041
[4] Harrison, M. A., Introduction to Switching and Automata Theory (1965), McGraw-Hill: McGraw-Hill New York, 1965 · Zbl 0196.51702
[5] Hoare, C. A.R., Communicating Sequential Processes (1985), Prentice-Hall: Prentice-Hall Englewood Cliffs, N.J · Zbl 0637.68007
[6] Lin, F.; Wonham, W. M., Decentralized Supervisory Control of Discrete-Event Systems, (Systems Control Group Report 8612 (1986), Dept. of Electrical Engineering, Univ. of Toronto), Inform. Sci., to appear. · Zbl 0679.68042
[7] Milner, P., A Calculus of Communicating Systems, (Lecture Notes in Computer Science, No. 92 (1980), Springer: Springer Berlin) · Zbl 0452.68027
[8] Ramadge, P. J.; Wonham, W. M., (Lecture Notes in Computer Science, No. 63 (1984), Springer: Springer Berlin), 477-498, For a summary version see · Zbl 0556.93045
[9] Ramadge, P. J.; Wonham, W. M., Modular Feedback Logic for Discrete Event Systems, (Technical Report No. 48 (1985), Information Sciences and Systems Lab., Dept. of Electrical Engineering, Princeton Univ), SIAM J. Control Optim., to appear. · Zbl 0694.93037
[10] Ramadge, P. J.; Wonham, W. M., Analysis and Optimization of Systems, (Bensoussan, A.; Lions, J. L., Modular supervisory control of discrete event systems, in Proceedings of the Seventh International Conference on Analysis and Optimization of Systems. Modular supervisory control of discrete event systems, in Proceedings of the Seventh International Conference on Analysis and Optimization of Systems, Antibes, June 1986. Modular supervisory control of discrete event systems, in Proceedings of the Seventh International Conference on Analysis and Optimization of Systems. Modular supervisory control of discrete event systems, in Proceedings of the Seventh International Conference on Analysis and Optimization of Systems, Antibes, June 1986, Lecture Notes in Computer Science, Vol. 83 (1986), Springer: Springer New York), 202-214 · Zbl 0595.93047
[11] Wonham, W. M., Computational and Combinatorial Methods in Systems Theory, (Byrnes, C. I.; Lindquist, A., On control of discrete event systems, in Proceedings of the Seventh International Conference on the Mathematical Theory of Networks and Systems (MTNS-85) (1986), North-Holland: North-Holland Amsterdam), 159-174, 1985
[12] Wonham, W. M.; Ramadge, P. J., (Proceeding of the 23 IEEE Conference on Decision and Control, IEEE Control Systems Soc.. Proceeding of the 23 IEEE Conference on Decision and Control, IEEE Control Systems Soc., New York (1984)), 1073-1080, For a summary version see · Zbl 0556.93045
[13] Wonham, W. M.; Ramadge, P. J., (Proceedings of the International Conference on Computers, Systems and Signal Processing, IEEE and I.I.Sc.. Proceedings of the International Conference on Computers, Systems and Signal Processing, IEEE and I.I.Sc., Bangalore (1984)), 404-500, For a summary version see · Zbl 0595.93047
[14] Zeigler, B. P., Multifacetted Modeling and Discrete Event Simulation (1984), Academic: Academic London · Zbl 0566.68082
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.