Title of article :
Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states
Author/Authors :
Park، نويسنده , , J.، نويسنده , , Reveliotis، نويسنده , , S.A.، نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 2002
Keywords :
resourceallocation systems , uncontrollability. , Supervisory control , Discrete Event Systems , Forbidden states , Liveness
Journal title :
I E E E Transactions on Robotics and Automation
Journal title :
I E E E Transactions on Robotics and Automation