Introduction to Mobile Robotics Probabilistic Sensor Models - - PowerPoint PPT Presentation

introduction to mobile robotics probabilistic sensor
SMART_READER_LITE
LIVE PREVIEW

Introduction to Mobile Robotics Probabilistic Sensor Models - - PowerPoint PPT Presentation

Introduction to Mobile Robotics Probabilistic Sensor Models Wolfram Burgard, Diego Tipaldi, Michael Ruhnke, Bastian Steder 1 Sensors for Mobile Robots Contact sensors: Bumpers Proprioceptive sensors Accelerometers (spring-mounted


slide-1
SLIDE 1

1

Probabilistic Sensor Models Introduction to Mobile Robotics

Wolfram Burgard, Diego Tipaldi, Michael Ruhnke, Bastian Steder

slide-2
SLIDE 2

2

Sensors for Mobile Robots

  • Contact sensors: Bumpers
  • Proprioceptive sensors
  • Accelerometers (spring-mounted masses)
  • Gyroscopes (spinning mass, laser light)
  • Compasses, inclinometers (earth magnetic field, gravity)
  • Proximity sensors
  • Sonar (time of flight)
  • Radar (phase and frequency)
  • Laser range-finders (triangulation, tof, phase)
  • Infrared (intensity)
  • Visual sensors: Cameras
  • Satellite-based sensors: GPS
slide-3
SLIDE 3

3

Proximity Sensors

  • The central task is to determine P(z|x), i.e., the

probability of a measurement z given that the robot is at position x.

  • Question: Where do the probabilities come from?
  • Approach: Let’s try to explain a measurement.
slide-4
SLIDE 4

4

Beam-based Sensor Model

  • Scan z consists of K measurements.
  • Individual measurements are independent

given the robot position.

} ,..., , {

2 1 K

z z z z 

K k k

m x z P m x z P

1

) , | ( ) , | (

slide-5
SLIDE 5

5

Beam-based Sensor Model

K k k

m x z P m x z P

1

) , | ( ) , | (

slide-6
SLIDE 6

6

Typical Measurement Errors of an Range Measurements

  • 1. Beams reflected by
  • bstacles
  • 2. Beams reflected by

persons / caused by crosstalk

  • 3. Random

measurements

  • 4. Maximum range

measurements

slide-7
SLIDE 7

7

Proximity Measurement

  • Measurement can be caused by …
  • a known obstacle.
  • cross-talk.
  • an unexpected obstacle (people, furniture, …).
  • missing all obstacles (total reflection, glass, …).
  • Noise is due to uncertainty …
  • in measuring distance to known obstacle.
  • in position of known obstacles.
  • in position of additional obstacles.
  • whether obstacle is missed.
slide-8
SLIDE 8

8

Beam-based Proximity Model

Measurement noise

zexp zmax

b z z hit

e b m x z P

2 exp )

( 2 1

2 1 ) , | (

 

          

  • therwise

z z m x z P

z

e ) , | (

exp unexp 

 

Unexpected obstacles

zexp zmax

slide-9
SLIDE 9

9

Beam-based Proximity Model

Random measurement Max range

max

1 ) , | ( z m x z Prand  

small

z m x z P 1 ) , | (

max

  zexp zmax zexp zmax

slide-10
SLIDE 10

10

Resulting Mixture Density

                              ) , | ( ) , | ( ) , | ( ) , | ( ) , | (

rand max unexp hit rand max unexp hit

m x z P m x z P m x z P m x z P m x z P

T

   

How can we determine the model parameters?

slide-11
SLIDE 11

11

Raw Sensor Data

Measured distances for expected distance of 300 cm.

Sonar Laser

slide-12
SLIDE 12

12

Approximation

  • Maximize log likelihood of the data
  • Search space of n-1 parameters.
  • Hill climbing
  • Gradient descent
  • Genetic algorithms
  • Deterministically compute the n-th

parameter to satisfy normalization constraint.

) | (

exp

z z P

slide-13
SLIDE 13

Approximation Results

Sonar Laser

300cm 400cm

slide-14
SLIDE 14

14

Example

z P(z|x,m)

slide-15
SLIDE 15

16

Discrete Model of Proximity Sensors

  • Instead of densities, consider discrete steps along

the sensor beam. Laser sensor Sonar sensor

slide-16
SLIDE 16

17

Approximation Results

Laser Sonar

slide-17
SLIDE 17

18

"sonar-0" 10 20 30 40 50 60 70 0 10 20 30 40 50 60 70 0.05 0.1 0.15 0.2 0.25

Influence of Angle to Obstacle

slide-18
SLIDE 18

19

"sonar-1" 10 20 30 40 50 60 70 0 10 20 30 40 50 60 70 0.05 0.1 0.15 0.2 0.25 0.3

Influence of Angle to Obstacle

slide-19
SLIDE 19

20

"sonar-2" 10 20 30 40 50 60 70 0 10 20 30 40 50 60 70 0.05 0.1 0.15 0.2 0.25 0.3

Influence of Angle to Obstacle

slide-20
SLIDE 20

21

"sonar-3" 10 20 30 40 50 60 70 0 10 20 30 40 50 60 70 0.05 0.1 0.15 0.2 0.25

Influence of Angle to Obstacle

slide-21
SLIDE 21

22

Summary Beam-based Model

  • Assumes independence between beams.
  • Justification?
  • Overconfident!
  • Models physical causes for measurements.
  • Mixture of densities for these causes.
  • Assumes independence between causes. Problem?
  • Implementation
  • Learn parameters based on real data.
  • Different models should be learned for different angles at

which the sensor beam hits the obstacle.

  • Determine expected distances by ray-tracing.
  • Expected distances can be pre-processed.
slide-22
SLIDE 22

23

Scan-based Model

  • Beam-based model is …
  • not smooth for small obstacles and at edges.
  • not very efficient.
  • Idea: Instead of following along the beam,

just check the end point.

slide-23
SLIDE 23

24

Scan-based Model

  • Probability is a mixture of …
  • a Gaussian distribution with mean at distance to

closest obstacle,

  • a uniform distribution for random

measurements, and

  • a small uniform distribution for max range

measurements.

  • Again, independence between different

components is assumed.

slide-24
SLIDE 24

25

Example

P(z|x,m) Map m Likelihood field

slide-25
SLIDE 25

26

San Jose Tech Museum

Occupancy grid map Likelihood field

slide-26
SLIDE 26

27

Scan Matching

  • Extract likelihood field from scan and use it

to match different scan.

slide-27
SLIDE 27

29

Properties of Scan-based Model

  • Highly efficient, uses 2D tables only.
  • Distance grid is smooth w.r.t. to small

changes in robot position.

  • Allows gradient descent, scan matching.
  • Ignores physical properties of beams.
slide-28
SLIDE 28

30

Additional Models of Proximity Sensors

  • Map matching (sonar, laser): generate

small, local maps from sensor data and match local maps against global model.

  • Scan matching (laser): map is represented

by scan endpoints, match scan into this map.

  • Features (sonar, laser, vision): Extract

features such as doors, hallways from sensor data.

slide-29
SLIDE 29

31

Landmarks

  • Active beacons (e.g., radio, GPS)
  • Passive (e.g., visual, retro-reflective)
  • Standard approach is triangulation
  • Sensor provides
  • distance, or
  • bearing, or
  • distance and bearing.
slide-30
SLIDE 30

32

Distance and Bearing

slide-31
SLIDE 31

33

Probabilistic Model

1. Algorithm landmark_detection_model(z,x,m): 2. 3. 4. 5. Return

2 2

) ) ( ( ) ) ( ( ˆ y i m x i m d

y x

    ) , ˆ prob( ) , ˆ prob(

det 

       

d

d d p   , , , , , y x x d i z         ) ) ( , ) ( atan2( ˆ x i m y i m

x y det

p

slide-32
SLIDE 32

34

Distributions

slide-33
SLIDE 33

35

Distances Only No Uncertainty

P1 P2

d1 d2

x X’

a

) ( 2 / ) (

2 2 1 2 2 2 1 2

x d y a d d a x      

P1=(0,0) P2=(a,0)

slide-34
SLIDE 34

36

P1 P2

D1

z1 z2 

P3

D

2

b z3

D

3

Bearings Only No Uncertainty

P1 P2

D1

z1 z2  

 cos 2

2 1 2 2 2 1 2 1

z z z z D    ) cos( 2 ) cos( 2 ) cos( 2

2 1 2 3 2 1 2 3 2 1 2 3 2 2 2 2 2 1 2 2 2 1 2 1

b  b            z z z z D z z z z D z z z z D

Law of cosine

slide-35
SLIDE 35

37

Bearings Only With Uncertainty

P1 P2 P3 P1 P2

Most approaches attempt to find estimation mean.

slide-36
SLIDE 36

38

Summary of Sensor Models

  • Explicitly modeling uncertainty in sensing is key to

robustness.

  • In many cases, good models can be found by the

following approach:

  • 1. Determine parametric model of noise free measurement.
  • 2. Analyze sources of noise.
  • 3. Add adequate noise to parameters (eventually mix in

densities for noise).

  • 4. Learn (and verify) parameters by fitting model to data.
  • 5. Likelihood of measurement is given by “probabilistically

comparing” the actual with the expected measurement.

  • This holds for motion models as well.
  • It is extremely important to be aware of the

underlying assumptions!