On asymptotically efficient solutions for a class of supervisory control problems

Research output: Contribution to journalConference article

Abstract

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
Volume1
StatePublished - Dec 1 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

@article{33d2f353f17f4197a6eae973b61cafc7,
title = "On asymptotically efficient solutions for a class of supervisory control problems",
abstract = "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.",
author = "Sreenivas, {Ramavarapu S}",
year = "1994",
month = "12",
day = "1",
language = "English (US)",
volume = "1",
pages = "1006--1011",
journal = "Proceedings of the IEEE International Conference on Systems, Man and Cybernetics",
issn = "0884-3627",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - On asymptotically efficient solutions for a class of supervisory control problems

AU - Sreenivas, Ramavarapu S

PY - 1994/12/1

Y1 - 1994/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0028739920&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0028739920&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0028739920

VL - 1

SP - 1006

EP - 1011

JO - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

JF - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

SN - 0884-3627

ER -