Abstract: A navigation system is described which includes a mobile terminal 100 which has a transmission source receiver 204 for receiving the signals from one or more unsynchronised terrestrial transmission sources 102-105 and a satellite positioning receiver 200 for receiving signals from the satellite or satellites 107-110 of a satellite positioning system. The terminal also has a clock 208. A processor 209 is arranged to acquire a measurement vector having a list of values, each value representing a measurement made by a receiver 200,204, and the terminal clock's bias. It computes a state vector representing the current state of the system, using a previously-determined state vector, the measurement vector, and a dynamic model in order to derive a dynamic navigation solution.