Online supervisor synthesis for partially observed discrete-event systems

Joseph H. Prosser, Moshe Kam, Harry G. Kwatny

Research output: Contribution to journalArticlepeer-review

16 Scopus citations

Abstract

A partial information supervisor that generates a class of closed controllable and observable sublanguages of a specified "legal" language is presented. This supervisor has the following features: 1) it can be implemented online (i.e., the disabled event set need only be computed once upon each event observation); 2) the computations of the disabled event set can be performed in O(mn) worst case complexity, where n is the number of states in the legal language generator and m is the number of events; 3) an online supervisor presented previously by Heymann and Lin (1993) is a special case of the new supervisor; and 4) all the languages generated by the new supervisor contain the supremal closed controllable and normal (supCCN) sublanguage of the legal language (in fact, they contain a language developed by Fa et al. (1993) that was shown to contain the supCCN sublanguage).

Original languageEnglish (US)
Pages (from-to)1630-1634
Number of pages5
JournalIEEE Transactions on Automatic Control
Volume43
Issue number11
DOIs
StatePublished - 1998
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Discrete-event systems
  • Online control
  • Partial observation
  • Supervisory control

Fingerprint Dive into the research topics of 'Online supervisor synthesis for partially observed discrete-event systems'. Together they form a unique fingerprint.

Cite this