4,272 research outputs found
A compact formula for the derivative of a 3-D rotation in exponential coordinates
We present a compact formula for the derivative of a 3-D rotation matrix with
respect to its exponential coordinates. A geometric interpretation of the
resulting expression is provided, as well as its agreement with other
less-compact but better-known formulas. To the best of our knowledge, this
simpler formula does not appear anywhere in the literature. We hope by
providing this more compact expression to alleviate the common pressure to
reluctantly resort to alternative representations in various computational
applications simply as a means to avoid the complexity of differential analysis
in exponential coordinates.Comment: 6 page
Contact-Aided Invariant Extended Kalman Filtering for Legged Robot State Estimation
This paper derives a contact-aided inertial navigation observer for a 3D
bipedal robot using the theory of invariant observer design. Aided inertial
navigation is fundamentally a nonlinear observer design problem; thus, current
solutions are based on approximations of the system dynamics, such as an
Extended Kalman Filter (EKF), which uses a system's Jacobian linearization
along the current best estimate of its trajectory. On the basis of the theory
of invariant observer design by Barrau and Bonnabel, and in particular, the
Invariant EKF (InEKF), we show that the error dynamics of the point
contact-inertial system follows a log-linear autonomous differential equation;
hence, the observable state variables can be rendered convergent with a domain
of attraction that is independent of the system's trajectory. Due to the
log-linear form of the error dynamics, it is not necessary to perform a
nonlinear observability analysis to show that when using an Inertial
Measurement Unit (IMU) and contact sensors, the absolute position of the robot
and a rotation about the gravity vector (yaw) are unobservable. We further
augment the state of the developed InEKF with IMU biases, as the online
estimation of these parameters has a crucial impact on system performance. We
evaluate the convergence of the proposed system with the commonly used
quaternion-based EKF observer using a Monte-Carlo simulation. In addition, our
experimental evaluation using a Cassie-series bipedal robot shows that the
contact-aided InEKF provides better performance in comparison with the
quaternion-based EKF as a result of exploiting symmetries present in the system
dynamics.Comment: Published in the proceedings of Robotics: Science and Systems 201
Development of Alternative Methods for Robot Kinematics
The problem of finding mathematical tools to represent rigid body motions in space has long been on the agenda of physicists and mathematicians and is considered to be a well-researched and well-understood problem. Robotics, computer vision, graphics, and other engineering disciplines require concise and efficient means of representing and applying generalized coordinate transformations in three dimensions. Robotics requires systematic ways to represent the relative position or orientation of a manipulator rigid links and objects. However, with the advent of high-speed computers and their application to the generation of animated graphical images and control of robot manipulators, new interest arose in identifying compact and computationally efficient representations of spatial transformations. The traditional methods for representing forward kinematics of manipulators have been the homogeneous matrix in line with the D-H algorithm. In robotics, this matrix is used to describe one coordinate system with respect to another one. However for online operation and manipulation of the robotic manipulator in a flexible manner the computational time plays an important role. Although this method is used extensively in kinematic analysis but it is relatively neglected in practical robotic systems due to some complications in dealing with the problem of orientation representation. On the other hand, such matrices are highly redundant to represent six independent degrees of freedom. This redundancy can introduce numerical problems in calculations, wastes storage, and often increases the computational cost of algorithms. Keeping these drawbacks in mind, alternative methods are being sought by various researchers for representing the same and reducing the computational time to make the system fast responsive in a flexible environment. Researchers in robot kinematics tried alternative methods in order to represent rigid body transformations based on concepts introduced by mathematicians and physicists such as Euler angle or Epsilon algebra. In the present work alternative representations, using quaternion algebra and lie algebra are proposed, tried and compared
On Centroidal Dynamics and Integrability of Average Angular Velocity
In the literature on robotics and multibody dynamics, the concept of average
angular velocity has received considerable attention in recent years. We
address the question of whether the average angular velocity defines an
orientation framethat depends only on the current robot configuration and
provide a simple algebraic condition to check whether this holds. In the
language of geometric mechanics, this condition corresponds to requiring the
flatness of the mechanical connection associated to the robotic system. Here,
however, we provide both a reinterpretation and a proof of this result
accessible to readers with a background in rigid body kinematics and multibody
dynamics but not necessarily acquainted with differential geometry, still
providing precise links to the geometric mechanics literature. This should help
spreading the algebraic condition beyond the scope of geometric
mechanics,contributing to a proper utilization and understanding of the concept
of average angular velocity.Comment: 8 pages, accepted for IEEE Robotics and Automation Letters (RA-L
- …