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

IEEE Transactions on Robotics and Automation

Volumn 18, Issue 2, 2002, Pages 234-240

  Park, Jonghun ^a,b   Reveliotis, Spyros A ^a  

^a Georgia Institute of Technology   (United States)

^b PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

Discrete event systems; Forbidden states; Liveness; Resource allocation systems; Supervisory control; Uncontrollability

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; RESOURCE ALLOCATION; THEOREM PROVING;

CONJUNCTIVE DISJUNCTIVE RESOURCE ALLOCATION SYSTEMS; FORBIDDEN STATE; LIVELINESS ENFORCING SUPERVISION; LOGICAL CONSTRAINT; SEQUENTIAL LOGIC ROUTING; TIME CRITICAL OPERATION;

SCADA SYSTEMS;

EID: 0036529472     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/TRA.2002.999651     Document Type: Article

References (20)

1. Deadlock avoidance for sequential resource allocation systems: Hard and easy cases
2. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
3. Deadlock avoidance policies for automated manufacturing cells
4. Event-based feedback control for deadlock avoidance in flexible production systems
5. The application and evaluation of banker's algorithm for deadlock-free buffer space allocation in flexible manufacturing systems
6. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
7. Structural analysis and control of resource allocation systems using Petri nets
8. Algebraic deadlock avoidance policies for conjunctive/disjunctive resource allocation systems
9. Petri net supervisors for des with uncontrollable and unobservable transitions
10. Generalized mutual exclusion constraints on nets with uncontrollable transitions
11. A Petri net based deadlock prevention policy for flexible manufacturing systems
12. A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings
13. An iterative method for deadlock prevention in fms
14. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
15. Deadlock issues in supervisory control of discrete event systems
16. The control of discrete event systems