Abstract

GNSS (global navigation satellite system) compass is a low-cost, high-precision, and temporally stable north-finding technique. While the nonlinear baseline length constraint is widely known to be important in ambiguity resolution of GNSS compass, its direct effect on yaw angle estimation is theoretically analyzed in this work. Four different methods are considered with different ways in which the length constraint is made use of as follows: one without considering the constraints, one with simple scaling, one with indirect statistical scaling, and one with direct statistical scaling. It is found that simple scaling does not have any effect on yaw estimation; indirect and direct statistical scalings are equivalent to each other with both being able to increase the precision. The analysis and the conclusion developed in this work can go in parallel for the case of the tilt angle estimation.

1. Introduction

Control of a vehicle often relies on measuring necessary parameters of the vehicle [1, 2]. The vehicle’s attitude, especially the heading or yaw angle as one of the attitude components, is a vital one of these parameters in many control applications [3]. GNSS compass is a cost-effective method to provide heading information in real time. It is one of the high-precision short-baseline applications [46]. By high precision, it is meant that carrier-phase measurements are used in addition to code pseudo ranges. GNSS compass is also a special case of GNSS attitude determination (AD), which can further be viewed as a special case of GNSS antenna array applications [79]. In compass, only the yaw or heading of the complete three attitude elements is of interest. GNSS compass (also GNSS AD) is of low cost and is temporally stable and hence finds wide applications. Each piece of carrier-phase measurement can be viewed as high-precision version of pseudo range only when its integer ambiguity has been correctly fixed [1013]. From this regard, ambiguity resolution (AR) is inevitable in GNSS compass as in other high-precision applications [4, 1416]. Though single-epoch AR is the most challengeable [17], we should do AR sequentially to fully explore the temporally constant property of the ambiguities [18], as long as cycle slips are absent or repaired in real time [19]. In this work, we are concerned with yaw angle estimation with carrier-phase measurements whose ambiguities have already been fixed at previous epochs. It is widely known that the length constraints of the baselines connecting antennas fixed on the vehicle’s body should be given full consideration in the AR of GNSS compass or AD. The nonlinear length constraint enhances the GNSS compass AR model in terms of not only precision but also reliability [20]. However, in AD with vector measurements, the lengths of the vector measurements do not have an effect in general [3, 21]. The AD with vector measurement can be pointwise or sequential, namely, Wahba’s problem [2226] or the attitude filtering problem [2732]. This is the reason why the vector measurements can be normalized for the sake of better numerical stability.

Does the nonlinear baseline length constraint have an effect on GNSS compass, as long as the ambiguity-fixed measurements are used? Or, how can the constraint have an effect? If there is an effect, will this effect be positive, namely, with precision increased? In this work, these questions are studied in theory thoroughly and clear answers are given. Four different methods are analyzed with different ways in which the length constraint is considered. The first is called No-Constraint in which the length constraint is completely ignored. The second is called Simple-Scaling in which the baseline vector estimate is simply scaled to be with the known length. The third is called Indirect-Statistical-Scaling in which the baseline vector estimate is scaled statistically by taking the covariance of the estimate into consideration. The fourth is called Direct-Statistical-Scaling in which the baseline vector is estimated by solving a constrained least-squares problem. After briefly introducing the measurement model in Section 2, the four methods are analyzed in Section 3. The effects of the length constraints on the compassing, together with the relationships among them, are the focus of the analysis. This work is concluded in Section 4. Some derivations and proofs are presented as appendices.

2. GNSS Compass Measurement Model

It is shown in Figure 1 that a pair of antennas is rigidly mounted to a vehicle whose yaw or heading is to be determined. The baseline vector linking the antenna-pair is denoted as x. Without loss of generality, the baseline vector is in the vehicle body’s right-front plane. Then, the baseline vector defines the yaw angle and the tilt angle. We further assume that the baseline vector points to the front. Then, the tilt angle is exactly the pitch angle. The coordinate vector in the local ENU reference frame of the baseline is also denoted as x, and let x = [a b c]T. This will not introduce any confusion, since only the coordinates in the reference frame are involved in this work. So, in the following by the baseline vector, we mean its coordinate vector in the reference frame. The yaw can be computed from the coordinates as follows:

For nondedicated receivers [33], double difference carrier-phase measurements can be used to simplify the measurement model by eliminating both satellite and receiver clock errors [17, 34, 35]. Considering only the measurements with corresponding ambiguities fixed, the measurement model is as follows:with y, B, and Q = cov[ε] known. Note that the elements of the measurement vector y may not necessarily be the original double difference carrier phases, but rather some linear combinations of them. The corresponding combined ambiguities, e.g., the wide-lane ones, are relatively easy to be fixed; we assume they have already been fixed at certain previous epochs. Further assume the vehicle’s body is rigid and hence we have the following length constraint:with l known and time invariant. Note that this is the nonlinear and so-called hard constraint [36, 37]. The models (1)-(3) represent all the available information relevant to the compassing. Different GNSS compass methods are results of different ways in which the information is used. An important issue concerning these methods is whether the constraint in [3] is used and how it is used.

3. Effect of Baseline Length Constraint in Different Methods

In the following, the four different methods are presented, the effect of the baseline length constraint on the final solution of yaw angle is analyzed, and potential relations among different methods are revealed.

3.1. No-Constraint Method

The first method is called No-Constraint which ignores the constraint completely. It first estimates the baseline vector with least-squares:with the covariance of this estimate being . Then, the yaw angle with this estimate is calculated according to [1]. For easy reference, the formula is displayed as follows:with e1 = [1 0 0]T and e2 = [0 1 0] T. The variance of this estimate can be worked according to the error propagation law:with . A derivation of [6] can be found in Appendix A. It is needless to say that the length constraints play no role in this method.

3.2. Simple-Scaling Method

The second method is carried out in steps as follows. First, it estimates the baseline vector as in [4]. Second, it scales the baseline vector as

This step is exactly the reason why it is called simple-scaling. Third, it calculates the yaw angle according to [1]: . So, as long as the yaw is to be estimated, the first and the second methods are the same, and it is readily known that their variances are also the same. The baseline length constraint does not have any effect on GNSS compass in this method, either. This may be reminiscent of the case of AD with vector measurements, namely, Wahba’s problem, in which the specific length of the vector may be irrelevant to the AD.

As a final note, as long as the baseline vector, rather than the yaw, is of interest, the precision of the solution after simple scaling can be increased or decreased, or remain unchanged, depending on the length of the vector before scaling. For more information on this topic, the interested readers are referred to Appendix B.

3.3. Indirect-Statistical-Scaling Method

The third method is also a stepwise one as the second method. The difference from the second method lies in the second step. In this step, a constrained least-squares estimation is done with the estimate from [4] being treated as pseudo measurement with covariance P1. The nonlinear constraint equation in [3] is linearized, say around the estimate in [4], as follows. Let and ; then, we have the linearized constraint as follows:

The resulting baseline vector estimate is defined as follows:where λ denotes the Lagrange multiplier and η is called the Lagrangian. It turns out that the estimate defined in [9] is as follows:with and . A derivation of [10] can be found in Appendix C. The covariance is readily known as = . We call [10] an Indirect-Statistical-Scaling for brevity. It is indirect because we first estimate the baseline vector without considering the constraint and then modify the estimate by considering the constraint. It is statistical because the statistical information, namely, the covariance P1, is used in this scaling. The yaw is calculated using this estimate according to [1] and denoted as .

It is clear that in general. The question is can one of the two be always more accurate than the other? The answer is positive as proved in the following. Similar to [6], we know that . The following can be readily proved:

A derivation can be found in Appendix D. It is readily known that Δ is of rank one; furthermore, besides the zero double eigenvalue, the only nonzero eigenvalue is , because and . So the matrix Δ is positive semidefinite. So . It means that the precision of cannot be lower than . Only when either of the following two conditions are fulfilled, the two are of equal precision: (1) Δ = 0; (2) g is one of the eigenvectors of Δ. In practice, the probability of either of the two conditions holding is zero. To summarize, with the indirect statistical scaling in the third method, the baseline length constraint has a positive effect in GNSS compassing, namely, that the precision can be improved by considering the length constraint.

3.4. Direct-Statistical-Scaling Method

The fourth method is a two-step one. It first estimates the baseline vector with constrained least-squares to consider the constraint in [3]. Then, it calculates the yaw using this estimate according to [1]. In the first step, the constrained least-squares solution to the baseline vector is defined as follows:

It can be proved, as in Appendix E, that the baseline vector estimate defined in [12] is the same as the one in [10], and hence, the yaw, denoted as , is the same as . Their variances are also the same. So, the baseline length constraint has a positive effect on the GNSS compass in this method, namely, that by considering the length constraint, the precision of the yaw estimate can be improved.

3.5. Summary

The above analysis is summarized in Table 1. In a nutshell, (1) with the Simple-Scaling, the baseline length constraint does not have any effect on the GNSS compass; (2) the Indirect-Statistical-Scaling and the Direct-Statistical-Scaling can equivalently produce a positive effect of the baseline length constraint on the GNSS compass.

4. Conclusion

As long as the antennas are mounted rigidly to the vehicle’s rigid body, the baseline length remains unchanged, independent of the vehicle’s dynamics. This is a hard and nonlinear constraint. In a GNSS compass, the yaw angle or heading of the vehicle can be determined with carrier-phase measurements whose ambiguities have been fixed at previous epochs. The question is answered in this work that whether the baseline length constraint has an effect on the yaw angle determined. In a nutshell, the answer is as follows: it depends on the specific method of considering the constraints. If we simply scale the estimated baseline vector to make its length be the true one, namely, to make the constraint fulfilled, the constraint does not have any effect on the yaw angle estimation. However, if the constraint is used through a statistical scaling, it can have a positive effect, namely, that the precision of the yaw estimation can be improved. The statistical scaling can be done indirectly or directly. In the indirect statistical scaling, the constraint is used after the baseline vector is estimated, whereas in the direct statistical scaling, the constraint is used in the baseline vector estimation. They are called statistical because the statistical information, namely, the covariance, is used in both of them. The two statistical scaling methods are equivalent to each other, namely, producing the same yaw estimate with the same variance of this estimation.

As a final note, the analysis and the conclusion developed in this work go in parallel for the case of tilt angle. Depending on the configuration of the baseline vector, this tilt angle can be pitch or roll angle.

Appendix

A. Derivation of [6]

According to the train rule of the derivative, the Jacobian (derivative) of with respect to is as follows:

Substituting into the above, we havewhich is exactly used in [6]. Note that [6] is obtained simply through error or covariance propagation.

B. Effect of Simple-Scaling on the Precision of Baseline Vector Estimation

According to the simple scaling formula, namely, with , we have the following covariances for :

So, readily we have the following:

When we say , we say that is positive definite and the “smaller than” case goes similarly. From [16], we know that the simple scaling does not necessarily increase the precision of the baseline vector estimation. To be more specific, when the length of the unscaled baseline vector estimate is overly estimated, the simple scaling can even decrease the precision.

C. Derivation of [10]

In order for the Lagrangian to be minimum, its first-order derivative with respect to x should be zero [3840], namely,

The above is equivalent to the following:

Substitute this expression into the length constraint; we can compute the Lagrange multiplier, as follows:

Substituting (C.3) into (C.2), we have the following estimate:

The rightmost expression is exactly that in [10].

D. Derivation of [11]

First, the expression of P3 is expanded as follows:

So, readily we have

Furthermore, we haveWith (D.2) and (D.3), we finally have [11].

E. Equivalence between [12] and [10]

Instead of directly working out the solution of [12], we will equivalently prove that the minimizer of η3 can also minimize η4. We first rearrange η3 and η4 as follows:

In both of the above, uninteresting additive terms independent of x and λ are omitted. So, the two Lagrangians are the same, after omitting different uninteresting additive constants which do not depend on the unknowns including the Lagrangian multipliers. So, the minimizer of one of the two will also minimize the other. This means that the two solutions are the same to each other.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This work was funded by the National Natural Science Foundation of China (41774005) and China Postdoctoral Science Foundation (2019M652010 and 2019T120477).