On asymptotically efficient solutions for a class of supervisory control problems

Research output: Contribution to journalConference articlepeer-review


We show that the existence of a solution procedure for certain infinite-state systems (cf. [12, 10, 11]) implies it is computationally beneficial to model certain large, finite-state systems as infinite-state systems and use the procedures developed to handle infinite-state systems in place of those developed to handle finite-state systems (cf.[3]). We illustrate this approach using examples of forbidden-state, and forbidden-string problems.

Original languageEnglish (US)
Pages (from-to)1006-1011
Number of pages6
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
StatePublished - 1994
EventProceedings of the 1994 IEEE International Conference on Systems, Man and Cybernetics. Part 1 (of 3) - San Antonio, TX, USA
Duration: Oct 2 1994Oct 5 1994

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Hardware and Architecture

Cite this