A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems

Ahmed Nazeem, Spiridon Reveliotis. A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems. IEEE T. Automation Science and Engineering, 8(4):766-779, 2011. [doi]

Abstract

Abstract is missing.