NON‐BLOCKING SUPERVISORY CONTROL FOR INITIALISED RECTANGULAR AUTOMATA
Michael P. Spathopoulos · Asian Journal of Control · 2004
ABSTRACT We consider the problem of supervisory control for a class of rectangular automata and more specifically for compact rectangular automata with uniform rectangular activity, i.e. initialised. The supervisory controller is state feedback and disables discrete‐event transitions in order to solve the non‐blocking forbidden state problem. The non‐blocking problem is defined under both strong and weak conditions. For the latter maximally permissive solutions that are computable on a finite quotient space characterised by language equivalence are derived.