Abstract
The supervisory control framework formulated by Ramadge and Wonham is extended to allow the synthesis of supervisors which control a given system to perform an arbitrary ω-regular task specified by a nondeterministic Büchi automaton. To this end, the supervisory control paradigm is applied to R.P. Kurshan's L-processes which provide a convenient model for nonterminating discrete event system behaviors. Necessary and sufficient conditions for the existence of supervisors are derived and the synthesis of supervisors is discussed.
Chapter PDF
Keywords
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.
References
I. Brave and M. Heymann, “On Stabilization of Discrete-Event Processes”, Proceedings of the 28th Conference on Decision and Control, Tampa, Florida, 1989.
R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, “Supervisory Control of Discrete Event Processes with Partial Observations”, IEEE Transactions on Automatic Control, Vol. 33(3), pp. 249–260, March 1988.
C.H. Golaszewski and P.J. Ramadge, “Mutual Exclusion Problems for Discrete Event Systems with Shared Events”, Proceedings of the 27th Conference on Decision and Control, pp. 234–239, Austin, Texas, 1988.
R.P. Kurshan, “Analysis of Discrete Event Coordination”, Lecture Notes on Computer Science 430, pp. 414–453, Springer Verlag, 1990.
R.P. Kurshan and C.H. Golaszewski, “An Automaton-Based Approach to the Synthesis of Communication Protocols”, in preparation.
C.M. Özveren and A.S. Willsky, “Output Stabilizability of Discrete Event Dynamic Systems”, Discrete-Event Dynamical Systems”, Proceedings of the 28th Conference on Decision and Control, Tampa, Florida, 1989.
P.J. Ramadge and W.M. Wonham, “Supervisory Control of a Class of Discrete-Event Processes”, SIAM J. Control and Optimization, Vol. 25(1), pp. 206–230, January 1987.
P.J. Ramadge, “Some Tractable Supervisory Control Problems for Discrete Event Systems Modeled by Büchi Automata”, IEEE Transactions on Automatic Control, Vol. 34(1), pp. 10–19, January 1989.
P.J. Ramadge, “Observability of Discrete Event Systems”, Proceedings of the 25th Conference on Decision and Control, Athens, Greece, 1986.
J.G. Thistle and W.M. Wonham, “On the Synthesis of Supervisors Subject to ω-Language Specifications”, 22nd Annual Conference on Information Sciences and Systems, Princeton NJ, pp.440–444, March 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Golaszewski, C.H., Kurshan, R.P. (1991). Task-driven supervisory control of discrete event systems. In: Clarke, E.M., Kurshan, R.P. (eds) Computer-Aided Verification. CAV 1990. Lecture Notes in Computer Science, vol 531. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023742
Download citation
DOI: https://doi.org/10.1007/BFb0023742
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54477-7
Online ISBN: 978-3-540-38394-9
eBook Packages: Springer Book Archive