Abstract
We consider controlled discrete event systems modeled by the Ramadge-Wonham model, with a control specification given in terms of both admissible and target states. We define blocking in state feedback control using the notion of stability of discrete event systems. Intuitively, a system is said to be blocking if some trajectories of admissible states cannot reach target states. For control-invariant predicates we define two performance measures called a prestabilizing measure and a blocking measure. First, we present an algorithm to compute the minimally restrictive nonblocking solution. But the nonblocking solution may be restrictive. Then we present design methods to improve the two performance measures. And we show that the task of logical optimization of a blocking feedback can be done by two steps.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Brave, Y., and Heymann, M. 1990. Stabilization of discrete-event processes.Int. J. Control, 51(5): 1101–1117.
Chen, E., and Lafortune, S. 1991. Dealing, with blocking in supervisory control of discrete-event systems.IEEE Trans. Automat. Contr., 36(6): 724–735.
Dijkstra, E.W. 1976.A Discipline of Programing. Englewood Cliffs, NJ: Prentice-Hall.
Dijkstra, E.W., and Scholten, C.S. 1990.Predicate Calculus and Program Semantics New York: Springer-Verlag.
Garg, V.K., and Kumar, R. 1992. A state-variable approach for controlling discrete event systems with infinite states.Proc. 1992 ACC, pp. 2809–2813.
Hopcroft, J.E., and Ullman, J.D. 1979.Introduction to Automata Theory, Language, and Computation. Reading, MA: Addison-Wesley.
Kumar, R., Garg, V.K., and Marcus, S.I. 1993a. Predicates and predicate transformers for supervisory control of discrete event dynamical systems.IEEE Trans. Automat. Contr., 38(2): 232–247
Kumar, R., Garg, V.K., and Marcus, S.I. 1993b. Language stability and stabilizability of discrete event dynamical systems.SIAM J. Contr. Optimiz., 31(5): 1294–1320.
Lafortune, S., and Chen, E. 1990. The infimal closed controllable superlanguage and its application in supervisory control.IEEE Trans. Automat. Contr. 35(4): 724–735.
Lafortune, S., and Lin, F. 1991. On tolerable and desirable behaviors in supervisory control of discrete event systems.Discrete Event Dynamic Systems: Theory and Applications, 1(1): 61–92.
Li, Y., and Wonham, W.M. 1988. Controllability and observability in the state feedback control of discrete-event systems.Proc. 27th IEEE CDC, pp. 203–208.
Li, Y., and Wonham, W.M. 1993. Control of vector discrete-event systems I-The base model.IEEE Trans. Automat. Contr., 38(8): 1214–1227.
Lin, F., and Wonham, W.M. 1991. Verification of nonblocking in decentralized supervision.Control-Theory Adv. Technol., 7(1): 19–29.
Özveren, C.M., and Willsky, A.S. 1991. Output stabilizability of discrete event dynamic systems.IEEE Trans. Automat. Contr., 36(8): 925–935.
Özveren, C.M., Willsky, A.S., and Antsaklis, P.J. 1991. Stability and stabilizability of discrete event dynamic systems.J. ACM, 38(3): 730–752.
Ramadge, P.J., and Wonham, W.M. 1987a. Supervisory control of a class of discrete-event processes.SIAM J. Contr. Optimiz., 25(1): 206–230.
Ramadge, P.J., and Wonham, W.M. 1987b. Modular feedback logic for discrete event systems.SIAM J. Contr. Optimiz., 25(5): 1202–1218.
Ramadge, P.J., and Wonham, W.M. 1989. The control of discrete event systems.Proc. IEEE, 77(1): 81–98.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Takai, S., Ushio, T. & Kodama, S. Stabilization and blocking in state feedback control of discrete event systems. Discrete Event Dyn Syst 5, 33–57 (1995). https://doi.org/10.1007/BF01438606
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01438606