Non-blocking supervisory control for initialised rectangular automata

Michael P. Spathopoulos

Research output: Contribution to journalArticle

32 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)293-301
Number of pages8
JournalAsian Journal of Control
Volume6
Issue number2
Publication statusPublished - Jun 2004

Keywords

  • Rectangular automata
  • supervisory control
  • non-blocking supervisor

Fingerprint Dive into the research topics of 'Non-blocking supervisory control for initialised rectangular automata'. Together they form a unique fingerprint.

  • Cite this