前言
在上一篇文章中，我们了解了用于表示机器人位置、速度的坐标系的定义，学习了如何表示姿态，也就是旋转的三种表达方式：旋转矩阵、欧拉角以及四元数。在这一节的第一部分中，我们将继续讨论在三种旋转表达之间互相转换的方法。之后，我们将以四麦轮小车以及四旋翼为例，推导二者的运动学模型，并分享一些我在学习过程中的一些心得体会。
在上一篇文章中，我们了解了用于表示机器人位置、速度的坐标系的定义，学习了如何表示姿态，也就是旋转的三种表达方式：旋转矩阵、欧拉角以及四元数。在这一节的第一部分中，我们将继续讨论在三种旋转表达之间互相转换的方法。之后，我们将以四麦轮小车以及四旋翼为例，推导二者的运动学模型，并分享一些我在学习过程中的一些心得体会。
以上便定义了由欧拉角到旋转矩阵的转换关系。但是注意一点，这个旋转矩阵的含义是指：将一个在n系下表示的向量，投影到b系下进行表示。这里，n系指的是世界系或者说是导航系，b系指的是体坐标系。
其中，q=[q_0 q_1 q_2 q_3]。
根据四元数乘法法则，有：
其中，M(q)代表的是四元数的左乘矩阵，M′(q−1)代表的是四元数的右乘矩阵。两个矩阵的定义在这里就不细说了，最终可以得到的结果就是：
所以，
所以，可以得到：
需要注意的是，在机器人的运动中，俯仰角θ都是定义在−π/2到π/2之间的，所以cosθ大于0。由此也可以推出，其余两个角在[0 2π]范围内的具体大小。
运动学主要是研究物体的位置、速度、角速度、加速度、角加速度等特征之间的关系。有了运动学方程，就能很容易的从其中的某些量出发推导得到另一些量，比如可以测量物体加速度和角速度就能根据这二者积分解算出位置和速度（惯性导航的基本原理）。本文将以四麦轮机器人以及四旋翼无人机为例，简单的介绍一下运动学方程是如何建立的。
要学习构造运动学方程，首先要理解一点，同一个运动在不同坐标系下的描述是不相同的。
举个例子，假如一个物体P相对于坐标系A下以速度[10,10,0]运动，而坐标系B是A系绕Z轴经过180度的旋转得到的，那么这个物体的速度在B系中的表示就应该是[−10,−10,0]。理解了这一点后，我们可以思考一个稍微复杂一些的问题，当B系相对与A系存在一个平移速度[1,1,0]时，这个物体的速度在B系下的表示就应该是
[−10,−10,0]−[−1,−1,0]=[−9,−9,0]
这也很好理解，那么要是B系不仅与A系之间有平移速度还有旋转角速度呢，这个应该怎么表示？这时就轮到哥氏定理闪亮登场了！
这部分内容主要参考一个介绍刚体转动动力学的PPT。
哥氏定理描述的是一般的空间自由质点相对于不同坐标系的速度和加速度的相互转换。尤其是当两个坐标系之间存在相对旋转时，需要格外注意。
下文中推导了哥氏定理的具体形式。
假设有一个坐标系n与一个坐标系b，另外定义一个向量r，如下：
将该向量在n系下求导，即：
又因为，当两个参考系之间存在相对转动时，有
所以，最终可以得到下面等式：
根据上面的推导可知，同一个向量相对两个不同的坐标系对于时间求导，只有在两个坐标系没有相对旋转时才会相等，否则应该运用哥氏定理来求解。
另外，关于哥氏定理，有两点需要注意！！！
第一点，在上面推导中用到的向量r既可以代表速度向量也可以代表位置向量。
例如，将r用速度向量v替代，则有：
第二点，必须理解：
事实上，左边这一项称为绝对导数，是指向量r在n系下的时间变化率在b系下的投影，右边这一项是相对导数，指的是向量r在b系下的时间变化率在b系下的投影。两者实际上都是表示在b系下的，不存在上面这个等式的关系。另外，正是由于n系和b系之间存在相对转动，才会导致向量r在两个系中的时间变化率不相同，而与两个坐标系之间的相对角速度有关。
在前文中，我们花了很大的篇幅介绍了坐标系的定义、旋转的表达、甚至引入了哥氏定理，这一切都是在为我们建立小车的运动学模型打下基础。下面就从麦克纳姆轮的性质开始，首先探讨了轮速与小车车速的关系，之后讨论了小车车速与加速度、位置之间的关系。
本部分内容主要参考了一篇知乎专栏《麦克纳姆轮浅谈》。
在这篇博文中，作者介绍了麦克纳姆轮的前世今生，也通过一系列的推导，得出了四麦克纳姆轮小车的轮速与小车车速之间的关系，在这里就不多啰嗦啦，直接使用相关结论，大家感兴趣可以移步去看那一篇博文。
四麦轮小车的结构如图：
小车轮速与车速的关系如下：
其中，w_1等代表轮1到轮4的旋转角速度，而v_x,v_y代表小车在体坐标系下的X、Y轴速度,w_z代表小车Z轴旋转角速度。上式是小车的逆运动学模型，而小车的正运动学模型，可以通过上面的方程中抽取三个解出来，或者使用最小二乘法的到，在这里不再赘述。
在上一部分中，我们介绍了轮速与车速之间的关系。这个运动学方程主要作用是通过码盘测量轮速，然后间接得到小车车速。而在这一部分的运动学模型推导中，主要就是为了建立小车的加速度、角速度与速度和位移之间的关系。（因为加速度和角速度能够通过IMU测量得到）
参考下面这幅图，定义了导航系n以及小车的体坐标系b（图中未表示的Z轴的方向：垂直纸面向里）。由于大多数情况下，小车还是在平地上运动的，这里假设小车做二维运动。
所以，首先可以推出b系与n系之间的旋转关系。由于是在二维平面上的旋转，不必考虑复杂的欧拉角，可以直接得到旋转矩阵，如下：
根据牛顿定律，位置是速度的一阶积分，速度是加速度的一阶积分，所以有：
其中，p^n代表小车在导航系n中的位置，v^b代表小车相对于n系的速度在b系下的表示，w_{nb}代表b系相对与n系的旋转角速度，θ代表b系与n系的夹角（见上图），w_z代表w_{nb}在Z轴上的分量。
上面三个式子中，第一个很简单，先把b系下表示的速度通过旋转矩阵投影到n系下，然后积分得到位置。第三个式子也很简单，就是角速度的积分等于角度。而在第二个式子中则用到前文提到的哥氏定理，但是这里产生了一个疑问？
问题：
为什么这里不写成：
而是要写成：
这个形式呢？
回答：
这和传感器能够测量到的量有关。在机器人领域最常用的加速度计传感器只能测量到的是比力，也就是单位质量上作用的非引力外力。用更通俗的话来说，加速度计不能区分载体的运动加速度和引力加速度，只能测量载体相对于惯性空间的绝对加速度和引力加速度之和。用数学的语言表示就是：
其中，f代表加速度计测量到的比力，G代表重力矢量，中间的微分项代表相对于惯性空间的绝对加速度（因为我们在第一节中就已经假设了n系是惯性系）。
简单的说就是，我们通常只能测到：
而很难测到：
所以我们把第二个运动学方程式写成这样。我们还能进一步把运动学方程写为：
在上面两部分的描述后，我们建立了轮速与车速之间的运动学模型，并且建立了车速与加速度、速度、角度、角速度之间的运动学模型。基于这两个运动学模型，我们就能够方便的通过诸如码盘、加速度计、陀螺仪等传感器测量得到轮速、加速度、角速度等，然后再推算出位置、速度、姿态等等余下的状态量。
两个模型的最终形式如下。
其中，
将式中的向量都分别展开，得到：
其中，由于假设了小车在水平面上运动，所以重力不影响X和Y轴上的加速度。另外，各个变量的含义前文中也介绍得很清楚了，不再复述。
这篇文章中，首先介绍了旋转之间的互相转换。这里貌似还看不出它们的作用，但是在下一篇介绍四旋翼运动学模型的文章中，你将会看到它们有多么重要。之后，引入了很重要的哥氏定理。这主要是因为加速度计的测量值包括两部分：相对惯性空间的绝对加速度以及引力加速度。而相对惯性空间的绝对加速度中包含了由于物体转动引起的附加加速度，只有去除这部分有害加速度，才能积分得到物体相对与惯性系的速度在物体系下的投影（需要仔细理解一下哥氏定理）。最后，讨论了四麦轮小车的运动学模型。
限于篇幅，四旋翼无人机运动学模型的构建将放在下一篇文章中介绍。由于从二维空间进入了三维空间，关于旋转的部分理解起来难度会加大，另外也将会引入重要的姿态更新方法，敬请期待啦！！！
