On asymptotically efficient solutions for a class of supervisory control problems

Research output: Contribution to journalArticle

Abstract

We consider restricted sequences of forbidden-string [23] and forbidden-state [22] problems and show the limiting problem instance defined by a sequence has a solution if and only if each problem instance in the sequence has a solution. Furthermore, the supervisor that enforces the desired behavior in the limiting problem instance also enforces the desired behavior in each problem instance in the sequence. In essence, the storage requirement for supervisory control of each instance is bounded above by that of the limiting problem instance. In addition, if the limiting problem instance is available, a similar observation can be made regarding the complexity of supervisory control. This observation coupled with recent results on the solvability of the supervisory control problem involving certain classes of nonregular behaviors [29], [28], [5] and finite-representations of infinite-state systems [13], [14] is suggested as an effective procedure to combat the computational and storage issues in supervisory control. We conclude with an incomplete list of future research directions.

Original languageEnglish (US)
Pages (from-to)1736-1750
Number of pages15
JournalIEEE Transactions on Automatic Control
Volume41
Issue number12
DOIs
StatePublished - Dec 1 1996

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'On asymptotically efficient solutions for a class of supervisory control problems'. Together they form a unique fingerprint.

  • Cite this