Comment Aviation uses RAIM (Score 1) 127
For years, aviation has been using technology called RAIM. With enough satellites, position is over-specified and can be checked for self-consistency.
The universe is like a safe to which there is a combination -- but the combination is locked up in the safe. -- Peter DeVries