SE(3)
- Aussi appelé: special Euclidean group, SE3, rigid-body transformation group
- Catégorie: Foundations & spatial maths › Frames & transforms
- Mots-clés: lie-groups, rigid-body-motion, spatial-math, kinematics, pose-estimation
Groupe des mouvements de corps rigide dans l'espace 3D, chaque rotation combinée à chaque translation, généralement écrit sous forme de matrices de transformation homogènes 4×4. Il décrit les poses et les changements de pose.
Définition
SE(3), le groupe spécial euclidien en trois dimensions, contient toutes les transformations de corps rigide : une rotation R de SO(3), le groupe des matrices orthonormales 3×3 de déterminant +1, associée à un vecteur de translation p. Écrite sous forme de matrice homogène 4×4 avec R en haut à gauche, p dans la colonne de droite et [0 0 0 1] comme dernière ligne, la composition de deux mouvements est une multiplication matricielle, et l'inverse a pour rotation Rᵀ et pour translation −Rᵀp. Un élément de SE(3) peut décrire une pose, c'est-à-dire la position et l'orientation d'un repère par rapport à un autre, ou un mouvement qui transporte des points d'un repère à un autre. Il a six degrés de liberté, trois en rotation et trois en translation ; « spécial » signifie que les réflexions sont exclues.
SE(3) est un groupe de Lie, un espace courbe lisse qui est aussi un groupe, et ce n'est pas un espace vectoriel : additionner deux poses ou moyenner des matrices coefficient par coefficient ne donne pas une pose valide. Son espace tangent à l'identité, l'algèbre de Lie se(3), est constitué de torseurs cinématiques (twists) à six dimensions combinant vitesse angulaire et vitesse linéaire. L'application exponentielle transforme un torseur cinématique en transformation, et le logarithme fait le chemin inverse. Ces applications sous-tendent la formule du produit d'exponentielles en cinématique, l'optimisation sur variété utilisée dans le SLAM et les solveurs de graphes de poses, où les mises à jour sont appliquées sous forme de petits torseurs cinématiques, ainsi que l'interpolation et l'incertitude correctes des poses. L'équivalent plan, SE(2), a trois degrés de liberté, x, y et le cap, et sert pour les robots mobiles et pour les objets contraints à un plan, comme un objet pincé entre les mâchoires parallèles d'une pince.
Les poses dans SE(3) peuvent être stockées sous forme de matrices homogènes, d'une rotation (matrice de rotation, quaternion unitaire ou axe-angle) plus un vecteur de translation, de quaternions duaux ou de coordonnées de torseur cinématique. En apprentissage, les réseaux qui produisent des poses doivent traiter la partie rotation avec soin, car les quaternions couvrent chaque rotation deux fois et certaines paramétrisations sont discontinues. Les réseaux équivariants pour SE(3) (SE(3)-equivariant) intègrent la symétrie du groupe dans leur structure, de sorte que leurs sorties se transforment de façon cohérente quand la scène d'entrée est tournée ou translatée.
Pourquoi c'est important
Chaque système de coordonnées, chaque paramètre extrinsèque de capteur, chaque cible d'effecteur terminal et chaque pose d'objet dans un robot est un élément de SE(3). Le traiter comme un groupe plutôt que comme douze nombres indépendants évite des bugs courants, comme des matrices de rotation qui dérivent, un mauvais ordre de composition ou des moyennes invalides, et rend l'optimisation et les estimations d'incertitude correctes.
Applications principales
- Cinématique directe et poses cibles de l'effecteur terminal
- SLAM, odométrie visuelle et optimisation de graphes de poses
- Estimation de la pose d'objets pour la préhension
- Interpolation de trajectoires entre des poses
- Étalonnage des paramètres extrinsèques des capteurs
- Apprentissage équivariant pour la manipulation
En pratique
Dans une tâche de saisie, la cinématique directe donne la pose de la pince dans le repère de la base, l'étalonnage main-œil donne la pose de la caméra dans le repère de la pince, et un estimateur de pose donne la pose de l'objet dans le repère de la caméra. La pose de l'objet dans le repère de la base est le produit des trois transformations, dans cet ordre, et une convention de nommage cohérente des repères évite de mélanger l'ordre. Pour fusionner plusieurs estimations de pose, l'équipe moyenne les rotations sur SO(3), par exemple par moyenne de quaternions ou par une moyenne itérative dans l'espace tangent, plutôt que de moyenner les coefficients des matrices. Des bibliothèques comme Sophus, manif et tf2 dans ROS prennent en charge ces opérations.
Idées reçues
- Les poses peuvent être moyennées ou interpolées coefficient par coefficient — le résultat n'est en général pas une rotation valide ; la moyenne et l'interpolation doivent respecter la structure de groupe
- SE(3) n'est que SO(3) et un vecteur de translation côte à côte — les éléments sont les mêmes, mais lors de la composition des mouvements la rotation agit sur la translation, donc la règle de composition diffère
- Des angles d'Euler plus une position sont une représentation générale sûre — ils couvrent SE(3) mais ont des singularités ; les quaternions ou les matrices de rotation les évitent
Qui devrait le savoir
- Ingénieurs logiciels en robotique qui travaillent avec des systèmes de coordonnées
- Ingénieurs en SLAM et en estimation d'état
- Ingénieurs en cinématique et en manipulation
- Chercheurs en apprentissage automatique qui prédisent des poses
Technologies associées
- SO(3)
- Algèbre de Lie se(3) (Lie Algebra se(3))
- Matrice de transformation homogène (Homogeneous Transformation Matrix)
- Quaternions
- Sophus
- tf2
Termes associés
Projets associés
- AprilTag: The standard visual fiducial marker system for robot localization and pose estimation
- MoveIt 2: Motion planning framework for ROS 2 robot arms, with kinematics and collision checking
- manif: Header-only C++ Lie theory library for robotics state estimation
- PyRoki: Modular Python toolkit for kinematic optimization across CPU, GPU, and TPU via JAX
- PyPose: PyTorch library for differentiable robotics with deep learning and Lie group optimization
- DART: C++ physics engine for articulated rigid body dynamics and robotics simulation