An Automated Control System-Designing System Assisted by Hypothetical Reasoning. - Seiichi Kawata; Atsushi Watanabe; Yasumaru Kubo (J. Robotics Mechatronics, 1990)