A Generalised Approach to Supervisor Synthesis
Roberto Ziller, Klaus Schneider · 2015
We present a generalisation of the supervisory control prob-lem proposed by Ramadge and Wonham. The objective of that problem is to synthesise a controller which constrains a system’s behaviour according to a given specification, ensuring controllability and coaccessibility. By introduc-ing a new representation of the solution using systems of -calculus equations we are able to handle these two con-ditions separately and thus to exchange the coaccessibility requirement by any -calculus expression. Well-known re-sults on the complexity of -calculus model checking allow us to easily assess the computational complexity of any gen-eralisation. As an example we solve the synthesis problem under consideration of fairness constraints. 1