Showing results 1 to 3 of 3
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems Park, Jonghun; Reveliotis, SA, IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, v.16, no.2, pp.190 - 195, 2000-04 |
Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states Park, Jonghun; Reveliotis, SA, IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, v.18, no.2, pp.234 - 240, 2002-04 |
Policy Mixtures: A Novel Approach for Enhancing the Operational Flexibility of Resource Allocation Systems with Alternate Routings Park, Jonghun; Reveliotis, SA, IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, v.18, no.4, pp.616 - 620, 2002-08 |
Discover