Picture of scraped petri dish

Scrape below the surface of Strathprints...

Explore world class Open Access research by researchers at the University of Strathclyde, a leading technological university.

Explore

Non-blocking supervisory control for initialised rectangular automata

Spathopoulos, M.P. (2004) Non-blocking supervisory control for initialised rectangular automata. Asian Journal of Control, 6 (2). pp. 293-301. ISSN 1561-8625

[img]
Preview
PDF (strathprints006143.pdf)
strathprints006143.pdf

Download (174kB) | Preview

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.