智能服务机器人正成为行业的风口浪尖,从清扫机器人开始,家庭陪伴机器人、送餐机器人等陆续进入公众视线。1 o7 Y( x2 f8 f1 F3 Q
" g9 G) ]9 g5 v4 B/ M
在讨论这类机器人是否能解决实际问题时,自主定位导航技术作为机器人智能化的第一步正不断引起行业内的重视。同时,作为自主定位导航技术的重要突破口,SLAM 技术也成为关注焦点。
! J5 y5 J# @. X
正如图中所示,机器人自主定位导航技术中包括定位、地图创建与路径规划(运动控制),而 SLAM 本身只是完成机器人的定位和地图创建,二者有所区别。 1 x! B1 r9 F; F: C& a; l
( ~) s3 M- h* ]$ N0 `那么,SLAM 技术究竟是如何实现的?它有哪些难点?机器人如何实现自主移动和路径规划?到底什么样的扫地机器人才算智能? 1 [7 @2 T7 m0 T
这些问题,小编将为你一一解答,带领大家了解机器人自主移动的秘密。 + V K2 ^4 x: O8 `" v
今天,我们先从 SLAM 说起。
$ a+ F- D2 K% C8 A) O
什么是SLAM技术?
3 M. ^* l4 g% j5 Z# l* T
SLAM 是同步定位与地图构建 (Simultaneous Localization And Mapping) 的缩写,最早由 Hugh Durrant-Whyte 和 John J.Leonard 提出。
1 e: R4 e) v: B
其实,SLAM 更像是一个概念而不是一个算法,它本身包含许多步骤,其中的每一个步骤均可以使用不同的算法实现。主要用于解决移动机器人在未知环境中运行时即时定位与地图构建的问题。
2 H" D9 D) d. f0 \9 E( |
当你身处异地,怎么准确找到想去的地方?在户外迷路时,怎么找到回家的路?没错,我们有导航软件和户外地图。
a% V* e0 z; `
和人类绘制地图一样,机器人描述环境、认识环境的过程主要就是依靠地图。它利用环境地图来描述其当前环境信息,并随着使用的算法与传感器差异采用不同的地图描述形式。
4 ^% @1 @* u8 T2 h( Y
四种常见的地图表示方法是什么? + G. X# w6 L: R" ^4 k
机器人学中地图的表示方法有四种:栅格地图、特征地图、直接表征法以及拓扑地图。 ^& z S$ ^2 ?, \
栅格地图 $ P% P: }. y! H
机器人对环境地图的描述的方式最常见的为栅格地图 (Grid map) 或者称为 Occupancy Map。栅格地图就是把环境划分成一系列栅格,其中每一栅格给定一个可能值,表示该栅格被占据的概率。
?' q) c8 r2 x! [
- n k' @6 O$ p: ^) G E# S# s4 @
这种地图看起来和人们所认知的地图没什么区别,它最早由 NASA 的 Alberto Elfes 在 1989 年提出,在火星探测车上就用到过,其本质是一张位图图片,但其中每个「像素」则表示了实际环境中存在障碍物的概率分布。
: |4 K" A4 c" L @
一般来说,采用激光雷达、深度摄像头、超声波传感器等可以直接测量距离数据的传感器进行 SLAM 时,可以使用该地图。这种地图也可以通过距离测量传感器、超声波(早期)、激光雷达(现在)绘制出来。 ; e/ p( _ m8 J! C
特征点地图
3 J" u& m2 U# `- z/ S6 Y
特征点地图,是用有关的几何特征(如点、直线、面)表示环境,常见于 vSLAM(视觉 SLAM)技术中。
0 i( |# t/ r; y$ ]' g* G3 u. d6 O' f! s# d$ j
相比栅格地图,这种地图看起来就不那么直观了。它一般通过如 GPS、UWB 以及摄像头配合稀疏方式的 vSLAM 算法产生,优点是相对数据存储量和运算量比较小,多见于最早的 SLAM 算法中。 0 U7 H% M0 O- Q1 G1 c
直接表征法
; d# V0 A5 l- \3 g3 n/ q9 g2 ?" F9 O
直接表征法中,省去了特征或栅格表示这一中间环节,直接用传感器读取的数据来构造机器人的位姿空间。 3 V# h @7 r- P1 _
( y% K. t1 U& q9 O3 \
上图就是直接记录了屋子内天花板画面的图像地图。这种方法就像卫星地图一样,直接将传感器原始数据通过简单处理拼接形成地图,相对来说更加直观。 & Q" t( M) l' g
拓扑地图 : ]7 Z1 Q! Q2 H; @
拓扑地图,是一种相对更加抽象的地图形式,它把室内环境表示为带结点和相关连接线的拓扑结构图,其中结点表示环境中的重要位置点(拐角、门、电梯、楼梯等),边表示结点间的连接关系,如走廊等。这种方法只记录所在环境拓扑链接关系,这类地图一般是由前几类地图通过相关算法提取得到。
9 y' f0 b5 M+ L( B
比如扫地机器人要进行房间清扫的时候,就会建立这样的拓扑地图:
8 w1 R6 ^5 h% U3 R9 k7 M3 B9 H t小结
' G1 Y' n7 ?2 ^ b1 t" S2 [+ N7 Q
在机器人技术中,SLAM 的地图构建通常指的是建立与环境几何一致的地图。 b6 d! J; [8 l1 e6 S& O
一般算法中建立的拓扑地图只反映了环境中的各点连接关系,并不能构建几何一致的地图,因此,这些拓扑算法不能被用于 SLAM。 8 ~2 C7 _2 P3 u/ \$ n8 z
直接表征法类似卫星地图,它是直接使用传感器(一般是图像传感器)构建得到。这种方法的信息冗余度最大,对于数据存储是很大的挑战,同时,机器人要从中提取出有用的数据也要耗费一番周折,因此在实际应用中很少使用。
" W- F- A5 N$ I9 x
特征点地图又是另一个极端,虽然数据量少,但是它往往不能反应所在环境的一些必须的信息,比如环境中障碍物的位置。vSLAM 技术中,多采用这种地图来解决机器人定位问题。想让机器人进行自主避障和路径规划,还需要额外配置距离传感器,如激光雷达、超声波来完成。
% g: V+ `, p* @ b1 s% @
栅格地图,或者 Occupancy Map(占据地图)恰好介于其中,一方面它能表示空间环境中的很多特征,机器人可以用它来进行路径规划,另一方面,它又不直接记录传感器的原始数据,相对实现了空间和时间消耗的最优。因此,栅格地图是目前机器人所广泛应用的地图存储方式。
( f2 r4 Y4 t$ B3 T+ g
思岚科技的 SLAMWARE 系统内部也采用这种地图方式。
5 {9 S+ q2 H3 T
j O( i9 g7 [- o3 L) ^
当你打开手机中的导航软件,在选择前往目的地的最佳路线之前,首先要做的动作是什么呢?没错,就是定位。我们要先知道自己在地图中的位置,才可以进行后续的路径规划。 : Z9 V% [- N* ?$ U. p; q( e7 u) Y/ U
在机器人实时定位问题中,由于通过机器人运动估计得到的机器人位置信息通常具有较大的误差,我们还需要使用测距单元得到的周围环境信息更正机器人的位置。 ( U( e' x& G8 ?! D% M9 L7 m
目前,常见的测距单元包括激光测距、超声波测距以及图像测距三种。其中,凭借激光良好的指向性和高度聚焦性,激光雷达已经成为移动机器人的核心传感器,同时它也是目前最可靠、最稳定的定位技术。 1 Q8 {; T- e) S- s4 d" ?% I
自 1988 年被提出以来,SLAM 的理论研究发展十分迅速。在实际应用时,除配备激光雷达外,还需要机器人具有 IMU(惯性测量单元)、里程计来为激光雷达提供辅助数据,这一过程的运算消耗是巨大的,传统上需要 PC 级别的处理器,这也成为限制 SLAM 广泛应用的瓶颈之一。 & v q) a4 Z- w' h) W
那么,实现 SLAM 的过程中,都会遇到哪些坑呢?
5 \. n5 M# ]2 x
SLAM 实现过程中的难点有哪些? , H* L6 Q( d6 {3 K0 I3 i2 D& G8 Z
SLAM 主要解决机器人的实时定位与自动建图问题,那么,在实际应用时,SLAM 究竟是如何实现的呢?在实现过程中有哪些难点?
. X y* I. e; u' f& @5 _
这是一个完整的 SLAM 和导航系统的主要架构图:
! T; y: Z" R4 p" E/ E
* h b( s! Y. c, i
其中,SLAM 核心过程包括 3 个步骤,第一步称为预处理。我们知道,激光雷达和其他雷达设备一样,某一个时刻只能获取它所在位置的环境信息。
7 I. M. M9 B2 x* p/ n& _
这就是我们所说的点云,它只能反映机器人所在环境中的一个部分。第一步预处理就是对激光雷达原始数据进行优化,剔除一些有问题的数据,或者进行滤波。 5 z7 C" e6 H4 M2 D( q
# D7 n6 X; U4 \ K
第二步是匹配,也就是说把当前这一个局部环境的点云数据在已经建立地图上寻找到对应的位置,这个步骤非常关键。 1 c' |. w- V' [9 O [
这个是 ICP 的点云匹配算法,用于实现匹配。说这个过程关键,就是因为它的好坏,直接影响了 SLAM 构建地图的精度。这个过程和我们玩拼图游戏有点类似,就是在已经拼好的画面中找到相似之处,确定新的一个拼图该放在哪里。 - ~) j W/ g' a4 I, N+ [0 l( W I
在 SLAM 过程中,需要将激光雷达当前采集的点云(红色部分)匹配拼接到原有地图中。
, z4 o$ b. h$ h; K& l2 G. o
0 C6 K- t! f$ k
* \% D* j) a6 g& G t# c如果不进行匹配过程,所构建的地图可能就乱成一团,变成这样。
5 m# P) y! F0 ~7 e7 I% O # k6 O2 r6 e4 d4 T. j
在这个部分完毕以后,就进行第三步,地图融合,也就是将这一轮来自激光雷达的新数据拼接到原始地图当中,最终完成地图的更新。 ! z2 }" c* e7 C% N( r+ A
就像这个图一样,这个过程是永远伴随 SLAM 过程的。
& B: h8 j; u) o! M, F * B$ H$ ~; R, u$ x
数据融合和简单的贴图是有很大的差异的。因为实际上传感器描绘的世界存在一定的误差,或者正巧在这个时间环境有了变化,例如机器人旁边闯入了一只小猫。 ) @. X0 r2 @5 T3 |' Q
因此,实际要进行的过程会更加复杂,需要用很多概率算法,并采用滤波的方式进行融合。将上述这个过程逐次执行,就最终产生了我们看到的栅格地图。
0 P. S: ~- ]! c4 D/ a
+ E1 `6 t( A* B& p* J2 ~$ G这个过程听起来其实并不复杂,但是要处理好有很大难度。这里举几个例子,比如叫做 Loop Closure(回环)问题。如果匹配算法不足够优秀,或者环境中存在很不巧的干扰,当机器人绕着环境一圈后,就会发现原本是应该闭合的一个环形走廊断开了。 ' s( Y6 h2 z& c$ X6 A/ L
比如正常地图应该这样:
# V2 c0 X: K; e2 Q, [' ^: A9 y
w, @7 P: _* D* o9 d如果处理不好,实际地图就成这样:
0 c' J" { \& V! J: u) P - \. }( q$ P5 t8 |+ @0 Y# `/ j
对于环境比较大的场景,回环问题是不得不面对的,但现实总是不完美的,即使是激光雷达这种高精度传感器,也难免存在误差。而回环问题的难点恰恰在于在一开始出现少许误差的时候,并不会被发觉,直到机器人绕着环路一圈,随着误差的累加,发现环路已经无法闭合时,此时已经酿成大错,一般很难回天。
8 f' J4 v. A q/ r
当然这个问题并不是无解,一个好的商用化 SLAM 系统,回环问题是否能很好的解决,就成为评判这个系统实力的指标了。 ; z9 }2 S, P6 l/ O" @$ L( c$ K
这是前两天在我们办公室进行的测试,左边的视频是基于开源的 ROS 机器人操作系统进行的地图构建,右边的是基于 SLAMWARE 构建的地图。 1 \- W' u) Y+ u H1 k% [- e) ?
+ N8 L" w' @% G1 W
3 O+ i4 T0 {* C; L0 `0 l( e& ~0 E& l- t/ N& K! b3 C
当机器人已经绕场一周后,ROS 构建的地图出现了中断,而 SLAMWARE 构建的地图是一个完美的闭环,它与我们办公室的设计图完美重合。
9 h6 i. ^! @' Z, O
6 I: B1 N+ u+ |7 Q* m) v
除了算法层面的回环问题,SLAM 实际应用中还有很多这种坑,比如走廊问题与外界干扰问题。 8 d4 e4 v! c: B9 w7 R+ k- f7 i
以外界干扰问题来说,通常,激光雷达作为机器人的眼睛,一般是安装在底盘上的,它能看到的视野很有限。当受到外界干扰(人类或者宠物等等)后,机器人很容易丢失定位精度,无法正常完成后续的建图工作。 * \" ^# B& S9 a( w0 g7 y
目前,SLAM 的开源实现代表多为学术界,实际应用有很多 Corner Case 要处理,需要传感器、系统参数、其他辅助设备的联合调优。 % O; j, Q2 L" {, a( J9 r
一般来说,上述的 SLAM 过程对于运算消耗是巨大的,虽然并没有达到像训练神经网络动用服务器集群那种地步,但传统上需要 PC 级别的处理器。
$ D1 ~3 I, |9 {: s
除配备激光雷达外,还需要机器人具有 IMU(惯性测量单元)、里程计来为激光雷达提供辅助数据,否则 SLAM 系统也难以得到运行。总的来说,SLAM 算法本身是一个对于外部系统有着多种依赖的算法,这是一个切实的工程问题。
/ N6 H: @3 X% c# `
很多机器人,比如扫地机是不可能装一个 PC 进去的,为了让 SLAM 能在这类设备里运行,除了解决激光雷达成本外,还要对 SLAM 算法做出很好的优化。
1 ^' S3 g% x+ u$ s4 Y: H* @+ x- R7 ~/ R) O那么,机器人利用 SLAM 技术得到了有效的空间信息后,它是怎样实现路径规划的?SLAM 和路径规划之间关系是怎样的?
+ Q b3 a: [% W" D# V- L
机器人如何实现自主移动和路径规划? 2 f; G. f2 K; p7 J O4 X1 `
上面我们已经知道了 SLAM 与路径规划的关系。
) r# h+ C# z- z2 ~: Q: L/ a实际上,SLAM 算法本身只是完成了机器人的定位和地图构建两件事情,与我们说的导航定位并不是完全等价的。这里的导航,其实是 SLAM 算法做不了的。它在业内叫做运动规划 (Motion Planning)。
# l% U( O& u5 u1 z% l
运动规划是一个很大的概念,从机械臂的运动、到飞行器的飞行,再到这里我们说的扫地机的清扫路径规划,都是运动规划的范畴。 ! a9 w' o* p. n* e
我们先谈谈针对扫地机这类轮式机器人的运动规划。这里所需的基础能力就是路径规划,也就是一般在完成 SLAM 后,要进行一个叫做目标点导航的能力。通俗的说,就是规划一条从 A 点到 B 点的路径出来,然后让机器人移动过去。 2 F) J7 B! m; z0 L( T0 ~: }/ }' F$ e
要实现这个过程,运动规划要实现至少两个层次的模块,一个叫做全局规划,这个和我们车载导航仪有一点像,它需要在地图上预先规划一条线路,也要有当前机器人的位置。这是由我们的 SLAM 系统提供出来的。行业内一般会用叫做 A * 的算法来实现这个过程,它是一种启发式的搜索算法,非常优秀。它最多的应用,是在游戏中,比如像星际争霸、魔兽争霸之类的即时战略游戏,都是使用这个算法来计算单位的运动轨迹的。
8 I6 k' p, Q9 R6 Y4 |# g
当然,仅仅规划了路径还是不够的,现实中会有很多突发情况,比如正巧有个小孩子挡道了,就需要调整原先的路径。当然,有时候这种调整并不需要重新计算一遍全局路径,机器人可能稍微绕一个弯就可以。此时,我们就需要另一个层次的规划模块,叫做局部规划。它可能并不知道机器人最终要去哪,但是对于机器人怎么绕开眼前的障碍物特别在行。
4 N$ O3 a( F" V4 L E* n2 Q8 _- P这两个层次的规划模块协同工作,机器人就可以很好的实现从 A 点到 B 点的行动了,不过实际工作环境下,上述配置还不够。比如 A*算法规划的路径是根据已知地图,预先规划好的,一旦机器人前往目的地的过程中遇到了新的障碍物,就只好完全停下来,等待障碍物离开或者重新规划路径了。如果扫地机器人买回家,必须先把屋子都走一遍以后才肯扫地,那用户体验就会很差。
( j% f3 `- _1 d6 }' f' _
为此,也会有针对这类算法的改进,比如 SLAMWARE 内我们采用改良的 D * 算法进行路径规划,这也是美国火星探测器采用的核心寻路算法。这是一种动态启发式路径搜索算法,它让机器人在陌生环境中行动自如,在瞬息万变的环境中游刃有余。
: g8 i" |# b9 f
D * 算法的最大优点是不需要预先探明地图,机器人可以和人一样,即使在未知环境中,也可以展开行动,随着机器人不断探索,路径也会时刻调整。 2 ^0 ^0 }$ d7 z/ ?# f
! X6 U9 J; `& E
以上是目前大部分移动机器人都需要的路径规划算法,而扫地机器人作为最早出现在消费市场的服务机器人之一,它需要的路径规划算法更为复杂。 : ?7 U6 m' R, K1 i, E
一般来说,扫地机需要这么几个规划能力:贴边打扫、折返的工字形清扫以及没电时候自主充电。单单依靠前面介绍的 D * 这类算法,无法满足这些基础需要。 ; P+ T- o& Q$ x* L; _7 K! F! C3 a9 R( u2 l
扫地机器人还需要有额外的规划算法,比如针对折返的工字形清扫,有很多问题要处理。扫地机如何最有效进行清扫而不重复清扫?如何让扫地机和人一样,理解房间、门、走廊这种概念? 针对这些问题,学术界长久以来有一个专门的研究课题,叫做空间覆盖(space coverage),同时也提出了非常多的算法和理论。其中,比较有名的是 Morse Decompositions,扫地机通过它实现对空间进行划分,随后进行清扫。
1 B) Y( j. W$ O+ z20 世纪 70 年代,卡内基梅陇大学(CMU)完全依靠超声波做到了现在我们扫地机的行为,当然造价也十分昂贵。 # R$ }0 b$ T/ B
前面介绍的从 A 点到 B 点移动路径规划也是实现这类更高级路径规划的基础。实际上,要从 SLAM 实现到扫地机器人所需要的这些功能,还是有非常多的工作要做的。
$ v( @: k: R; }! p9 t$ B: p2 ~" o/ |$ k; e8 p( p1 S u
' e! {( s% N9 Z ]& |& \ |