IEEE journal of robotics and automation a publ. of the IEEE Robotics and Automation Council (IEEE, 1985)