Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game
(Submitted on 3 Jul 2020 (v1), last revised 26 Aug 2021 (this version, v3))
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.
Submission history
From: Anne-Kathrin Schmuck [view email][v1] Fri, 3 Jul 2020 15:49:22 GMT (49kb)
[v2] Mon, 11 Jan 2021 08:05:55 GMT (31kb)
[v3] Thu, 26 Aug 2021 07:44:57 GMT (38kb)
Link back to: arXiv, form interface, contact.