There are four major components of occupancy grid mapping approach. They are:
The goal of an occupancy mapping algorithm is to estimate the posterior probability over maps given the data: p ( m ∣ z 1 : t , x 1 : t ) {\displaystyle p(m\mid z_{1:t},x_{1:t})} , where m {\displaystyle m} is the map, z 1 : t {\displaystyle z_{1:t}} is the set of measurements from time 1 to t, and x 1 : t {\displaystyle x_{1:t}} is the set of robot poses from time 1 to t. The controls and odometry data play no part in the occupancy grid mapping algorithm since the path is assumed known.
Occupancy grid algorithms represent the map m {\displaystyle m} as a fine-grained grid over the continuous space of locations in the environment. The most common type of occupancy grid maps are 2d maps that describe a slice of the 3d world.
If we let m i {\displaystyle m_{i}} denote the grid cell with index i (often in 2d maps, two indices are used to represent the two dimensions), then the notation p ( m i ) {\displaystyle p(m_{i})} represents the probability that cell i is occupied. The computational problem with estimating the posterior p ( m ∣ z 1 : t , x 1 : t ) {\displaystyle p(m\mid z_{1:t},x_{1:t})} is the dimensionality of the problem: if the map contains 10,000 grid cells (a relatively small map), then the number of possible maps that can be represented by this gridding is 2 10 , 000 {\displaystyle 2^{10,000}} . Thus calculating a posterior probability for all such maps is infeasible.
The standard approach, then, is to break the problem down into smaller problems of estimating
for all grid cells m i {\displaystyle m_{i}} . Each of these estimation problems is then a binary problem. This breakdown is convenient but does lose some of the structure of the problem, since it does not enable modelling dependencies between neighboring cells. Instead, the posterior of a map is approximated by factoring it into
Due to this factorization, a binary Bayes filter can be used to estimate the occupancy probability for each grid cell. It is common to use a log-odds representation of the probability that each grid cell is occupied.
H. Moravec; A. E. Elfes (1984). "High resolution maps from wide angle sonar". Proceedings. 1985 IEEE International Conference on Robotics and Automation. Silver Spring, MO: IEEE Computer Society Press. pp. 116–121. doi:10.1109/ROBOT.1985.1087316. S2CID 41852334. https://ieeexplore.ieee.org/document/1087316 ↩
Thrun, S.; Burgard, W.; Fox, D. (2005). Probabilistic Robotics. Cambridge, Mass: MIT Press. ISBN 0-262-20162-3. OL 3422030M. 0-262-20162-3 ↩
Thrun, S. & Bücken, A. (1996). "Integrating grid-based and topological maps for mobile robot navigation" (PDF). Proceedings of the Thirteenth National Conference on Artificial Intelligence: 944–950. ISBN 0-262-51091-X. 0-262-51091-X ↩