DC Field | Value | Language |
---|---|---|
dc.contributor.author | Park, Jonghun | ko |
dc.contributor.author | Reveliotis, SA | ko |
dc.date.accessioned | 2013-03-03T19:18:02Z | - |
dc.date.available | 2013-03-03T19:18:02Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2002-04 | - |
dc.identifier.citation | IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, v.18, no.2, pp.234 - 240 | - |
dc.identifier.issn | 1042-296X | - |
dc.identifier.uri | http://hdl.handle.net/10203/80066 | - |
dc.description.abstract | Although 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.language | English | - |
dc.publisher | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | - |
dc.subject | FLEXIBLE MANUFACTURING SYSTEMS | - |
dc.subject | DEADLOCK-AVOIDANCE POLICIES | - |
dc.title | Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states | - |
dc.type | Article | - |
dc.identifier.wosid | 000175372300010 | - |
dc.identifier.scopusid | 2-s2.0-0036529472 | - |
dc.type.rims | ART | - |
dc.citation.volume | 18 | - |
dc.citation.issue | 2 | - |
dc.citation.beginningpage | 234 | - |
dc.citation.endingpage | 240 | - |
dc.citation.publicationname | IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION | - |
dc.identifier.doi | 10.1109/TRA.2002.999651 | - |
dc.contributor.localauthor | Park, Jonghun | - |
dc.contributor.nonIdAuthor | Reveliotis, SA | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | discrete event systems | - |
dc.subject.keywordAuthor | forbidden states | - |
dc.subject.keywordAuthor | liveness | - |
dc.subject.keywordAuthor | resource allocation systems | - |
dc.subject.keywordAuthor | supervisory control | - |
dc.subject.keywordAuthor | uncontrollability | - |
dc.subject.keywordPlus | FLEXIBLE MANUFACTURING SYSTEMS | - |
dc.subject.keywordPlus | DEADLOCK-AVOIDANCE POLICIES | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.