Real-Time Management of Resource Allocation Systems

Cover -- Table of Contents -- Preface -- 1. Resource allocation systems: concepts and problems -- 1. Some example resource allocation systems -- 2. Sequential RAS and their Supervisory Control problem -- 3. The proposed SC framework -- 4. The book organization and an outline of the key results -- 5. Historical and bibliographical notes -- 2. Logical control of disjunctive / conjunctive resource allocation systems -- 1. Finite State Automaton-based modelling of the RAS behavior -- 2. State Reachability, Safety, and Nonblocking Supervision -- 3. The computational complexity of the Optimal Nonblocking SCP -- 4. Practical approaches to the RAS logical control problem -- 5. Some extensions of the RAS logical control problem -- 6. Historical and bibliographical notes -- 3. RAS admitting optimal nonblocking supervision of polynomial complexity -- 1. RAS with no deadlock-free unsafe states -- 2. Optimal "greedy" search for a process terminating sequence -- 3. Historical and bibliographical notes -- 4. Polynomial-kernel nonblocking scp's for singleunit RAS -- 1. Polynomial-Kernel SCP's for LIN-SU-RAS -- 2. Efficiency Considerations -- 3. AGV RAS and the AGV Banker's Algorithm -- 4. Accommodating Operational Contingencies -- 5. Historical and bibliographical notes -- 5. Logical control of ras with complex processes -- 1. Petri net-based modelling of the RAS behavior -- 2. RAS deadlock in the PN-based modelling framework -- 3. Liveness-enforcing supervision for process-resource nets -- 4. PK-SCP's for DIS-CON-RAS -- 5. PK-SCP's for RAS with Uncontrollable Behavior -- 6. Historical and bibliographical notes -- 6. Performance-oriented modelling and control of logically controlled RAS -- 1. RAS performance-oriented modelling and control -- 2. The thinning problem revisited -- 3. Developing computationally efficient approximations of the optimal scheduling policy? -- 4. Historical and bibliographical notes -- 7. Epilogue -- References.