A new GLONASS FDMA model

We introduce a new formulation of the double-differenced GLONASS FDMA model. It closely resembles that of CDMA-based systems and it guarantees the estimability of the newly defined GLONASS ambiguities. The formulation is made possible because of our defining new concept of integer-estimability and the analytical construction of a special...