Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior

In previous work, an acceptable transformation of an unacceptable specification on a Petri net can be implemented through a set of mathematical programming formulations. However, such a method becomes invalid when no solution exists in practice. In this paper, we reestablish these formulations and s...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on automation science and engineering Vol. 6; no. 3; pp. 557 - 559
Main Authors Hu, H, Li, Z
Format Journal Article
LanguageEnglish
Published Piscataway, NJ IEEE 01.07.2009
Institute of Electrical and Electronics Engineers
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects
Acceptability
Applied sciences
Automation
Computation
Computer science; control theory; systems
Control system analysis
Control theory. Systems
Exact sciences and technology
Liveness enforcing supervision
Mathematical analysis
Mathematical models
Mathematical programming
Methods
Modelling and identification
Petri nets
Resource allocation
resource allocation systems
Resource management
Specifications
Supervisors
Supervisory control
Transformations
uncontrollability
resource allocation systems
Liveness
Petri nets
Resource allocation
Controllability
Liveness enforcing supervision
uncontrollability
Supervision
Mathematical programming
Petri net
Discrete event system
Online AccessGet full text

Cover

More Information
Summary:In previous work, an acceptable transformation of an unacceptable specification on a Petri net can be implemented through a set of mathematical programming formulations. However, such a method becomes invalid when no solution exists in practice. In this paper, we reestablish these formulations and show their correctness.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:1545-5955
1558-3783
DOI:10.1109/TASE.2009.2021349