Abstract
The computation burden of intensive numerical real-time algorithms is a problem encountered in robotics and many other fields. A cost-effective solution for the implementation of these algorithms requires knowledge of computer architecture, compiler technology and algorithms. A cost-effective numeric processing methodology using a combined hardware-software approach and taking advantage of logic programming tools is presented. The methodology is based on optimizing the numerical calculation process of the algorithm. It also enables the specification of hardware resources. The process uses a rule-based-system (RBS) implemented in the logic programming language Prolog to automatically reduce the number of operations in the numerical execution of the algorithm and optimizes the use of hardware resources. The methodology provides a solution for the problems of handshake overhead and algorithm translation efficiency.
The Direct Kinematics Solution (DKS), a robot arm control algorithm, is presented as a case study to illustrate the methodology. The proposed methodology has a general potential which can be extended to the optimization or implementation of different algorithms.
Similar content being viewed by others
References
Lee, C. S. G., Robot arm dynamics,Tutorial on Robotics, Computer Society Press, 1984, 93–102.
Kasahara, H. and Narita, S., Parallel processing of robot-arm control computation on a multiprocessor system,IEEE J. Robotics Autom. RA-1(3) (1985), 104–113.
Shear, D., HLL compilers and DSP run-time libraries make DSP-system programming easy,EDN (23 June 1988), 69–76.
Molinary, J. and Preston, C., Personal computers play host to board array processors,Electronic Design (April 16, 1987), 118–124.
Williams, C., Expert systems, knowledge engineering and AI tools — an overview,IEEE Expert System, (Winter 1986), 66–70.
Leung, S. S. and Shanblatt, M. A., Real-time DKS on a single chip,IEEE J. Robotics Automat. RA-3(3) (1987), 281–290.
Seshardi, V., A real-time VLSI architecture for direct kinematics,Proc. 1987 IEEE Int. Conf. Robotics and Automation, (1987), pp. 1116–1120.
Wang, L. T. and Ravani, B., Recursive computation of kinematic and dynamic equations for mechanical manipulators,IEEE J. Robotics Automat. RA-1(3) (1985), 124–131.
Khoslan, P. K. and Neuman, C. P., Computational requirements of customized Newton-Euler algorithms,J. Robotic Systems 2, (1987) 309–321.
Luh, S., Walker, M. W., and Paul, R. P. C., On-line computation scheme for mechanical manipulators,Trans. ASME Dynamic Systems, Measurements Control 102, (1980), 69–76.
Neuman, C. L. and Murry, J. J., The complete dynamic model and customized algorithms of the Puma robot,IEEE Trans. Systems Man Cybernet SMC-17(4) (1987), 635–644.
Watanabe, T., Kametani, M., Kawata, K., and Tetsuya, K., Improvement of computing time of robot manipulator using a multi-microprocessor,Robotic and Manufacturing Automation, PED, Vol. 15, (1986), pp. 13–22.
Watanabe, T., Kawata, K., Tetsuia, K., Sano, K., and Hayashi, K., Robot manipulator control by multi-processor,Japan U.S.A. Sympos. Flexible Automation, (1987), pp. 189–194.
Kelly, D. W. and Green, D. G., Distributed control of the RHINO XR-1 Robot,IEEE CH2306-9/86/0000-0225, (1986), pp. 225–227.
Kasahara, H. and Narita, S., Parallel processing of robot-arm control computation on a multiprocessor system,IEEE J. Robotics Automat. RA-1(3) (1985), 104–113.
Lee, C. S., Mudge, G. T. M., and Turney, J. L., Hierarchical control structure using special purpose processors for the control of robot arms,Proc. 1982 Pattern Recognition and Image Processing Conf. (1982), pp. 634–640.
Coppersmit, D. and Winograd, S., On the asymptotic complexity of matrix multiplication,SIAM J. Comput. 11(3) (1982), 472–492.
Pan, V. Y., New fast algorithms for matrix operations,SIAM J. Comput. 9(2) (1980), 321–342.
Dains, R. E.,Logic Programming and Prolog: A tutorial, IEEE Software (1985), pp. 53–62.
Roberts, M., Optimizing compilers,Byte (Oct. 1987), 165–170.
Freeman, T. S., Imirzian, G. M., and Kaltofen, E., Dagwood: A system for manipulating polynomials given by straight-line programs,ACM Trans. Math. Software,14(3) (1988), 218–240.
Ailon, A. and Azaria, H., A discrete linear state equation approach for the inverse dynamics problem as applied to robotics,IEEE Int. Conf. Control and Appl., Jerusalem (1989), pp. TA3–7.
Azaria, H. and Dvir, A., Optimizing compiler for an spAP architecture using AI tools,IEEE Computer, June 1992, pp. 39–48.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Azaria, H., Dvir, A. Algorithm optimization using a rule-based system. A case study: The Direct Kinematic Solution in robotics. J Intell Robot Syst 8, 309–324 (1993). https://doi.org/10.1007/BF01257947
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01257947