论文信息 - Translation of output constraint into event constraint in the control of discrete event systems

Translation of output constraint into event constraint in the control of discrete event systems

When the desired behaviour of a controlled discrete event system (Ramadge and Wonham 1987) is specified by the sequence of the states or the sequence of a subset of the states, in order to formulate the specification given by natural language it is much more convenient to use the output constraint than the event constraint. However, the event constraint is easier to handle when constructing the controller. In this paper, a translator that translates output constraints into event constraints is defined and constructed, allowing us to formulate the desired behaviour of a discrete event system with output constraints.

S. H. Wang | Y. Du

[1] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[2] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .

[3] 守屋悦朗,et al. J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .