hide
Free keywords:
Computer Science, Logic in Computer Science, cs.LO,cs.SY,eess.SY
Abstract:
We present a new algorithm to solve the supervisory control problem over
non-terminating processes modeled as $\omega$-regular automata. A solution to
this problem was obtained by Thistle in 1995 which uses complex manipulations
of automata. We show a new solution to the problem through a reduction to
obliging games, which, in turn, can be reduced to $\omega$-regular reactive
synthesis. Therefore, our reduction results in a symbolic algorithm based on
manipulating sets of states using tools from reactive synthesis.