Ahmed Nazeem, Spiridon Reveliotis. A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems. In IEEE Conference on Automation Science and Engineering, CASE 2010, Toronto, ON, Canada, 21-24 August, 2010. pages 451-458, IEEE, 2010. [doi]
Abstract is missing.