介绍相关基础知识和分析工具，主要内容包括三维建模、反馈线性化、无模型控制、导引、实时定位、辨识和卡尔曼滤波等，涵盖执行器、传感器、导航和控制理论等方面。

无

可以将移动机器人定义为一个能够在其所处环境中自主移动的机械系统。为了实现这个目标，它必须装备：
1）传感器　用于收集周围环境的信息（对于这些信息，机器人或多或少知道一些）并确定自身位置。
2）执行器　让机器人能够动作起来。
3）智能（或算法、调节器）　依据传感器收集到的数据，计算出控制指令并发送到执行器，以便完成给定的任务。
最后，还要考虑移动机器人所处的环境和它的使命，前者对应于机器人演化所处的世界，后者对应于机器人必须要完成的任务。自21世纪以来，移动机器人已在军事领域（空中无人机[BEA 12]、水下机器人[CRE 14]等），乃至医疗和农业领域持续不断地发展。在执行对人类而言痛苦或者危险的任务时，对移动机器人的需求特别高，例如这样一些情形：扫雷行动、在海底搜索失事飞机的黑匣子以及行星探测等。人造卫星、发射器（如阿里安五号运载火箭）、无人驾驶地铁和自动电梯都是移动机器人的典型案例。飞机、火车和汽车正逐渐向自主系统演化，并且在未来几十年内很有可能变成移动机器人。
移动机器人学是着眼于移动机器人设计的学科[LAU 01]，并以自动控制、信号处理、力学、计算和电子等其他学科为基础。本书的主要目的是概述机器人学中用于移动机器人设计的相关工具和方法。机器人将由状态方程（即一组一阶（通常为非线性的）微分方程）建模，而状态方程可利用力学定律推导得出。但我们的目的并不是详细讲述机器人的建模方法（可查阅[JAU 05]和[JAU 15]获得更多相关主题的信息），而只是回顾相关基本原理。对于建模，我们期望获得对应的状态方程，这一步对于机器人仿真和控制器设计至关重要。不过，在第1章中我们会刻意举一些三维（3D）案例来阐述建模的基本原理，这样做是为了介绍机器人学中的一些重要的基本概念，如欧拉角和旋转矩阵。例如，我们将研究一个车轮的动力学和一个水下机器人的运动学。移动机器人是强非线性系统，并且只能用一类非线性方法构造有效的控制器，这类构造过程是第2章和第3章的主旨。其中，第2章主要以依赖于机器人模型的控制方法为基础，通过多个案例对其进行阐述，依赖于机器人模型的方法会利用反馈线性化的概念。第3章提出了更实用的方法，因为该类方法不会用到机器人的状态模型，所以将其归为无模型或者模仿方法。另外，该类方法对机器人的描述更直观，适用于机器人相对简单从而可以远程控制的情形，例如车辆、帆船或者飞机。第4章着眼于导航问题，导航位于比控制更高的层面，换句话说，该章将重点放在引导和监控那些由第2章和第3章所列工具控制的系统上。也就是说，第4章将着重强调如何获得指令并将其提供给控制器，以便机器人能够完成给定的任务。而导航还不得不考虑机器人周边环境的信息、障碍物的有无以及环形的地球表面问题。非线性控制和导航方法需要对系统状态变量有很好的了解，如定义机器人位置的状态变量。这些位置变量是最难获得的，因此第5章将关注定位问题。该章介绍了一些经典的非线性方法，包括观测信标、星象、使用罗盘或者累计步数，人们已经将这些方法应用于定位之中很长时间了。尽管可以将定位看作状态观测的一种特殊情形，但其特定的方法值得独立列为一章。第6章（辨识）专注于从另外一些可量测的量中获得不可量测的量（参数和位置），并保有一定的精度。为了实现这种辨识，该章主要关注最小二乘方法。该方法通过寻找变量的向量使得误差的平方和达到最小。第7章介绍卡尔曼滤波器。该滤波器可以看作一个含有时变参数的线性动态系统的状态观测器。第8章将卡尔曼滤波器推广到函数为非线性且噪声为非高斯的情形，并将所得观测器称为贝叶斯滤波器，其可用于计算特定时刻状态向量的概率密度函数。
与本书的一些习题相关的MATLAB和Python代码及相关说明视频可从下述网站获得：
www.ensta-bretagne.fr/jaulin/isterob.html

机器人

移动机器人在军事、医疗和农业等领域发展迅速，空中无人机、水中探测机器人和清洁机器人等应用不断升级。移动机器人学着眼于移动机器人的设计，涉及自动控制、信号处理、力学、计算和电子等多个学科的知识。
　本书概述了机器人学中用于移动机器人设计的相关工具和方法，主要内容包括三维建模、反馈线性化、无模型控制、导引、实时定位、辨识、卡尔曼滤波器和贝叶斯滤波器等。其中，贝叶斯滤波器是第2版的新增内容，在线性和高斯情况下，贝叶斯滤波器等价于卡尔曼滤波器，了解贝叶斯滤波器有助于读者更好地理解卡尔曼滤波器。书中原理部分较为简洁，不涉及建模细节；设计部分通过实践案例和相关MATLAB/Python代码来加深读者对理论的理解，每章都提供丰富的习题和详尽的解答，便于读者实践不同的工具和方法。　

作者简介
吕克·若兰（Luc Jaulin）　机器人学教授，现任职于法国国立布列塔尼高等先进技术学校(ENSTA- Bretagne)STICC实验室，主要从事水中机器人和帆船机器人领域的研究。

译者简介
谢广明　 北京大学工学院和海洋研究院教授、博士生导师，研究方向为机器人和自动化。国际水中机器人联盟创始主席，中国自动化学会机器人竞赛工作委员会副主任，中国人工智能学会智能空天系统专业委员会委员。

[法]吕克·若兰（Luc Jaulin） 著：作者简介
吕克• 若兰（Luc Jaulin） 机器人学教授，现任职于法国国立布列塔尼高等先进技术学校(ENSTA-Bretagne)STICC实验室，主要从事水中机器人和帆船机器人领域的研究。

译者简介
王世伟 淮南师范学院工程训练中心主任，主要从事机电一体化和智能机器人控制方向的研究和教学工作。目前已指导学生参加多项国际、国内机器人大赛并取得优异成绩。

谢广明 北京大学工学院和海洋研究院教授、博士生导师，研究方向为机器人和自动化。国际水中机器人联盟创始主席，中国自动化学会机器人竞赛工作委员会副主任，中国人工智能学会智能空天系统专业委员会委员。

对于移动机器人而言，建立精确的数学模型并设计控制器精准地控制其位姿是要解决的核心问题，这其中包括工作空间坐标变换、机器人运动学与动力学建模、移动控制算法设计、空间定位与导航、信号滤波等关键技术。
本书阐述了机器人学中用于移动机器人设计的相关工具和方法，从大量实际案例的角度出发，阐明了移动机器人建模的基本原理和控制的一系列方法，每一章都包含大量具有针对性的习题和实际应用案例（包括陆地移动机器人、空中移动机器人以及水下移动机器人等）。
类似于本书这样基于实际案例而展开理论分析，并辅以实践效果来验证的移动机器人类书籍并不多见。本书对于高等院校研究移动机器人理论与应用的师生而言大有裨益，同时可为从事机器人产业化的工程技术人员提供很好的借鉴。
译文难免有纰漏，欢迎读者批评指正。

译者序
前言
第1章　三维建模 1
1.1　旋转矩阵 1
1.1.1　定义 1
1.1.2　李群 2
1.1.3　李代数 3
1.1.4　旋转向量 3
1.1.5　伴随矩阵 4
1.1.6　罗德里格斯旋转公式 5
1.1.7　坐标系变换 6
1.2　欧拉角 8
1.2.1　定义 8
1.2.2　运动欧拉矩阵的旋转向量 9
1.3　惯性单元 10
1.4　动力学建模 13
1.4.1　原理 13
1.4.2　四旋翼建模 13
1.5　习题 14
1.6　习题参考答案 25
第2章　反馈线性化 45
2.1　控制一个积分链 45
2.1.1　比例–微分控制器 45
2.1.2　比例–积分–微分控制器 46
2.2　引例 47
2.3　反馈线性化方法的原理 48
2.3.1　原理 48
2.3.2　相对次数 49
2.3.3　微分延迟矩阵 50
2.3.4　奇异点 50
2.4　二轮车 52
2.4.1　一阶模型 52
2.4.2　二阶模型 53
2.5　控制三轮车 55
2.5.1　速度和转向模型 55
2.5.2　位置控制 56
2.5.3　选择另一个输出 56
2.6　帆船 57
2.6.1　极坐标曲线 58
2.6.2　微分延迟 58
2.6.3　反馈线性化方法 59
2.6.4　极坐标曲线控制 60
2.7　滑动模态 61
2.8　运动学模型和动力学模型 63
2.8.1　原理 63
2.8.2　倒立摆系统 63
2.8.3　伺服电动机 66
2.9　习题 66
2.10　习题参考答案 74
第3章　无模型控制 93
3.1　无人车的无模型控制 93
3.1.1　方向和速度的比例控制器 94
3.1.2　方向的比例–微分控制器 95
3.2　雪橇车 96
3.2.1　模型 96
3.2.2　正弦驱动控制 98
3.2.3　最大推力控制 98
3.2.4　快速动态特性的简化 99
3.3　帆船 101
3.3.1　问题 101
3.3.2　控制器 102
3.3.3　导航 106
3.3.4　实验 107
3.4　习题 108
3.5　习题参考答案 118
第4章　导引 129
4.1　球面上的导引 129
4.2　路径规划 131
4.2.1　简单示例 132
4.2.2　贝塞尔多项式 132
4.3　维诺图 133
4.4　人工势场法 134
4.5　习题 135
4.6　习题参考答案 141
第5章　实时定位 155
5.1　传感器 155
5.2　测角定位 157
5.2.1　问题描述 157
5.2.2　内接角 158
5.2.3　平面机器人的静态三角测量 159
5.2.4　动态三角测量 160
5.3　多点定位 161
5.4　习题 162
5.5　习题参考答案 164
第6章　辨识 170
6.1　二次函数 170
6.1.1　定义 170
6.1.2　二次型的导数 171
6.1.3　二次函数的特征值 171
6.1.4　二次函数的最小化 171
6.2　最小二乘法 172
6.2.1　线性情形 172
6.2.2　非线性情形 173
6.3　习题 175
6.4　习题参考答案 177
第7章　卡尔曼滤波器 185
7.1　协方差矩阵 185
7.1.1　定义和解释 185
7.1.2　性质 187
7.1.3　置信椭圆 187
7.1.4　生成高斯随机向量 189
7.2　无偏正交估计器 190
7.3　线性估计的应用 192
7.4　卡尔曼滤波器 193
7.5　卡布滤波器 196
7.6　扩展卡尔曼滤波器 198
7.7　习题 199
7.8　习题参考答案 209
第8章　贝叶斯滤波器 232
8.1　引言 232
8.2　概率的基本概念 232
8.3　贝叶斯滤波器 234
8.4　贝叶斯平滑器 236
8.5　卡尔曼平滑器 236
8.5.1　卡尔曼平滑器的方程 236
8.5.2　实现 237
8.6　习题 238
8.7　习题参考答案 243
参考文献 252
索引 254