Jonghun Park, Spyros A. Reveliotis. Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events. In Proceedings of the 2002 IEEE International Conference on Robotics and Automation, ICRA 2002, May 11-15, 2002, Washington, DC, USA. pages 187-192, IEEE, 2002.
Abstract is missing.