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]

Authors

Ahmed Nazeem

This author has not been identified. Look up 'Ahmed Nazeem' in Google

Spiridon Reveliotis

This author has not been identified. Look up 'Spiridon Reveliotis' in Google