Synthesis of the Inverse Kinematic Model of Non-Redundant Open-Chain Robotic Systems Using Groebner Basis Theory

[EN] One of the most important elements of a robot's control system is its Inverse Kinematic Model (IKM), which calculates the position and velocity references required by the robot's actuators to follow a trajectory. The methods that are commonly used to synthesize the IKM of open-chain robotic systems strongly depend on the geometry of the analyzed robot. Those methods are not systematic procedures that could be applied equally in all possible cases. This project presents the development of a systematic procedure to synthesize the IKM of non-redundant open-chain robotic systems using Groebner Basis theory, which does not depend on the geometry of the robot's structure. The inputs to the developed procedure are the robot's Denavit-Hartenberg parameters, while the output is the IKM, ready to be used in the robot's control system or in a simulation of its behavior. The Groebner Basis calculation is done in a two-step process, first computing a basis with Faugere's F4 algorithm and a grevlex monomial order, and later changing the basis with the FGLM algorithm to the desired lexicographic order. This procedure's performance was proved calculating the IKM of a PUMA manipulator and a walking hexapod robot. The errors in the computed references of both IKMs were absolutely negligible in their corresponding workspaces, and their computation times were comparable to those required by the kinematic models calculated by traditional methods. The developed procedure can be applied to all Cartesian robotic systems, SCARA robots, all the non-redundant robotic manipulators that satisfy the in-line wrist condition, and any non-redundant open-chain robot whose IKM should only solve the positioning problem, such as multi-legged walking robots.This research was partially funded by Plan Nacional de I+D+i, Agencia Estatal de Investigacion del Ministerio de Economia, Industria y Competitividad del Gobierno de Espana, in the project FEDER-CICYT DPI2017-84201-R.Guzmán-Giménez, J.; Valera Fernández, Á.; Mata Amela, V.; Díaz-Rodríguez, MÁ. (2020). Synthesis of the Inverse Kinematic Model of Non-Redundant Open-Chain Robotic Systems Using Groebner Basis Theory. Applied Sciences. 10(8):1-22. https://doi.org/10.3390/app10082781S122108Atique, M. M. U., Sarker, M. R. I., & Ahad, M. A. R. (2018). Development of an 8DOF quadruped robot and implementation of Inverse Kinematics using Denavit-Hartenberg convention. Heliyon, 4(12), e01053. doi:10.1016/j.heliyon.2018.e01053Flanders, M., & Kavanagh, R. C. (2015). Build-A-Robot: Using virtual reality to visualize the Denavit-Hartenberg parameters. Computer Applications in Engineering Education, 23(6), 846-853. doi:10.1002/cae.21656Özgür, E., & Mezouar, Y. (2016). Kinematic modeling and control of a robot arm using unit dual quaternions. Robotics and Autonomous Systems, 77, 66-73. doi:10.1016/j.robot.2015.12.005Wang, X., Han, D., Yu, C., & Zheng, Z. (2012). The geometric structure of unit dual quaternion with application in kinematic control. Journal of Mathematical Analysis and Applications, 389(2), 1352-1364. doi:10.1016/j.jmaa.2012.01.016Barrientos, A., Álvarez, M., Hernández, J. D., del Cerro, J., & Rossi, C. (2012). Modelado de Caden as Cinemáticas mediante Matrices de Desplazamiento. Una alternativa al método de Denavit-Hartenberg. Revista Iberoamericana de Automática e Informática Industrial RIAI, 9(4), 371-382. doi:10.1016/j.riai.2012.09.004Virgil Petrescu, R. V., Aversa, R., Apicella, A., Mirsayar, M., Kozaitis, S., Abu-Lebdeh, T., & Tiberiu Petrescu, F. I. (2017). Geometry and Inverse Kinematic at the MP3R Mobile Systems. Journal of Mechatronics and Robotics, 1(2), 58-65. doi:10.3844/jmrsp.2017.58.65Chen, S., Luo, M., Abdelaziz, O., & Jiang, G. (2017). A general analytical algorithm for collaborative robot (cobot) with 6 degree of freedom (DOF). 2017 International Conference on Applied System Innovation (ICASI). doi:10.1109/icasi.2017.7988522Bouzgou, K., & Ahmed-Foitih, Z. (2014). Geometric modeling and singularity of 6 DOF Fanuc 200IC robot. Fourth edition of the International Conference on the Innovative Computing Technology (INTECH 2014). doi:10.1109/intech.2014.6927745Mahajan, A., Singh, H. P., & Sukavanam, N. (2017). An unsupervised learning based neural network approach for a robotic manipulator. International Journal of Information Technology, 9(1), 1-6. doi:10.1007/s41870-017-0002-2Duka, A.-V. (2014). Neural Network based Inverse Kinematics Solution for Trajectory Tracking of a Robotic Arm. Procedia Technology, 12, 20-27. doi:10.1016/j.protcy.2013.12.451Toshani, H., & Farrokhi, M. (2014). Real-time inverse kinematics of redundant manipulators using neural networks and quadratic programming: A Lyapunov-based approach. Robotics and Autonomous Systems, 62(6), 766-781. doi:10.1016/j.robot.2014.02.005Rokbani, N., & Alimi, A. M. (2013). Inverse Kinematics Using Particle Swarm Optimization, A Statistical Analysis. Procedia Engineering, 64, 1602-1611. doi:10.1016/j.proeng.2013.09.242Jiang, G., Luo, M., Bai, K., & Chen, S. (2017). A Precise Positioning Method for a Puncture Robot Based on a PSO-Optimized BP Neural Network Algorithm. Applied Sciences, 7(10), 969. doi:10.3390/app7100969Köker, R. (2013). A genetic algorithm approach to a neural-network-based inverse kinematics solution of robotic manipulators based on error minimization. Information Sciences, 222, 528-543. doi:10.1016/j.ins.2012.07.051Rokbani, N., Casals, A., & Alimi, A. M. (2014). IK-FA, a New Heuristic Inverse Kinematics Solver Using Firefly Algorithm. Computational Intelligence Applications in Modeling and Control, 369-395. doi:10.1007/978-3-319-11017-2_15Buchberger, B. (2001). Multidimensional Systems and Signal Processing, 12(3/4), 223-251. doi:10.1023/a:1011949421611Kendricks, K. D. (2013). A kinematic analysis of the gmf a-510 robot: An introduction and application of groebner basis theory. Journal of Interdisciplinary Mathematics, 16(2-03), 147-169. doi:10.1080/09720502.2013.800304Wang, Y., Hang, L., & Yang, T. (2006). Inverse Kinematics Analysis of General 6R Serial Robot Mechanism Based on Groebner Base. Frontiers of Mechanical Engineering in China, 1(1), 115-124. doi:10.1007/s11465-005-0022-7Abbasnejad, G., & Carricato, M. (2015). Direct Geometrico-static Problem of Underconstrained Cable-Driven Parallel Robots With $n$ Cables. IEEE Transactions on Robotics, 31(2), 468-478. doi:10.1109/tro.2015.2393173Rameau, J.-F., & Serré, P. (2015). Computing mobility condition using Groebner basis. Mechanism and Machine Theory, 91, 21-38. doi:10.1016/j.mechmachtheory.2015.04.003Xiguang Huang, & Guangpin He. (2009). Forward kinematics of the general Stewart-Gough platform using Gröbner basis. 2009 International Conference on Mechatronics and Automation. doi:10.1109/icma.2009.5246088Uchida, T., & McPhee, J. (2012). Using Gröbner bases to generate efficient kinematic solutions for the dynamic simulation of multi-loop mechanisms. Mechanism and Machine Theory, 52, 144-157. doi:10.1016/j.mechmachtheory.2012.01.015Faugère, J.-C. (2010). FGb: A Library for Computing Gröbner Bases. Lecture Notes in Computer Science, 84-87. doi:10.1007/978-3-642-15582-6_17Faugére, J.-C. (1999). A new efficient algorithm for computing Gröbner bases (F4). Journal of Pure and Applied Algebra, 139(1-3), 61-88. doi:10.1016/s0022-4049(99)00005-5Faugère, J. C., Gianni, P., Lazard, D., & Mora, T. (1993). Efficient Computation of Zero-dimensional Gröbner Bases by Change of Ordering. Journal of Symbolic Computation, 16(4), 329-344. doi:10.1006/jsco.1993.1051Salzer, H. E. (1960). A note on the solution of quartic equations. Mathematics of Computation, 14(71), 279-279. doi:10.1090/s0025-5718-1960-0117882-

Development of Novel Task-Based Configuration Optimization Methodologies for Modular and Reconfigurable Robots Using Multi-Solution Inverse Kinematic Algorithms

Modular and Reconfigurable Robots (MRRs) are those designed to address the increasing demand for flexible and versatile manipulators in manufacturing facilities. The term, modularity, indicates that they are constructed by using a limited number of interchangeable standardized modules which can be assembled in different kinematic configurations. Thereby, a wide variety of specialized robots can be built from a set of standard components. The term, reconfigurability, implies that the robots can be disassembled and rearranged to accommodate different products or tasks rather than being replaced. A set of MRR modules may consist of joints, links, and end-effectors. Different kinematic configurations are achieved by using different joint, link, and end-effector modules and by changing their relative orientation. The number of distinct kinematic configurations, attainable by a set of modules, varies with respect to the size of the module set from several tens to several thousands. Although determining the most suitable configuration for a specific task from a predefined set of modules is a highly nonlinear optimization problem in a hybrid continuous and discrete search space, a solution to this problem is crucial to effectively utilize MRRs in manufacturing facilities. The objective of this thesis is to develop novel optimization methods that can effectively search the Kinematic Configuration (KC) space to identify the most suitable manipulator for any given task. In specific terms, the goal is to develop and synthesize fast and efficient algorithms for a Task-Based Configuration Optimization (TBCO) from a given set of constraints and optimization criteria. To achieve such efficiency, a TBCO solver, based on Memetic Algorithms (MA), is proposed. MAs are hybrids of Genetic Algorithms (GAs) and local search algorithms. MAs benefit from the exploration abilities of GAs and the exploitation abilities of local search methods simultaneously. Consequently, MAs can significantly enhance the search efficiency of a wide range of optimization problems, including the TBCO. To achieve more optimal solutions, the proposed TBCO utilizes all the solutions of the Inverse Kinematics(IK) problem. Another objective is to develop a method for incorporating the multiple solutions of the IK problem in a trajectory optimization framework. The output of the proposed trajectory optimization method consists of a sequence of desired tasks and a single IK solution to reach each task point. Moreover, the total cost of the optimized trajectory is utilized in the TBCO as a performance measure, providing a means to identify kinematic configurations with more efficient optimized trajectories. The final objective is to develop novel IK solvers which are both general and complete. Generality means that the solvers are applicable to all the kinematic configurations which can be assembled from the available module inventory. Completeness entails the algorithm can obtain all the possible IK solutions

Advanced Strategies for Robot Manipulators

Amongst the robotic systems, robot manipulators have proven themselves to be of increasing importance and are widely adopted to substitute for human in repetitive and/or hazardous tasks. Modern manipulators are designed complicatedly and need to do more precise, crucial and critical tasks. So, the simple traditional control methods cannot be efficient, and advanced control strategies with considering special constraints are needed to establish. In spite of the fact that groundbreaking researches have been carried out in this realm until now, there are still many novel aspects which have to be explored