WALKY, an ultrasonic navigating mobile robot for the disabled