2080 Shengbing Jiang and Ratnesh Kumar

  title={2080 Shengbing Jiang and Ratnesh Kumar},
  author={C SIAMJ.},
  • C SIAMJ.
  • Published 2006
The supervisory control problem of discrete event systems with temporal logic specifications is studied. The full branching time logic of CTL* is used for expressing specifications of discrete event systems. The control problem of CTL* is reduced to the decision problem of CTL*. A small model theorem for the control of CTL* is obtained. It is shown that the… CONTINUE READING