Picture of wind turbine against blue sky

Open Access research with a real impact...

The Strathprints institutional repository is a digital archive of University of Strathclyde research outputs.

The Energy Systems Research Unit (ESRU) within Strathclyde's Department of Mechanical and Aerospace Engineering is producing Open Access research that can help society deploy and optimise renewable energy systems, such as wind turbine technology.

Explore wind turbine research in Strathprints

Explore all of Strathclyde's Open Access research content

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.