Discussion of “Geometric Algorithms for Robot Dynamics: A Tutorial Review” (F. C. Park, B. Kim, C. Jang, and J. Hong, 2018, ASME Appl. Mech. Rev., 70(1), p. 010803)

2018 ◽  
Vol 70 (1) ◽  
Author(s):  
Gregory S. Chirikjian

Lie-theoretic methods provide an elegant way to formulate many problems in robotics, and the tutorial by Park et al. (2018, “Geometric Algorithms for Robot Dynamics: A Tutorial Review,” ASME Appl. Mech. Rev., 70(1), p. 010803) is simultaneously a complete and concise introduction to these methods as they pertain to robot dynamics. The central reason why Lie groups are a natural mathematical tool for robotics is that rigid-body motions and pose changes can be described as Lie groups, and allow phenomena including robot kinematics and dynamics to be formulated in elegant notation without introducing superfluous coordinates. The emphasis of the tutorial by Park et al. (2018, “Geometric Algorithms for Robot Dynamics: A Tutorial Review,” ASME Appl. Mech. Rev., 70(1), p. 010803) is robot dynamics from a Lie-theoretic point of view. Newton–Euler and Lagrangian formulation of robot dynamics algorithms with O(n) complexity were formulated more than 35 years ago using recurrence relations that use the serial structure of manipulator arms. This was done without using the knowledge of Lie theory. But issues such as why the ω× terms in rigid-body dynamics appear can be more easily understood in the context of this theory. The authors take great efforts to be understandable by nonexperts and present extensive references to the differential-geometric and Lie-group-centric formulations of manipulator dynamics. In the discussion presented here, connections are made to complementary methods that have been developed in other bodies of literature. This includes the multibody dynamics, geometric mechanics, spacecraft dynamics, and polymer physics literature, as well as robotics works that present non-Lie-theoretic formulations in the context of highly parallelizable algorithms.

2002 ◽  
Vol 124 (2) ◽  
pp. 241-251 ◽  
Author(s):  
Hooshang Hemami

Augmented state spaces for the representation of systems that include rigid bodies, actuators, controllers, and integrate mechanical, electrical, sensory, and computational subsystems, are proposed here. The formulation is based on the Newton-Euler point of view, and has many advantages in stability, control, simulation, and computational considerations. The formulation is developed here for a one- and two-link three-dimensional rigid body system. Three simulations are presented to study stability of the system and to demonstrate feasibility and application of the formulation. The formulation affords an embedding of the system in a larger state space. The rigid body system can be stabilized, in the sense of Lyapunov, in this larger space with very general and minimally restricted feedback structures. The formulation is modular to implementation and is computationally efficient. The method offers alternative states that are easier to control and measure than Euler angles. Thus, the formulation offers advantages from a sensory and instrumentation point of view. The formulation is versatile, and yields conveniently to applications in studies of human neuro-musculo-skeletal systems, robotic systems, marionettes and humanoids for animation and simulation of crash and other injury prone maneuvers and sports. It offers a methodical and systematic procedure for formulation of large systems of interconnected rigid bodies.


1990 ◽  
Vol 112 (3) ◽  
pp. 417-426 ◽  
Author(s):  
H. Kazerooni ◽  
B. J. Waibel ◽  
S. Kim

The work presented here is a nonlinear approach for the stability analysis of robot manipulators in compliant maneuvers. Stability of the environment and the manipulator taken as a whole has been investigated, and a bound for stable manipulation has been derived. The stability analysis has been investigated using unstructured models for the dynamic behavior of the robot manipulator and the environment. This unified approach of modeling robot dynamics is expressed in terms of sensitivity functions as opposed to the rigid body dynamics derived by Lagrangian approach. It allows us to incorporate the dynamic behavior of all the elements of a robot manipulator (i.e., actuators, sensors and the structural compliance of the links) in addition to the rigid body dynamics. We show that for stability of the robot, there must be some initial compliancy either in the robot or in the environment. According to this stability condition, smaller sensitivity either in the robot or in the environment leads to a narrower stability range. In the limit, when both robot and environment have zero sensitivity, stability cannot be guaranteed. The general stability condition has been extended to the particular case where the environment is very rigid in comparison with the robot stiffness. This condition has been verified via simulation and experiment on the Minnesota direct drive robot.


Author(s):  
Mate Antali ◽  
Gabor Stepan

AbstractIn this paper, the general kinematics and dynamics of a rigid body is analysed, which is in contact with two rigid surfaces in the presence of dry friction. Due to the rolling or slipping state at each contact point, four kinematic scenarios occur. In the two-point rolling case, the contact forces are undetermined; consequently, the condition of the static friction forces cannot be checked from the Coulomb model to decide whether two-point rolling is possible. However, this issue can be resolved within the scope of rigid body dynamics by analysing the nonsmooth vector field of the system at the possible transitions between slipping and rolling. Based on the concept of limit directions of codimension-2 discontinuities, a method is presented to determine the conditions when the two-point rolling is realizable without slipping.


2021 ◽  
Vol 2021 (7) ◽  
Author(s):  
Zhihao Duan ◽  
Kimyeong Lee ◽  
June Nahmgoong ◽  
Xin Wang

Abstract We study twisted circle compactification of 6d (2, 0) SCFTs to 5d $$ \mathcal{N} $$ N = 2 supersymmetric gauge theories with non-simply-laced gauge groups. We provide two complementary approaches towards the BPS partition functions, reflecting the 5d and 6d point of view respectively. The first is based on the blowup equations for the instanton partition function, from which in particular we determine explicitly the one-instanton contribution for all simple Lie groups. The second is based on the modular bootstrap program, and we propose a novel modular ansatz for the twisted elliptic genera that transform under the congruence subgroups Γ0(N) of SL(2, ℤ). We conjecture a vanishing bound for the refined Gopakumar-Vafa invariants of the genus one fibered Calabi-Yau threefolds, upon which one can determine the twisted elliptic genera recursively. We use our results to obtain the 6d Cardy formulas and find universal behaviour for all simple Lie groups. In addition, the Cardy formulas remain invariant under the twist once the normalization of the compact circle is taken into account.


1988 ◽  
Vol 53 (4) ◽  
pp. 1177-1187
Author(s):  
W. A. MacCaull

Using formally intuitionistic logic coupled with infinitary logic and the completeness theorem for coherent logic, we establish the validity, in Grothendieck toposes, of a number of well-known, classically valid theorems about fields and ordered fields. Classically, these theorems have proofs by contradiction and most involve higher order notions. Here, the theorems are each given a first-order formulation, and this form of the theorem is then deduced using coherent or formally intuitionistic logic. This immediately implies their validity in arbitrary Grothendieck toposes. The main idea throughout is to use coherent theories and, whenever possible, find coherent formulations of formulas which then allow us to call upon the completeness theorem of coherent logic. In one place, the positive model-completeness of the relevant theory is used to find the necessary coherent formulas.The theorems here deal with polynomials or rational functions (in s indeterminates) over fields. A polynomial over a field can, of course, be represented by a finite string of field elements, and a rational function can be represented by a pair of strings of field elements. We chose the approach whereby results on polynomial rings are reduced to results about the base field, because the theory of polynomial rings in s indeterminates over fields, although coherent, is less desirable from a model-theoretic point of view. Ultimately we are interested in the models.This research was originally motivated by the works of Saracino and Weispfenning [SW], van den Dries [Dr], and Bunge [Bu], each of whom generalized some theorems from algebraic geometry or ordered fields to (commutative, von Neumann) regular rings (with unity).


2015 ◽  
Vol 69 ◽  
pp. 40-44
Author(s):  
H.M. Yehia ◽  
E. Saleh ◽  
S.F. Megahid

2014 ◽  
Vol 10 (2) ◽  
pp. e1003456 ◽  
Author(s):  
Pascal Carrivain ◽  
Maria Barbi ◽  
Jean-Marc Victor

Sign in / Sign up

Export Citation Format

Share Document