Field of the Invention

[0001] The present invention is related to global navigation satellite systems (GNSS). The invention is in particular related to the problem of the half-cycle ambiguity of the carrier phase of a satellite signal that is modulated by a navigation sequence.

State of the art

[0002] Global Navigation Satellite Systems (GNSS) are widely used to provide position, velocity and time to any user on or near the Earth’s surface. A GNSS comprises, among other things, a constellation of multiple navigation satellites (GNSS satellites) which transmit dedicated navigation signals known as “ranging signals”. Most known is the Global Positioning System (GPS) developed by the United States. Other systems include the European Galileo system, the Russian GLONASS and the Chinese BeiDou system.

[0003] All GNSS satellites transmit multiple ranging signals in various frequency bands. For example, modern GPS satellites transmit at least two signals modulated on the L1 carrier at 1575.42MHz (LICA and Lip) and two signals on the L2 carrier at 1227.6MHz (L2P and L2C). Each signal consists of a pseudorandom code (PRN code) unique to each satellite. Some signals, known as “data signals”, are further modulated by the bits of a navigation message. The signals that are not modulated by navigation bits are called “pilot signals”. In GPS for example, the L2C signal is a pilot signal (or more precisely, the L2CL component of the L2C signal is a pilot), while the LICA, LI P and L2P signals are data signals. For most signals, the PRN code is publicly available and known to the receiver. However, for some signals, such as GPS Lip and L2P, the PRN code is classified and unknown.

[0004] In GNSS receivers, the different frequency bands are first amplified and downconverted to baseband in analog frontend circuits, and the signals from the different satellites are acquired and tracked in dedicated tracking channels. For each tracked signal of each satellite, the receiver measures the transmission delay from the satellite to the receiver and the phase of the incoming carrier wave. The measured delay, multiplied by the speed of light, is called the pseudorange. The carrier phase measurements are much more accurate than the pseudoranges but are affected by an ambiguity of an integer number of carrier wavelengths.

[0005] The phenomenon of integer ambiguity and the techniques to overcome it are well-known in the art. The present invention relates to the problem of half-cycle ambiguity that affects the carrier phase measurements of data signals, as explained in the following paragraphs.

[0006] In data signals, the navigation bit modulation follows the binary phase- shift keying (BPSK) scheme, in which the phase of the carrier is offset by 0° or 180° (one half of a carrier cycle) depending on the value of the bit to be transmitted (1 or 0). In such a modulation scheme, a global shift of the unmodulated carrier by 180° is not distinguishable from an inversion of all the navigation bits. For example, upon receiving the phase sequence (0°, 180°, 180°, 0°, 0°), the receiver cannot distinguish the hypothesis that the unmodulated carrier phase was 0° and the navigation bits were (0, 1 , 1 , 0, 0), from the hypothesis that the carrier phase was 180° with navigation bits (1 , 0, 0, 1 , 1 ). An ambiguity of 180° exists until the receiver can determine the correct bit sequence. This ambiguity is referred to as the “half-cycle ambiguity”.

[0007] Resolving the half-cycle ambiguity typically involves waiting for the occurrence of a preamble (a short bit sequence transmitted at fixed intervals, the content of which is known in advance) and comparing it with the decoded sequence. In case of a sign inversion (the bits of the preamble have been decoded with inverted polarity), the receiver adjusts its carrier phase by 180°. In case of a match, the carrier phase is confirmed and does not need to change. This process must restart after each loss of tracking (i.e. after each signal interruption).

[0008] Even when the half-cycle ambiguity has been resolved, it may be lost again during tracking, especially in case of weak signal reception. Such event is known in the art as a “half-cycle slip”. Half-cycle slips are difficult to detect until the next preamble is received. During that interval, the carrier phase measurements are incorrect by half a cycle. [0009] As the availability of carrier phase with integer ambiguity is key to high- accuracy positioning, there is a need for techniques to speed up the resolution of the half-cycle ambiguity affecting data signals.

[0010] Numerous cycle-slip detection and repair algorithms have been proposed involving detecting the presence of discontinuities in the phase measurements. These methods usually compare the detected carrier phase with a modelled value being obtained from past data, e.g. by extrapolation. They require the availability of recent data as the extrapolation quickly diverges. For this reason, they are not suitable to determine the initial half-cycle ambiguity, as in this case, the last time a given satellite was tracked may be hours ago. There is a need for a technique that can be applied independently of the time at which a given satellite was last seen.

[0011] Patent publication document LIS6150978 discloses a technique for quick half-cycle ambiguity resolution applicable to the GPS LI CA signal. The technique involves detecting a match or an inverted match between an internally stored expected data message and the incoming data. It requires memory buffers for storing past data and relies on the assumption that the navigation message transmitted by the satellite does not change often. Periodic refreshes of the memory buffer are needed to keep track of navigation message updates, and the technique cannot be applied during those refreshes.

[0012] Son et al., "A new half cycle ambiguity resolution method for GPS attitude determination system," Proceedings of the 13th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GPS 2000), Salt Lake City, UT, September 2000, pp. 2227-2232, propose a method to resolve the half-cycle ambiguity by comparing data sequences from multiple antennas. The method uses the fact that demodulated data sequences from multiple antennas are identical for the same satellite. This technique is not applicable to a single-antenna configuration, and, in multi-antenna systems, is ineffective in the most usual case where the signal interruption concerns all antennas.

[0013] Patent publication document US6061390 discloses a way to resolve the half-cycle ambiguity on the GPS Lip and L2P carrier phase measurements provided the half-cycle ambiguity is resolved on the GPS LI CA carrier phase. However, the resolution of the GPS LI CA half-cycle ambiguity is still based on testing the sign of the preamble, as described above.

Summary of the invention

[0014] The invention aims to provide a solution to the problems described above. This aim is achieved by the methods and the GPS receivers as disclosed in the appended claims. According to the invention, the four signals LICA, LI P, I_2P and l_2c transmitted by a GPS satellite are received and the carrier phases (PLCA and cpi_2c are estimated from LI CA and l_2c, e.g. in a manner known in the art. In addition, the cross-correlation P between the downconverted signals L and l_2P is determined, taking into account the delay between said signals. According to the invention, the sign of P is used in a novel way that enables the direct determination of the half-cycle ambiguity ALI CA of the LI CA signal. According to a first embodiment, this is done by downconverting the l_2P signal by a replica having a phase derived from cpi_2c, instead of determining the phase of the l_2P replica by a tracking loop as in the prior art. This new approach enables determining ALI CA directly from the sign of P. According to a second embodiment, the phase q>L2P of the l_2P replica is determined by a tracking loop as in the prior art, and the half-cycle ambiguity ALI CA is determined on the basis of the sign of P and on the basis of the difference between the carrier phases q>L2P and q>L2c. The invention is equally related to a GPS receiver comprising at least one channel configured for executing the method according to the invention.

[0015] The invention is in particular related to a method for determining the half-cycle ambiguity of a Global Positioning System (GPS) carrier phase comprising the steps of :

- receiving the following signals from a GPS satellite : o a first signal LI CA transmitted on a first carrier frequency fLi , o a second signal Lip transmitted on the first carrier frequency fLi the second signal having a known phase offset with respect to the first signal, o a third signal l_2c transmitted on a second carrier frequency fL2, o a fourth signal l_2P transmitted on the second carrier frequency fi2, the fourth signal having a known phase offset with respect to the third signal,

- tracking the first signal and the third signal and determining thereby respective estimations of the carrier phases (PLI CA and cpi_2c of said first and third signals, wherein said estimation of the carrier phase (PLI CA of the first signal comprises the term wherein ALI CA is equal to 0 or 1 , ALI CA being referred to hereafter as the half-cycle ambiguity of the LI CA carrier phase,

- downconverting the second and fourth signals Lip and l_2P to baseband by multiplication with a carrier replica of said second and fourth signals, determining the delay between the downconverted second and fourth signals, and determining a cross-correlation P between the downconverted second and fourth signals by integrating the product of the downconverted second and fourth signals over an integration time T, taking into account said delay, characterized in that the sign of the cross-correlation P and the known phase offsets and are used for determining the half-cycle ambiguity ALI CA.

[0016] According to an embodiment, the half-cycle ambiguity ALI CA of the first signal LI CA is determined by : o executing said step of downconverting the fourth signal multiplication of the fourth signal l_2P with a carrier replica having the phase q P , o determining the half-cycle ambiguity ALI CA of the LI CA signal directly from the sign of the cross-correlation P, according to the following verification steps :

■ if P is positive, ALI CA = 0,

■ if P is negative, ALI CA = 1 .

[0017] In the previous embodiment, the applied delay between the downconverted second and fourth signals may be determined by a delay lock loop (DLL) circuit (15) tracking the delay between Lip and L2P. [0018] Alternatively, the step of tracking the first signal and the third signal may include determining respective estimations RLI CA and RL2C of the satellite range, wherein the applied delay between the downconverted second and fourth signals is the difference between the respective estimations of the satellite range obtained from the third and first signals l_2c and LICA, divided by the speed of light, i.e. (PRL2C - PRLI CA)/C.

[0019] According to another embodiment, the half-cycle ambiguity ALI CA of the first signal LI CA is determined by : o tracking the carrier phase of the fourth signal by a tracking loop that maximizes the amplitude of the cross-correlation P, and executing said step of downconverting the fourth signal by multiplication of the fourth signal with a carrier replica having the phase o from the sign of the cross-correlation P, and from the difference between cpi_2P and cpi_2c, determining the half-cycle ambiguity ALI CA of the first signal LI CA according to the following steps:

■ determining a parameter D, LICA

[0020] The method according to the previous embodiment may further comprise the step of determining whether the absolute value of the difference between D and the closest integer is larger or smaller than a pre-defined threshold value Dth, wherein the step of determining the half-cycle ambiguity ALI CA of the LI CA signal is executed only if the absolute value of the difference between D and the closest integer is smaller than the pre-defined threshold value Dth.

[0021] The method according to the invention may further comprise the step of determining whether the absolute value of P is larger than a pre-defined threshold value Pth, and wherein the step of determining the half-cycle ambiguity ALI CA of the LI CA signal is executed only if |P| > Pth. [0022] The method according to the invention may be performed repeatedly so as to enable an essentially continuous monitoring of the half cycle ambiguity ALI CA.

[0023] According to an embodiment, the half-cycle ambiguity ALI CA is determined only if the same result is obtained a given number of times.

[0024] According to an embodiment, the method of the invention is performed repeatedly and in parallel with a method for determining the half-cycle ambiguity ALI CA on the basis of a preamble transmitted in the first signal and wherein the time between two consecutive determinations of the half-cycle ambiguity is smaller than the time between two consecutive preambles.

[0025] According to an embodiment, the time between two consecutive determinations of the half-cycle ambiguity is smaller than 6s.

[0026] The invention is equally related to the use of the method of the invention for detecting half-cycle slips during the acquisition and processing of GPS signals.

[0027] The invention is equally related to a GPS receiver comprising one or more receiver channels, each channel being configured for tracking the following signals from a GPS satellite: o a first signal LI CA transmitted on a first carrier frequency fLi , o a second signal Li p transm itted on the first carrier frequency f LI , the second signal having a known phase offset with respect to the first signal, o a third signal l_2c transmitted on a second carrier frequency fL2, o a fourth signal l_2P transmitted on the second carrier frequency fL2, the fourth signal having a known phase offset with respect to the third signal wherein at least one of said channels comprises a half-cycle ambiguity calculation unit configured to calculate the half-cycle ambiguity ALI CA of the LI CA signal in accordance with the method according to the invention.

Brief description of the figures

[0028] Aspects of the invention will now be described in more detail with reference to the appended drawings, wherein same reference numerals illustrate same features. [0029] Figure 1 illustrates the high-level architecture of a receiver channel of a GPS receiver as presently known in the art. With high level is meant that only the basic components and their interaction is illustrated, while no details of the components as such are included in the drawing.

[0030] Figures 2 and 3 illustrate two possible high-level architectures of a receiver channel of a GPS receiver applicable for realising the method according to the first embodiment.

[0031] Figure 4 is a flowchart illustrating the operation of an LI CA half-cycle ambiguity calculation unit applicable in a receiver channel configured for realizing the method according to the first embodiment.

[0032] Figure 5 illustrates a high-level architecture of a receiver channel of a GPS receiver applicable for realising the method according to the second embodiment

[0033] Figure 6 is a flowchart illustrating the operation of an LI CA half-cycle ambiguity calculation unit applicable in a receiver channel configured for realizing the method according to the second embodiment.

Detailed description of the invention

[0034] During the reception of the k-th navigation bit, the LICA, LI P, I_2P and l_2c signals received from a GPS satellite can be represented as:

Where D _{i k} is the sign of the k-th bit transmitted on signal i (D _{i k} can take value is the PRN code that the satellite uses on signal i, which is a sequence of -1 and +1 “chips” at a high chipping rate and is the angular frequency of the L1 and L2 carriers, i.e. 1575.42MHz and f2 = 1227.6MHz. is the amplitude of signal i, accounting for the various gains in the transmission and reception chain. is the phase offset between the Lip and LI CA signals and is the phase offset between the l_2P and l_2c signals. Typically, both offsets 6<p _{L1P CA} and 6<p _{L2P C} are equal to TT/2, but other values are possible. These offsets are deliberately applied to the signals generated by the satellites and are therefore known and documented in the GPS Interface Specification (IS-GPS-200). is the delay of signal i in its propagation from the satellite to the receiver. It is different for all signals due to the dispersive effect of the ionosphere and to satellite and receiver inter-signal delays. is the phase shift of the L1 and L2 carrier in its propagation from the satellite to the receiver.

[0035] It is known in the art that the l_2c signal comprises a medium length data-modulated code (CM) and a long length dataless code (CL). In equations (1 ) and further in this text, only the L2CL component of the L2C signal is considered, even though we refer to it as “L2c” for clarity. As L2C is a pilot signal, it has no bit modulation. The Lw and L2P PRN codes (PRN _P ) and bits (D _{P k} ) are classified and considered unknown here. However, they are the same for Lip and L2P.

[0036] The equations (1 ) therefore represent the mathematical formulas of the four following signals : o a first signal LI CA transmitted on a first carrier frequency fu, with o that is modulated by a first known PRN code and by a first navigation bit sequence, o a second signal Lip transmitted on the first carrier frequency fi_i that is modulated by an unknown PRN code and by an unknown navigation bit sequence, the second signal having a known phase offset 5<PLI P,CA with respect to the first signal, o a third signal L2C transmitted on a second carrier frequency fi2, with COL2 = 2iTfL2, that is modulated by a second known PRN code, o a fourth signal L2P transmitted on the second carrier frequency fi2, that is modulated by said unknown PRN code and by said unknown navigation sequence, the fourth signal having a known phase offset 5cpi_2P,c with respect to the third signal.

[0037] According to the state of the art, the high-level architecture of a receiver channel tracking the four signals of equations (1 ) is represented in Figure 1. The receiver channel is dedicated to tracking one particular satellite. The receiver comprises therefore multiple channels, one for each satellite of the global positioning system.

[0038] The 4 signals of equation (1 ) are brought to baseband by mixing with sine waves 1 through 4, in multiplication circuits 5 through 8. The phases of the respective sine waves 1 , 3 and 4 are derived from the output of phase-lock loop (PLL) circuits 9, 10 and 11 . These outputs are the carrier phase measurements (PLI CA, <PL2P and cpi_2c for respective signals LICA, l_2c and l_2P. For the Lw signal, the phase is made equal to the LI CA phase plus the known LI P-LI CA phase offset ^S( PLIP,CA The PLLs 9 and 10 determine the carrier phase measurements (PLI CA and q>L2c by maximizing the in-phase correlation between the downconverted signal and a locally produced replica of said signal, said correlation being produced by respective correlators 12 and 13. The l_2P PLL 11 determines the carrier phase cpi_2P of the L2P signal by maximizing the in-phase cross-correlation P between the downconverted signals Lip and L2P, determined in a P1 -P2 cross- correlator circuit 14, after compensation of the delay A _2P -A _1P between the Lip and L2P signals, said delay being determined by delay-lock loop (DLL) 15. The measured delay is applied to the incoming signal in a delay circuit 16.

[0039] DLL circuits 17 and 18 track the delay of the known PRN codes transmitted by the signals LI CA and L2C and produce the pseudorange measurements PRLI CA and PRL2C by multiplying the respective delays by the speed of light. The DLL circuits 17 and 18 determine said delays by locking a local replica of the PRN code onto the incoming signal and determining the time delay between the transmitted signal and the locally produced replica. As known in the art, this may be realized by continuously producing early, late and punctual replicas of the PRN code and comparing the correlation thereof with the incoming signal.

[0040] Assuming perfect lock of the tracking loops to the incoming signals, a receiver channel tracking the LI CA signal given by the first of the equations (1 ) produces the following carrier phase measurement, in radians : With A _L1CA the half-cycle ambiguity of the LI CA carrier phase, being 0 or 1 , and N _L ICA the integer ambiguity.

[0041] As a by-product of the LI CA signal tracking, a receiver channel also estimates the sign of the navigation bits (D _{L1CA k} ). As is well known in the art, if A _L1CA is 0. the navigation bits are decoded with correct sign. On the other hand, if A _L1CA is 1 , they are decoded with inverted sign. Known methods to resolve the half-cycle ambiguity therefore involve waiting for the occurrence of a known bit pattern and comparing it with the decoded sequence. For example, the GPS LI CA navigation bit stream contains a known pattern of 8 bits repeated every 6 seconds, the so-called preamble. In case of a sign inversion (the preamble has been decoded with inverted polarity), A _L1CA is determined to be 1 , otherwise it is determined to be 0.

[0042] This process must restart after each loss of tracking (i.e., after each signal interruption). For example, when the receiver is used in a car, the process of resolving the half-cycle ambiguity is repeated each time the car passes under a bridge blocking the GPS signal. After each signal interruption, it takes several seconds to resolve the half-cycle ambiguity.

[0043] This invention relates to the fast determination of the A _L1CA ambiguity. It is based on the insight that the measured carrier phase cpi_2c from the pilot l_2c signal can be used to speed up determination of the LI CA half-cycle ambiguity A _L1CA , using the Lip and l_2P signals as a link between L1 and L2. In particular, the sign (+ or -) of the P1 -P2 cross-correlation P, determined by integration over a short time period of for example 1 second (‘short’ meaning shorter than the timespan between subsequent transmissions of the preamble), enables the fast determination of A _L1CA when the measured carrier phase cpi_2c is used judiciously. The inventors have found two different way of realising this, described hereafter as a first and second embodiment of the method of the invention.

First embodiment

[0044] Assuming perfect lock of the tracking loops to the signals, a receiver channel tracking the LI CA and l_2c signals given by equations (1 ) produces the following carrier phase measurements:

[0045] As stated above, formula (3) assumes perfect lock of the tracking loops to the incoming signals. In reality, the carrier phase measurements may slightly differ from the above formulas due for example to noise or multipath effects, but these deviations may be considered to be small compared to the terms cited in equations (3). In any case, the estimation of (P^CA comprises the term A _L1CA ■ that is equal to 0 or IT depending on the value (0 or 1 ) of the half-cycle ambiguity Another way of defining the half-cycle ambiguity would be to define it as the cited term itself, i.e. as equal to 0 or IT. This definition of the half-cycle ambiguity is equivalent to the definition used in this description and in the appended claims.

[0046] l_2c being a pilot signal, its carrier phase measurement is by design free of half-cycle ambiguity (but it is still affected by an integer ambiguity, N _L2C , as all carrier phase measurements). In equation (3), there is apparently no link between the LI CA and l_2c carrier phase. However, a link can be made using the fact that both the L1 and L2 carriers are also modulated by the Lw and l_2P signals. [0047] In the prior art receiver channel of Figure 1 , the l_2P signal is brought to baseband using the phase <p _L2P , which is the output of the l_2P PLL. Instead, in this invention, the l_2P signal is converted to baseband by mixing with a sine wave of which the phase is derived from the measured l_2c phase <p _L2C of equation (3). The principle is illustrated in Figure 2.

[0048] The l_2P signal is downconverted to baseband using the measured l_2c carrier phase and the known L2P-L2C phase offset As in the prior art receiver, the Lip signal is downconverted to baseband using the measured LI CA carrier phase and the known LI P-LI CA phase offset The baseband signals are then multiplied and integrated over a time T (preferably this means integrating between 0 and T and dividing the integral by T, as indicated in Figure 1 ). T could for example be 1 second. [0049] From the signal definition in equation (1) and the carrier phase equations (3), one can compute the so-called punctual in-phase cross-correlation P (neglecting the terms at twice the carrier frequency) as :

[0050] The correlator circuit 14 may also output early and late cross- correlation values to the DLL 15 and in-quadrature cross-correlation values to the PLL 11. In the context of determining the half-cycle ambiguity in accordance with any embodiment of the invention, only the punctual in-phase cross-correlation P is needed. In the rest of this description and in the claims, the term “cross- correlation P” is always to be interpreted as the “punctual in-phase cross- correlation”.

[0051] It can be seen that P is positive when A _L1CA = 0, and negative when A _L1CA = 1 - In other words, when the L2P signal is downconverted to baseband by a sinewave of phase instead of the sign of the cross-correlation P directly provides the value of the LI CA half-cycle ambiguity. According to the first embodiment of the invention, the LI CA half-cycle ambiguity is therefore determined as follows:

• if P is positive, determine that A _L1CA = 0

• if P is negative, determine that A _L1CA = 1.

[0052] The method according to the first embodiment of the invention therefore comprises the steps summarized in appended claim 2, ending with the determination of A _L1CA based directly on the sign of P. The method is preferably performed repeatedly as the 4 signals of equations (1) are acquired and processed in the above-described way so as to enable an essentially continuous monitoring of the half-cycle ambiguity. Preferably, this means that the half-cycle ambiguity is determined essentially every T seconds. T can be for example 1 s or less, and in any case T can be significantly smaller than the interval of 6s between two consecutive preamble sequences, used in prior art receivers to determine the half-cycle ambiguity. The invention therefore enables a much faster determination of the half-cycle ambiguity and therefore a faster restoration of the integer-ambiguity carrier phase after an interruption or a signal slip.

[0053] In reality, the correlation P will be affected by noise. To account for noise, the decision above is preferably subject to a threshold check on P. If the value of P is under a given threshold P-m in absolute value, no decision is taken, and the test is performed again at the end of the next correlation interval T.

[0054] Parallel to the above procedure, a receiver channel equipped for performing the method according to the first embodiment of the invention preferably still checks for the preamble sign to determine the LI CA half-cycle ambiguity in the known way. The LI CA half-cycle ambiguity is fixed as soon as at least one of the following conditions is met:

• The preamble has been received and its sign could be determined,

• The l_2c signal is tracked and the LI P-I_2P cross-correlation P is available with sufficient amplitude.

[0055] In most cases, the l_2c-based half-cycle ambiguity fixing is faster, which is the main advantage of the present invention.

[0056] In a preferred embodiment, the above process of determining the LI CA half-cycle ambiguity is executed repeatedly to detect half-cycle slips, for example the preamble sign is checked every 6 seconds, and the sign of the cross- correlation P is checked at intervals smaller than 6s, for example every 1 s or even less, as enabled by the fact that the integration time T can be much shorter than the 6s interval between preambles. If the half-cycle ambiguity appears to change, a cycle-slip flag is raised and the new ambiguity is applied immediately. [0057] The process of cross-correlating the Lw and l_2P signals is well known in the art, and multiple refinements for the P1 -P2 cross-correlator 14 have been proposed to improve the SNR of the cross-correlation, as for example summarized in the conference paper “Woo, K. T., "Optimum Semi-Codeless Carrier Phase Tracking of L2," Proceedings of the 12th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GPS 1999), Nashville, TN, September 1999, pp. 289-306 ”. Such refinements are applicable as such in the method and receiver according to the various embodiments of the invention.

[0058] As for example disclosed in LIS5134407, it is known in the art that the cross-correlation SNR can be significantly improved by performing a first pre- integration over small portions of the Lip and l_2P PRN code. This improvement is compatible with the invention and is advantageous as it reduces the noise on the cross-correlation P.

[0059] One embodiment of a receiver channel in a receiver according to the invention, configured for the application of the first embodiment of the method as described above, is shown in Figure 2. It is seen that (besides the term a) _L2 t ) the sinewave 4 is now defined by the measured carrier phase <p _L2C and the known phase difference and that the receiver channel comprises an additional component, called the LI CA half-cycle ambiguity calculation unit 20, that receives the cross-correlation P as its input. This component is configured to verify the sign of P, and deliver the value the half-cycle ambiguity as its output. As stated above, the calculation unit 20 may be configured to verify whether or not the absolute value of P is above a pre-defined threshold Pth. The sign of the half-cycle ambiguity is then only produced if |P| > Pth.

[0060] In the receiver channel of Figure 2, the l_2P PLL and DLL circuits 11 and 15 are still included. The DLL 15 again determines the delay A2P - Aip, while the output of the L2P PLL 11 is not further used in the receiver channel.

[0061] While this is a viable embodiment of a receiver channel according to the invention, a more preferred embodiment is illustrated in Figure 3. This embodiment corresponds to the following variation of the method according to the first embodiment.

[0062] In the context of this invention, the delay Δ2P - ΔI P does not need to be known accurately: an accuracy of a few tens of nanoseconds is sufficient as the only requirement is to get a reasonable correlation level, not to accurately track the L2P signal. At that level of accuracy, the delay between the Li p and L2P signals is the same as the delay between the Li CA and L2C signals. If the receiver channel does not contain means to compute the L1P-L2P delay (A _2P -A _1P ), it is therefore sufficient to use the delay between LI CA and L2C instead (A _2C - A _1CJ4 ). A receiver channel implementing the invention must at least track the LI CA and L2C signals, and therefore produce pseudorange and carrier phase measurements for those signals. The delay between LI CA and l_2c is simply the difference between the l_2c and LI CA pseudoranges, divided by the speed of light c. The method according to the first embodiment may therefore use the delay A2C -AICA instead of the delay A2P - A1 p .

[0063] The receiver channel illustrated in Figure 3 is suitable for executing the method of the first embodiment in accordance with the above-described variation, i.e. using the delay A2C-A1CA instead of the delay A2P - Aip. This receiver channel does not comprise l_2P DLL and PLL circuits. The delay applied to the downconverted Lip signal is obtained from the pseudoranges PRLI CA and PRL2C according to the formula : A2C-A1CA = (PRL2C - PRLI CA)/C.

[0064] A flowchart of the method steps applied by the half-cycle ambiguity calculation unit 20 including a check of the absolute value of P is shown in Figure 4.

[0065] Compared to the prior art of Figure 1 , an important aspect of this embodiment of the invention is that it does not require the Lip and L2P signals to be tracked by the receiver channel. All phase and delay information required to compute the cross-correlation between Lip and L2P are available from the LI CA and L2C phase and pseudorange measurements. The receiver according to the invention must only perform a cross-correlation without implementing the necessary steps for tracking the P code (PLL and DLL). In particular, there is no need for the receiver to compute Lip and L2P code and carrier measurements. However, on receivers where L2P measurements are available, another option is possible, as described below.

Second embodiment

[0066] There is another way of quickly determining the LI CA half-cycle ambiguity, applicable to receivers tracking the LI CA and L2P signals according to the state of the art and generating corresponding phase measurements. In a receiver channel tracking LI CA and L2P signals according to the state of the art (as shown in Figure 1 ), the phase of the L2P carrier replica is based on the output of the L2P phase-locked loop is the L2P carrier phase measurement. The PLL 11 ensures that equals the phase shift of s of equation (1) with a half-cycle ambiguity A _L2P (0 or 1 ) and an integer ambiguity and ^are given by the following equations, again assuming perfect lock of the tracking loops to the signals :

[0067] The cross-correlation P in this case (neglecting the terms at twice the carrier frequency) obtained by integration of the product of the downconverted signals SLI P and SL2P, taking into account the delay between the two signals, over a time T (as defined above), is the following :

[0068] As shown by equations (5), both the LI CA and l_2P carrier phases are affected by half-ambiguities A _L1CA and A _L2P . However, A _L1CA and A _L2P are linked by the sign of the cross-correlation P. From equation (6) it follows that if P is positive, A _L2P = A _L1CA , while if P is negative, A _L2P = 1 - A _L1CA . This allows to rewrite the l_2P carrier phase as follows:

[0069] The principles behind equation (7) have been known for long and are routinely applied to determine the l_2P half-cycle ambiguity once the LI CA half- cycle ambiguity is determined (see for instance US6061390). However, it has so far not been recognized that equation (7) can be used for fast determination of ALICA when the receiver also tracks the l_2c signal in parallel to LI CA and l_2P. This is the basis of the second embodiment of the invention.

[0070] When the receiver tracks l_2c, the carrier phase is given by (3), and the difference between l_2P and l_2c carrier phase measurements is given by:

[0071] From equations (8), the LI CA carrier phase ambiguity can be readily derived from the l_2c and l_2P carrier phase measurements using the following quantity:

Considering that /V _L2 p, N _L2C are integer values, equation (10) shows that, if P is positive, D is expected to be an even number if A _L1CA is 0, and an odd number if A _L1CA is 1 - If P is negative, the opposite is true. In reality, due to noise on the carrier phase measurements, D will not be exactly an integer, but it should be close to an integer in good signal-to-noise conditions.

[0072] The determination of A _L1CA according to this second embodiment of the invention therefore involves:

• Tracking the l_2P and l_2c signals according to the state of the art and generating the corresponding carrier phase measurements <p _L2P and <p _L2C .

• Computing D following equation (9) using the known phase difference <5<p _L2 p,c between l_2c and l_2P .

• determining A _L1CA from D by the following verification steps : o if the integer closest to D is even: A _L1CA = 0 if P >0 or A _L1CA = 1 if P <0 o if the integer closest to D is odd: A _L1CA = 1 if P >0 or A _L1CA = 0 if P <0.

A receiver channel configured for performing the method according to this second embodiment is represented in Figure 5. This receiver channel requires a PLL circuit 10 for determining cpi_2P as in the prior art shown in Figure 1 . With respect to the prior art in Figure 1 , this embodiment adds a LI CA half-cycle ambiguity calculation unit 20, taking the l_2c and l_2P carrier phases and the punctual cross- correlation value P as input. According to an alternative embodiment (not shown), the delay applied in circuit 16 of Figure 6 is determined as A2C-AI CA = (PRL2C - PRLI CA)/C, as in the embodiment illustrated in Figure 4. In that case, the DLL circuit 15 of Figure 5 could be omitted.

[0073] According to a preferred embodiment, a verification step precedes the determination of A _L1CA . This step consists in checking whether D differs from the closest integer by more than a threshold value D-m, e.g. 0.1. The determination of A _L1CA is then only done in the above-described way if D differs less than the threshold value Dth from the closest integer. If D differs by more than Dth from the closest integer, no decision can be taken as the noise is too large, and A _L1CA is not determined until a next integration time T.

[0074] In the same way as in the first embodiment, a test on the amplitude of P (| P| > PTh) is preferably added to avoid taking a decision based on noise. The flowchart shown in Figure 6 shows the preferred operation of the half-cycle ambiguity calculation unit 20, when the tests for both D and P are included. A “cycle slip flag” can be raised when a change of A _L1CA is observed.

[0075] As in the first embodiment, the method according to the second embodiment is preferably performed repeatedly as the signals of equation (1 ) are tracked so as to enable an essentially continuous monitoring of the half-cycle ambiguity. The determination of the cross-correlation P is done during consecutive integration times T, preferably shorter than the time between consecutive preambles, i.e. less than 6s, for example 1 s or even less. The method may be executed every time P is determined in this way. Every determination of P is then used together with a determination of the parameter D as input for the above-described method for determining the half-cycle ambiguity A _L1CA .preferably after an assessment of both P and D with respect to respective threshold values Pth and Dth. However, other practical ways of realising a repeated implementation of the method according to the second embodiment are possible. For example, the parameter D may be determined at the rate at which the carrier phase measurements and are updated, which may be for example 1 Hz or 10Hz or any other suitable rate. The method can be performed at this same rate, by using each carrier phase update for determining D in combination with the latest determination of P.

[0076] In the method according to the second embodiment, a test of the carrier-to-noise density ratio (C/N0) can be added, and it can be decided not to take a decision if the C/N0 of the l_2c and/or the l_2P signal is under a given threshold.

[0077] In addition, it can be decided to only take a decision after a certain number of iterations provide consistent results. This can be done also when applying the method according to the first embodiment (Figures 3-5). The number of required iterations may be consecutive, for example ALI CA is the same after M consecutive determinations of ALI CA, or non-consecutive, for example ALI CA is the same for N out of M determinations of ALI CA.

[0078] In the same way as described above in relation to the method according to the first embodiment, the above method according to the second embodiment is preferably used in parallel to the legacy way of determining the half-cycle ambiguity from the sign of the preamble.

[0079] It is known in the art that the l_2P PLL (11 ) can be designed to ensure that the sign of P is always positive. This option is compatible with the second embodiment of the invention. In that case, the test of the sign of P in Figure 6 can be bypassed as P is known to be positive by design.

[0080] While the invention has been illustrated and described in detail in the drawings and foregoing description, such illustration and description are to be considered illustrative or exemplary and not restrictive. Other variations to the disclosed embodiments can be understood and effected by those skilled in the art in practicing the claimed invention, from a study of the drawings, the disclosure and the appended claims. In the claims, the word “comprising” does not exclude other elements or steps, and the indefinite article “a” or “an” does not exclude a plurality. The mere fact that certain measures are recited in mutually different dependent claims does not indicate that a combination of these measures cannot be used to advantage. Any reference signs in the claims should not be construed as limiting the scope.