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

Cited 27 time in webofscience Cited 0 time in scopus
  • Hit : 177
  • Download : 0
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
Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
Issue Date
2002-04
Language
English
Article Type
Article
Keywords

FLEXIBLE MANUFACTURING SYSTEMS; DEADLOCK-AVOIDANCE POLICIES

Citation

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, v.18, no.2, pp.234 - 240

ISSN
1042-296X
DOI
10.1109/TRA.2002.999651
URI
http://hdl.handle.net/10203/80066
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 27 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0