Probabilistic Reasoning and Inconsistency Identification in Graph-based Models
2021 ◽
pp. 533-563
Keyword(s):
In 1998, the National Aeronautics and Space Administration (NASA) launched the Mars Climate Orbiter (MCO) as part of the Mars Surveyor ’98 program. Upon arrival at Mars, MCO was to enter an elliptical orbit around the planet. On the day of orbit insertion, ground control was able to track the spacecraft visually up to the point when it vanished behind the planet. Unfortunately, the spacecraft never reappeared on the other side. It was later discovered that the probe came too close to the planet, and crashed into the Martian surface. The cause? A previously undiscovered mismatch in the use of unit systems for performing certain calculations in parts of the ground station software [43].
2005 ◽
Vol 23
(8)
◽
pp. 2707-2712
◽
Keyword(s):
2020 ◽
Vol 17
(1)
◽
pp. 488-491
Keyword(s):
2016 ◽
Vol XLI-B1
◽
pp. 429-434
◽
Keyword(s):
1925 ◽
Vol 44
◽
pp. 14-20
Keyword(s):
2016 ◽
Vol XLI-B1
◽
pp. 429-434
◽