Ramadge-Wonham supervisory control of mobile robots: lessons from practice | IEEE Conference Publication | IEEE Xplore