eduzhai > Applied Sciences > Engineering >

Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game

  • king
  • (0) Download
  • 20210505
  • Save

... pages left unread,continue reading

Document pages: 10 pages

Abstract: We present a new algorithm to solve the supervisory control problem overnon-terminating processes modeled as $ omega$-regular automata. A solution tothis problem was obtained by Thistle in 1995 which uses complex manipulationsof automata. We show a new solution to the problem through a reduction toobliging games, which, in turn, can be reduced to $ omega$-regular reactivesynthesis. Therefore, our reduction results in a symbolic algorithm based onmanipulating sets of states using tools from reactive synthesis. Thisestablishes a new connection between the research areas of (I) supervisorycontrol theory in the field of control engineering and (II) reactive synthesisin the field of computer science.

Please select stars to rate!


0 comments Sign in to leave a comment.

    Data loading, please wait...