16
Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic Robotics Ch. 2

Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

  • Upload
    others

  • View
    6

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Lecture 02:probability review + filtering

Katie DC

Jan. 23, 2019

Notes from Probabilistic Robotics Ch. 2

Page 2: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Admin

• HW1 is on PrairieLearn – due next week• No homework party this week!

• Office hours are now posted and will be starting next week

• Sign up for the CBTF orientation for extra credit

• For all due dates, check out the website:

publish.illinois.edu/ece470-intro-robotics/important-dates-spring-2020/

Page 3: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Logistics: Your ProjectYour goal will be to create a dynamic simulation, in which at least one complex robot interacts with some other object or agent. The purpose of this project is to allow you to explore robotics in an independent, free-form fashion.

• Note that the course staff will help you conceptually design your system and help you with the fundamentals, but they will not provide debugging support

There are 3+1 project updates. You’ll submit (1) a github link to your current codebase for the TAs to run, (2) a well-written readme, (3) a short description of your progress, and (4) a link to video uploaded to youtube demonstrating the deliverable.

Deliverables listed on the course website.

• Project Update 0 (Due Sunday 2/2 at midnight) Form a team (up to 3) and tell us about a task you’d like your robot to perform.

Page 4: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Fun Fact: Who is Bayes?

Bayes was an English statistician, philosopher, and minister who lived from 1701 to 1761, and is known for two works:

1. Divine Benevolence, or an Attempt to Prove That the Principal End of the Divine Providence and Government is the Happiness of His Creatures (1731)

2. An Introduction to the Doctrine of Fluxions, and a Defence of the Mathematicians Against the Objections of the Author of The Analyst (1736), in which he defended the logical foundation of Isaac Newton's calculus ("fluxions") against the criticism of George Berkeley, author of The Analyst

Bayes never published his most famous accomplishment Bayes’ Theorem. These notes were edited and published after his death by Richard Price.

From the HP Autonomy Lab

Probably not Bayes

Page 5: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Robot States and the Environment

Robotic System

Page 6: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Robot States and the Environment

• State represents the environment as well as the robot, for example:• location of walls or objects

• pose of the robot

• Environment interaction comes in the form of• Sensor measurements

• Control actions

• Internal representation (or belief) of the state of the world• In general, the state (or the world) cannot be measured directly

• Perception is the process by which the robot uses its sensors to obtain information about the state of the environment

Page 7: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Axioms of Probability Theory

Page 8: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Random Variable 𝑋Discrete Random Variables

• 𝑋 can take on a countable number of values in 𝑥1, 𝑥2, … , 𝑥𝑛

• 𝑃(𝑋 = 𝑥𝑖), or 𝑃(𝑥𝑖), is the probabilitythat the random variable 𝑋 takes on value 𝑥𝑖

• 𝑃 ∙ is called probability mass function

Continuous Random Variables

• 𝑋 takes on values in the continuum

• 𝑝(𝑋 = 𝑥), or 𝑝(𝑥), is a probability density function

=

b

a

dxxpbax )()),(Pr(

Page 9: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Expectation of a RV

Page 10: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Joint and Conditional Prob. + Total Prob.

Page 11: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Bayes’s Formula

Page 12: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Door example of Bayes Rule

Suppose a robot obtains measurement 𝑧. What is 𝑃 open 𝑧 ?

Page 13: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Robot States and the Environment

Robotic System

Page 14: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Robot’s Belief over statesBelief: Robot’s knowledge about the state of the environment

𝑏𝑒𝑙(𝑥𝑡) = 𝑝(𝑥𝑡|𝑧1:𝑡 , 𝑢1:𝑡)

Posterior distribution over state at time tgiven all past measurements and control

Prediction: 𝑏𝑒𝑙(𝑥𝑡) = 𝑝(𝑥𝑡|𝑧1:𝑡−1, 𝑢1:𝑡)

Calculating 𝑏𝑒𝑙(𝑥𝑡) from 𝑏𝑒𝑙(𝑥𝑡) is called correction or measurement update

Robotic system

Page 15: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

tim

e =

1ti

me

= 2

tim

e =

0Discrete Bayes Filter - Illustration

Page 16: Lecture 02: probability review + Bayes filterspublish.illinois.edu/.../01/sp-2020_02-lecture.pdf · Lecture 02: probability review + filtering Katie DC Jan. 23, 2019 Notes from Probabilistic

Summary

• Reviewed basic probability theory

• Defined Bayes’s Theorem and applied it to a simple robotics problem

• Defined belief as the robot’s knowledge about the state of the environment and hinted at Bayes Filters (covered in next lecture)