Clarification on the computation of liveness-enforcing supervisor for resource allocation systems with uncontrollable behavior

IEEE Transactions on Automation Science and Engineering

Volumn 6, Issue 3, 2009, Pages 557-559

  Hu, Hesuan ^a   Li, Zhiwu ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Liveness enforcing supervision; Petri nets; Resource allocation systems; Uncontrollability

Indexed keywords

LIVENESS ENFORCING SUPERVISION; LIVENESS-ENFORCING SUPERVISOR; RESOURCE ALLOCATION SYSTEMS; UNCONTROLLABILITY;

LAW ENFORCEMENT; MATHEMATICAL PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; PETRI NETS; PLANNING; RESOURCE ALLOCATION;

GRAPH THEORY;

EID: 68149169368     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2009.2021349     Document Type: Conference Paper

References (1)

1. J. Park and S. A. Reveliotis, "Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states," IEEE Transa. Robot. Autom., vol. 18, no. 2, pp. 234-240, Apr. 2002.