三、机器人运动学
从机械的角度看,一个机械手可以用一系列通过转动关节或移动关节连接的刚体(连杆)运动链进行概要表示。链的一端安装在基座上,末端执行器则安装在链的另一端。链结构的运动结果可以通过每一连杆相对前一连杆的基本运动合成得到。因而,为了在空间中操作目标,有必要描述出末端执行器的位置和方向。本节基于线性代数知识,通过系统而一般性的方法,推导得出正运动学方程(direct kinematics equation),使末端执行器的位置和方向(简称为位姿)可以表示为相对参考坐标系机械结构中关节变量的函数。其中开链和闭链运动学结构都将考虑。为获得方向的最简表示(minimal representation of orientation),本节将介绍操作空间(operational space)的概念,并建立其与关节空间(joint space)的关系。
3.1 刚体的姿态
刚体(rigid body)可以由其在空间中相对参考坐标系的位置和方向(简记为位姿)进行完整的描述。如图所示,令为标准正交参考坐标系,为坐标轴的单位向量。
图3.1 刚体的位置和方向
刚体上的点相对坐标系的位置可以表示为关系式
其中,表示向量在坐标轴上的分量。的位置可以简写为()向量
(3.1)
由于除了方向和模长,其作用点和作用线都是规定的,因此是有界向量。
为了描述刚体的指向,考虑建立一个固连于刚体的标准正交坐标系,并由其相对参考坐标系的单位向量来表示。令此坐标系为中的表达式为:
(3.2)
每一单位向量的分量都是坐标系的轴相对参考坐标系的方向余弦。
3.2 旋转矩阵
为了描述简便起见,上式中描述刚体相对参考坐标系的指向的三个单位向量可以组合为一个()矩阵。
(3.3)
定义R为旋转矩阵。
需要注意矩阵R的列向量相互正交,原因在于它们表示的是正交坐标系的单位向量,即
同时,其模长均为1,即
因此,矩阵R是一个正交矩阵,即
(3.4)
其中,表示()单位矩阵。
如果在上式的两边同时右乘逆矩阵,可以得到以下有用的结论:
(3.5)
即旋转矩阵的转置与其逆矩阵相等。进一步地,注意到如果坐标系满足右手法则,则det()=1,如果满足左手法则,则det()=-1。
如上定义的旋转矩阵属于实()矩阵中的特殊正交群(special orthonormal group),其列为正交的且行列式为1。在作空间旋转时,m=3,在作平面旋转时,m=2。
3.2.1 基本旋转
考虑一个坐标系可以通过参考坐标系相对某一坐标轴的基本旋转得到。如果想对坐标轴作逆时针方向旋转,则旋转为正。
假设参考坐标系绕轴旋转角度,令为旋转后的坐标系。新坐标系的单位向量可以通过其相对参考坐标系的分量来描述。即
图3.2 坐标系绕坐标轴旋转角
从而,坐标系 关于坐标系的旋转矩阵为
(3.6)
类似的,绕轴旋转角及绕轴旋转的旋转可以分别由下列式子给出
(3.7)
(3.8)
这些矩阵将有助于描述绕空间中任一轴的旋转。
容易验证,上述几式中的基本旋转具有如下性质:
(3.9)
考虑上式,旋转矩阵可以被赋予几何意义,即矩阵R描述了在空间中将参考坐标系的坐标轴调整到与机器人本体坐标系相应的坐标轴相一致时,所需要绕单个坐标轴进行的旋转。
3.2.2 向量的表示
为更深入理解旋转矩阵的几何含义,考虑本体坐标系原点与参考坐标系原点重合的情况(图3.3),此时,,其中代表零向量。
图3.3 点在两个不同坐标系中的表示
相对于坐标系,空间中的一点可以表示为
或相对于坐标系,点可以表示为
由于和表示的是同一点,有
而且,根据式(3.3),有
(3.10)
旋转矩阵表示坐标系中的向量坐标转换为同一向量在坐标系中的坐标的变换矩阵(transformation matrix)。由式(3.4)的正交性质,逆变换可简单地由下式给出
(3.11)
3.2.3 向量的旋转
旋转矩阵也可视为使某一向量绕空间中任一轴旋转给定角度的矩阵算子。事实上,令为参考坐标系中的一个向量,由于矩阵的正交性,乘积得到的向量与的模相等,但是按照矩阵关于进行了旋转。模相等这一点可以通过并利用式(3.4)加以证明。后面还将对旋转矩阵的这一解释进行讨论。
3.3 旋转矩阵的合成
为了推导旋转矩阵的合成规则,有必要考虑一个向量在两个不同参考坐标系下的表示。因此,令、、为三个具有同一原点的坐标系。描述空间中任一点位置的向量可以在上述三个坐标系中进行表示。令分别代表向量在三个坐标系中的表示。
首先,考虑向量在坐标系2中的表达式与同一个向量在坐标系1中的表达式之间的关系。如果代表坐标系关于坐标系的旋转矩阵,有
(3.12)
类似地,有
(3.13)
(3.14)
另一方面,将式(3.12)代入式(3.13),并利用式(3.14)得到
(3.15)
式(3.15)中的矩阵关系可以解释为连续旋转的合成。考虑一个坐标系初始状态与坐标系一致。用矩阵表示的旋转可以看作是通过两步得到的:
- 首先根据对给定坐标系进行旋转,使之与坐标系一致。
- 然后根据将现在已与坐标系一致的坐标系进行旋转,使之与坐标系一致。
注意到完整的旋转可以表示成一系列的部分旋转,每一个部分旋转均相对前一个旋转进行定义,进行旋转的参考坐标系定义为当前坐标系。从而按给定的旋转顺序右乘旋转矩阵,进行连续旋转的合成,如式(3.15)。采用式(3.5)中的记法,有
(3.16)
连续旋转也可以一直相对初始坐标系来进行解释。在此情形下,旋转是相对固定坐标系进行的。令为坐标系关于固定坐标系的旋转矩阵,然后令表征坐标系相对坐标系0的矩阵关系,它由坐标系1根据矩阵进行旋转得到。由于(3.15)式给出了绕当前坐标系的轴进行连续旋转的合成规则,整体旋转可以被看作是通过以下步骤得到的:
- 首先用坐标系0通过旋转对坐标系1进行重排。
- 然后,将当前坐标系的旋转表示为。
- 最后,通过逆旋转补偿重排坐标系进行的旋转。
由于上述旋转是关于当前坐标系进行描述的,应用式(3.15)的合成规则可得
考虑式(3.16),有
(3.17)
其中,得到的不同于式(3.15)中的矩阵。由此可知,关于固定坐标系连续旋转的合成,可以通过按照给定的旋转顺序,左乘单个旋转矩阵进行。
回顾旋转矩阵在当前坐标系相对固定坐标系的指向方面的含义,可以意识到,旋转矩阵的列为当前坐标系的轴相对固定坐标系的方向余弦,而其行(其转置矩阵和逆矩阵的列)则为固定坐标系的轴关于当前坐标系的方向余弦。
旋转合成中的一个重要问题,是矩阵乘法不满足交换律。考虑到这一点,可以得出这样的结论,即一般来说两个旋转不可交换顺序,并且其合成关系依赖于单个旋转的顺序。
图3.6 物体绕当前坐标系的轴的相继旋转
图3.7 物体绕固定坐标系的轴的连续旋转
3.4 欧拉角
旋转矩阵对于坐标系指向的描述是冗余的。旋转矩阵用了9个元素来刻画其特征,而事实上,由于式(3.4)给出的正交性条件带来6个约束,这9个元素之间不是独立的,而是相关的。这就意味着,只要3个参数就足以描述一个刚体在空间中的指向。由3个独立的参数对指向进行描述,构成最简表示式。事实上,特殊正交群的最简表示需要个参数,因此,需要用3个参数来表示,而表示一个平面旋转只需要一个参数。
指向的最简表示可以通过三个角度的集合得到。将表示绕一个坐标轴进行基本旋转的旋转矩阵看成是单个角度的函数。这样,一般的旋转矩阵就可以通过3个基本旋转的1个适当序列的合成来实现,在此过程中需要保证两个连续旋转不是绕平行轴进行的。这就意味着在27种可能的组合中,只有12种不同的角度集合是可行的,每一集合表示3个一组的欧拉角。下面,将对两组欧拉角进行分析,即和(或滚动-俯仰-偏航)角。
3.4.1 角
用角描述的旋转可以通过如下的基本旋转合成得到。
图3.8 欧拉角的表示
- 将参考坐标系绕轴旋转角度,这一旋转可以用式(3.6)定义的矩阵来描述。
- 将当前坐标系绕轴旋转角度,这一旋转可以用式(3.7)定义的矩阵来描述。
- 将当前坐标系绕轴旋转角度,这一旋转同样可以用式(3.6)定义的矩阵来描述。
最终坐标系的指向通过相对当前坐标系旋转的合成得到,因此可以通过右乘基本旋转矩阵来计算,即 (3.18)
确定相应于给定旋转矩阵的欧拉角集合,对逆运动学问题求解很有用。假定旋转矩阵为
将此表达式与式(3.18)中的表达式相比较。考虑元素和,假定及,有
其中,为两个自变量的反正切函数。然后,求元素和的平方和并利用元素,得到
选择项的系数为正,将的取值范围限定在。基于这样的假设, 考虑元素和,有
故,所求解为
(3.19)
也有可能得到其他的解,这些解与(3.19)式中的解效果是一样的。在中选择得到
(3.20)
当=0时,解(3.19)、(3.20)会退化。在这种情形下,可能只能确定和的和或差。事实上,如果,,则连续的旋转和是绕当前坐标系的平行轴进行的,这就使得旋转是等价的。
3.4.2 角
另一组欧拉角来源于(航空)航海领域方向的表示。这些是角,也称为滚动-俯仰-偏航角,用来指示飞行器姿态的典型改变。在这种情形下,角表示相对固连于飞行器质心的固定工坐标系定义的旋转。(图3.4)
按照滚动-俯仰-偏航角得到的旋转结果可以按照如下步骤获得:
- 将参考坐标系绕轴旋转角度(偏航角),这一旋转由如(3.8)式定义的矩阵描述。
- 将参考坐标系绕轴旋转角度(俯仰角),这一旋转由如(3.7)式定义的矩阵描述。
- 将参考坐标系绕轴旋转角度(滚动角),这一旋转由如(3.6)式定义的矩阵描述。
坐标系的最终指向由相对固定坐标系旋转的合成得到,因此可以通过左乘基本旋转矩阵计算得到,即 (3.21)
图3.9 滚动-俯仰-偏航角度的表示
而欧拉角是如下给定旋转矩阵的逆解
可以通过将其与式(3.21)中的表达式相比较得到。
当属于区间时,有
(3.22)
当属于区间时时,其等价的解为
(3.23)
当时,得到(3.22)和(3.23)中的退化解。此时,有可能只能确定和的和或差。
3.5 角和轴
绕空间中某一轴旋转指定角度的指向的非最简表达式,可以采用4个参数进行表示。这一点在机械手末端执行器指向的轨迹规划问题中是有用的。
令为关于参考坐标系的旋转轴的单位向量。为了导出表示绕轴旋转角度的旋转矩阵,方便的做法是对绕参考坐标系的坐标轴的基本旋转进行合成。如果旋转是绕轴逆时针方向进行的,则角度为正。
如图3.10所示,一个可能的解决方案是首先将轴旋转必要的角度,使之与轴一致,然后绕轴旋转度,最后旋转必要的角度使单位向量与初始方向一致。具体的,旋转序列如下所示,其中旋转始终是相对固定坐标系的轴进行的:
图3.10 绕一轴旋转一定的角度
- 使得与一致,方法是先绕转角,再绕转角。
- 绕转角。
- 重排使与的初始指向一致,方法是先绕转角,再绕转角。
归纳起来,最终的旋转矩阵为
(3.24)
通过单位向量的分量,可以提取出需要用于计算式(3.24)中旋转矩阵的超越函数,以便消除对和的依赖。实际上,有
于是可以发现相应于给定角度和轴的旋转矩阵为
(3.25)
该矩阵具有如下的性质:
(3.26)
即,绕旋转与绕旋转没有区别,因此,这种表示不是唯一的。
如果需要求问题的逆解以计算相应于如下给定旋转矩阵的轴和角度
以下结论是有用的:
(3.27)
(3.28)
其中,注意表达式(3.27)、(3.28)是通过4个变量来描述旋转的,即角度量和轴的单位向量的3个分量。但是,易知的3个分量不是独立的,而是受到以下条件的约束
(3.29)
如果,表达式(3.27)和(3.28)将失去意义。为了求解逆问题,有必要直接参考通过旋转矩阵得到的特定表达式,并找到和情形下的求解公式。注意到,当(不旋转)时,单位向量是任意的。
3.6 单位四元数
角度/轴表达式的不足可以通过一个不同的四参数表达式加以克服。即单位四元数(unit quaternion),也就是欧拉参数,定义为,其中:
(3.30)
(3.31)
称为四元数的标量部分,而称为四元数的向量部分。它们受到以下条件的约束
(3.32)
从而将其称为单位四元数。考虑到式,相应于给定四元数的旋转矩阵有以下形式,
(3.33)
如果要求解逆问题,以计算相应于如下给定旋转矩阵的四元数
以下结论是有用的:
(3.34)
(3.35)
其中,按照惯例,当时,,当时,。注意到在式(3.34)中已经隐含了假定,这相当于角度,这样就可以描述所有的旋转。同时,与式(3.27)和式(3.28)中关于角度和轴的表达式的逆解相比,没有式(3.34)和(3.35)中的奇点现象。
从提取的四元数记为,可以如下进行计算
令和分别表示相应于旋转矩阵的和的四元数。相应于乘积的四元数为
其中四元数乘积算子“”已经正式介绍过了。易知,如果,则通过(3.37)得到四元数,这是乘积的单位元。