1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability...

19
07/05/22 CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex behavior using sensing Sensor interpretation is difficult – simple interpretation in this section Artifacts [goal-directed motion] and reactive behaviors Lectures Probabilistic sensor models Probabilistic representation of uncertain movement Particle filter implementation Project PF for motion model Markov localization with PF Stretch – feature-based localization Slides thanks to Steffen Gutmann

description

1/17/2016CS225B Kurt Konolige Beam-based Sensor Model Scan z consists of K measurements. Individual measurements are independent given the robot position.

Transcript of 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability...

Page 1: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Probabilistic Models of Sensing and Movement

Move to probability models of sensing and movement Project 2 is about complex behavior using sensing Sensor interpretation is difficult – simple interpretation in this section Artifacts [goal-directed motion] and reactive behaviors

Lectures Probabilistic sensor models Probabilistic representation of uncertain movement Particle filter implementation

Project PF for motion model Markov localization with PF Stretch – feature-based localization

Slides thanks to Steffen Gutmann

Page 2: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Probabilistic Sensors Models

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.

)()|()|( xpxzpzxp

Page 3: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Beam-based Sensor Model

Scan z consists of K measurements.

Individual measurements are independent given the robot position.

},...,,{ 21 Kzzzz

K

kk mxzPmxzP

1

),|(),|(

Page 4: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Beam-based Sensor Model

K

kk mxzPmxzP

1

),|(),|(

Page 5: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Typical Measurement Errors of an Range Measurements

1. Beams reflected by obstacles

2. Beams reflected by persons / caused by crosstalk

3. Random measurements

4. Maximum range measurements

Page 6: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

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.

Page 7: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Beam-based Proximity Model

Measurement noise

zexp zmax0

bzz

hit eb

mxzP2

exp )(21

21),|(

otherwisezz

mxzPz

0e

),|( expunexp

Unexpected obstacles

zexp zmax0

Page 8: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Beam-based Proximity Model

Random measurement Max range

max

1),|(z

mxzPrand

max

maxmax if1

if0),|(

zzzz

mxzP

zexp zmax0zexp zmax0

Page 9: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Resulting Mixture Density

),|(),|(),|(

),|(

),|(

rand

max

unexp

hit

rand

max

unexp

hit

mxzPmxzPmxzP

mxzP

mxzP

T

How can we determine the model parameters?

Page 10: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Raw Sensor Data

Measured distances for expected distance of 300 cm.

Sonar Laser

Page 11: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Approximation

Search for -parameters that maximize the(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.

)|( expzzP

Page 12: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Approximation Results

Sonar

Laser

300cm 400cm

Page 13: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Example

z P(z|x,m)

Page 14: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

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.

Page 15: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

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.

Page 16: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

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.

Page 17: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Example

P(z|x,m)

Map m

Likelihood field

Page 18: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

San Jose Tech Museum

Occupancy grid map Likelihood field

Page 19: 1/17/2016CS225B Kurt Konolige Probabilistic Models of Sensing and Movement Move to probability models of sensing and movement Project 2 is about complex.

05/03/23 CS225B Kurt Konolige

Properties of Scan-based Model

Highly efficient, uses 2D tables only.Smooth w.r.t. to small changes in robot position.

Allows gradient descent, scan matching.

Ignores physical properties of beams.

Will it work for ultrasound sensors?