Ramadge-Wonham supervisory control of mobile robots