Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states

Cited 28 time in webofscience Cited 31 time in scopus
  • Hit : 319
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorPark, Jonghunko
dc.contributor.authorReveliotis, SAko
dc.date.accessioned2013-03-03T19:18:02Z-
dc.date.available2013-03-03T19:18:02Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued2002-04-
dc.identifier.citationIEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, v.18, no.2, pp.234 - 240-
dc.identifier.issn1042-296X-
dc.identifier.urihttp://hdl.handle.net/10203/80066-
dc.description.abstractAlthough liveness enforcing supervision (LES) of sequential resource allocation systems (RAS) is currently a well-established problem in the Discrete Event System literature, all prior work on it has addressed the underlying LES synthesis problem under the assumption that the system behavior is totally controllable. The work presented in this paper seeks to develop correct and scaleable LES for RAS that present uncontrollability with respect to: 1) the timing of some requested resource allocations, i.e., these allocations will take place as long as the requested resources are available and/or 2) the routing of certain job instances that, after some processing stages, might request special treatment or rework. In addition, the last part of the paper addresses the accommodation in the original LES synthesis problem of externally imposed logical constraints, that constitute-
dc.languageEnglish-
dc.publisherIEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC-
dc.subjectFLEXIBLE MANUFACTURING SYSTEMS-
dc.subjectDEADLOCK-AVOIDANCE POLICIES-
dc.titleLiveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states-
dc.typeArticle-
dc.identifier.wosid000175372300010-
dc.identifier.scopusid2-s2.0-0036529472-
dc.type.rimsART-
dc.citation.volume18-
dc.citation.issue2-
dc.citation.beginningpage234-
dc.citation.endingpage240-
dc.citation.publicationnameIEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION-
dc.identifier.doi10.1109/TRA.2002.999651-
dc.contributor.localauthorPark, Jonghun-
dc.contributor.nonIdAuthorReveliotis, SA-
dc.type.journalArticleArticle-
dc.subject.keywordAuthordiscrete event systems-
dc.subject.keywordAuthorforbidden states-
dc.subject.keywordAuthorliveness-
dc.subject.keywordAuthorresource allocation systems-
dc.subject.keywordAuthorsupervisory control-
dc.subject.keywordAuthoruncontrollability-
dc.subject.keywordPlusFLEXIBLE MANUFACTURING SYSTEMS-
dc.subject.keywordPlusDEADLOCK-AVOIDANCE POLICIES-
Appears in Collection
RIMS Journal Papers
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 28 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0