# Patent

## Title
Post-mission high accuracy position and orientation system

## Abstract

A method of generating post-mission position and orientation data comprises generating position and orientation data representing positions and orientations of a mobile platform, based on global navigation satellite system (GNSS) data and inertial navigation system (INS) data acquired during a data acquisition period by the mobile platform, using a network real-time kinematic (RTK) subsystem to generate correction data associated with the data acquisition period, and correcting the position and orientation data based on the correction data. The RTK subsystem may implement a virtual reference station (VRS) technique to generate the correction data.

## Background
CROSS REFERENCE TO RELATED APPLICATION(S)
This application is a divisional of U.S. patent application Ser. No. 11/804,328, filed on May 16, 2007 now U.S. Pat. No. 7,855,678, of B. Scherzinger et al., which is incorporated herein by reference in its entirety.


FIELD OF THE INVENTION
At least one embodiment of the present invention pertains to a global navigation satellite system (GNSS) aided inertial navigation system (INS) and, more particularly, to a GNSS-aided INS (GNSS-AINS) post-mission high accuracy position and orientation system.
BACKGROUND
A Global Navigation Satellite System (GNSS) is a navigation system that makes use of a constellation of satellites orbiting the earth to provide signals to a receiver on the earth that computes its position on the earth from those signals. Examples of such satellite systems are the NAVSTAR Global Positioning System (GPS) deployed and maintained by the United States, the GLONASS system deployed by the Soviet Union and maintained by the Russian Federation, and the GALILEO system currently being deployed by the European Union (EU).
Each GPS satellite transmits continuously using two radio frequencies in the L-band, referred to as L1 and L2, at respective frequencies of 1575.41 MHz and 1227.60 MHz. Two signals are transmitted on L1, one for civil users and the other for users authorized by the Unites States Department of Defense (DoD). One signal is transmitted on L2, intended only for DoD-authorized users. Each GPS signal has a carrier at the L1 and L2 frequencies, a pseudo-random number (PRN) code, and satellite navigation data. Two different PRN codes are transmitted by each satellite: a coarse acquisition (C/A) code and a precision (P/Y) code which is encrypted for use by authorized users. A GPS receiver designed for precision positioning contains multiple channels, each of which can track the signals on both L1 and L2 frequencies from a GPS satellite in view above the horizon at the receiver antenna, and from these computes the observables for that satellite comprising the L1 pseudorange, possibly the L2 pseudorange and the coherent L1 and L2 carrier phases. Coherent phase tracking implies that the carrier phases from two channels assigned to the same satellite and frequency will differ only by an integer number of cycles.
Each GLONASS satellite transmits continuously using two radio frequency bands in the L-band, also referred to as L1 and L2. Each satellite transmits on one of multiple frequencies within the L1 and L2 bands respectively centered at frequencies of 1602.0 MHz and 1246.0 MHz. The code and carrier signal structure is similar to that of NAVSTAR. A GNSS receiver designed for precision positioning contains multiple channels each of which can track the signals from both GPS and GLONASS satellites on their respective L1 and L2 frequencies, and generate pseudorange and carrier phase observables from these. Future generations of GNSS receivers will include the ability to track signals from all deployed GNSSs.
The purpose of an AINS is to compute navigation data comprising vehicle position, velocity, acceleration, orientation (e.g., roll, pitch, heading) and angular rate via the combination of an inertial navigation system (INS) and aiding navigation sensors. A GNSS-aided INS uses one or more receivers capable of receiving and processing signals from one or more GNSS's as an aiding sensor. GNSS-AINS has been successfully demonstrated as an accurate source of position and orientation information for various survey applications from a moving platform. One of the most significant achievements in recent years is the successful demonstration and subsequent deployment of a GNSS-AINS for direct georeferencing of aerial photogrammetry images. Other applications include mobile mapping/survey from a land vehicle and sea floor bathymetry from a survey vessel.
To achieve accurate positioning of a mobile platform with a GNSS-AINS, relative or differential positioning methods are commonly employed. These methods use a reference GNSS receiver located at a known position, in addition to the data from the INS and the rover GNSS receiver (both on the mobile platform), to compute the position of the mobile platform relative to the reference receiver. The most accurate known method uses relative GNSS carrier phase interferometry between the rover and reference GNSS antennas plus resolution of integer wavelength ambiguities in the differential phases to achieve centimeter-level positioning accuracies. These differential GNSS methods are predicated on the near exact correlation of several common errors in the rover and reference observables. They include ionospheric and tropospheric signal delay errors, satellite orbit and clock errors, and receiver clock errors.
When the baseline length between the mobile platform and the reference receiver does not exceed 10 kilometers, which is normally considered a short baseline condition, the ionospheric and tropospheric signal delay errors in the observables from the rover and reference receivers are almost exactly the same. These atmospheric delay errors therefore cancel in the rover-reference differential GNSS observables, and the carrier phase ambiguity resolution process required for achieving centimeter-level relative positioning accuracy is not perturbed by them. If the baseline length increases beyond 10 kilometers (considered a long baseline condition), these errors at the rover and reference receiver antennas become increasingly different, so that their presence in the rover-reference differential GNSS observables and their influence on the ambiguity resolution process increases. Ambiguity resolution on single rover-reference receiver baselines beyond 10 kilometers becomes increasingly unreliable. This attribute limits the mobility of a GNSS-AINS with respect to a single reference receiver, and essentially makes it unusable on a mobile mapping platform that covers large distances as part of its mission, such as an aircraft.
A network GNSS method computes the position of a rover receiver using reference observables from three or more reference receivers that approximately surround the rover receiver trajectory. This implies that the rover receiver trajectory is mostly contained by a closed polygon whose vertices are the reference receiver antennas. The rover receiver can move a few kilometers outside this polygon without significant loss of positioning accuracy. A network GNSS algorithm calibrates the ionospheric and tropospheric signal delays at each reference receiver position and then interpolates and possibly extrapolates these to the rover position to achieve better signal delay cancellation on long baselines that could be had with a single reference receiver. Various methods of signal processing can be used, however they all yield essentially the same performance improvement on long baselines. As with single baseline GNSS, known GNSS solutions are still inadequate for a mobile mapping platform that covers large distances as part of its mission, such as an aircraft.
Another problem associated with mobile mapping/survey applications is an insufficiently fast recovery of positioning accuracy after a loss of the rover GNSS signal. The typical time to recovery of reliable precise positioning accuracy is 15-60 seconds, depending on the number of observables and their geometry used in the position solution. Such signal outages tend to occur on an aircraft engaged in a survey mission when the aircraft executes rapid high bank-angle turns (“sharp turns”) from one survey line to the next. Sharp turns between survey lines provide the most economical execution of a survey mission. Typical survey trajectories include many parallel survey lines joined by 180-degree turns. Consequently these sharp turns and resulting signal outages can occur frequently. Previous GNSS-AINS implementations for this application required the pilot to fly low bank angle turns (“flat turns”) to maintain the rover GNSS antenna orientation toward the sky and thereby avoid GNSS signal loss. Such flat turns required significantly longer times to execute than sharp turns, resulting in additional aircraft operation expenses.
FIG. 1 shows a known architecture for an AINS. The IMU 1 generates incremental velocities and incremental angles at the IMU sampling rate, which is typically 50 to 500 samples per second. The corresponding IMU sampling time interval is the inverse of the IMU sampling rate, typically 1/50 to 1/500 seconds. The incremental velocities are the specific forces from the IMU accelerometers integrated over the IMU sampling time interval. The incremental angles are the angular rates from gyroscopes in the IMU 1, integrated over the IMU sampling time interval. The inertial navigator 2 receives the inertial data from the IMU and computes the current IMU position (typically latitude, longitude and altitude), velocity (typically North, East and Down components) and orientation (roll, pitch and heading) at the IMU sampling rate.
The aiding sensors 5 are any sensors that provide navigation information that is statistically independent of the inertial navigation solution that the INS generates. Examples of aiding sensors are one or more GNSS receivers, an odometer or distance measuring indicator (DMI), and a Doppler radar velocity detector.
The purpose of the Kalman filter 4 in the AINS configuration is to estimate the errors in the inertial navigator mechanization and the inertial sensor errors. The Kalman filter 5 does this by comparing the INS navigation data with comparable data from the aiding sensors 5. The closed-loop error controller 3 then corrects the inertial navigator 2 to achieve a navigation accuracy improvement over what an unaided inertial navigator would be capable of achieving.
The Kalman filter 4 implements a recursive minimum-variance estimation algorithm that computes an estimate of a state vector based on constructed measurements. The measurements typically comprise computed differences between the inertial navigation solution elements and corresponding data elements from the aiding sensors. For example, an inertial-GNSS position measurement comprises the differences in the latitudes, longitudes and altitudes respectively computed by the inertial navigator and a GNSS receiver. The true positions cancel in the differences, so that the differences in the position errors remain. A Kalman filter designed for integration of an INS and aiding sensors will typically estimate the errors in the INS and aiding sensors. The INS errors typically comprise the following: inertial North, East and Down position errors; inertial North, East and Down velocity errors; inertial platform misalignment errors; accelerometer biases; and gyro biases. Aiding sensor errors can include the following: GNSS North, East and Down position errors; GNSS carrier phase ambiguities; and DMI scale factor error.
The error controller 3 computes a vector of resets from the INS error estimates generated by the Kalman filter and applies these to the inertial navigator integration processes, thereby regulating the inertial navigator errors in a closed-loop error control mechanization. This method of INS error control causes the inertial navigator errors to be continuously regulated and hence maintained at significantly smaller magnitudes than an uncontrolled or free-inertial navigator would be capable of achieving.
Kinematic ambiguity resolution (KAR) satellite navigation is a technique used in applications requiring high position accuracy such as land survey and construction and agriculture, based on the use of carrier phase measurements of satellite positioning system signals, where a single reference station provides the real-time corrections with high accuracy. KAR combines the L1 and L2 carrier phases from the rover and reference receivers so as to establish a relative phase interferometry position of the rover antenna with respect to the reference antenna. A coherent L1 or L2 carrier phase observable can be represented as a precise pseudorange scaled by the carrier wavelength and biased by an integer number of unknown cycles known as cycle ambiguities. Differential combinations of carrier phases from the rover and reference receivers result in the cancellation of all common mode range errors except the integer ambiguities. An ambiguity resolution algorithm uses redundant carrier phase observables from the rover and reference receivers, and the known reference antenna position, to estimate and thereby resolve these ambiguities.
Once the integer cycle ambiguities are known, the rover receiver can compute its antenna position with accuracies generally on the order of a few centimeters, provided that the rover and reference antennas are not separated by more than 10 kilometers. This method of precise positioning performed in real-time is commonly referred to as real-time kinematic (RTK) positioning.
The reason for the rover-reference separation constraint is that KAR positioning relies on near exact correlation of atmospheric signal delay errors between the rover and reference receiver observables, so that they cancel in the rover-reference observables combinations (for example, differences between rover and reference observables per satellite). The largest error in carrier-phase positioning solutions is introduced by the ionosphere, a layer of charged gases surrounding the earth. When the signals radiated from the satellites penetrate the ionosphere on their way to the ground-based receivers, they experience delays in their signal travel times and shifts in their carrier phases. A second significant source of error is the troposphere delay. When the signals radiated from the satellites penetrate the troposphere on their way to the ground-based receivers, they experience delays in their signal travel times that are dependent on the temperature, pressure and humidity of the atmosphere along the signal paths. Fast and reliable positioning requires good models of the spatio-temporal correlations of the ionosphere and troposphere to correct for these non-geometric influences.
When the rover-reference separation exceeds 10 kilometers, the atmospheric delay errors become decorrelated and do not cancel exactly. The residual errors can now interfere with the ambiguity resolution process and thereby make correct ambiguity resolution and precise positioning less reliable.
The rover-reference separation constraint has made KAR positioning with a single reference receiver unsuitable for certain mobile positioning applications such as aircraft positioning for conducting aerial surveys. An aircraft on a survey mission will typically exceed this constraint. One solution is to set up multiple reference receivers along the aircraft's intended flight path so that at least one reference receiver falls within a 10 km radius of the aircraft's position. This approach can become time-consuming and expensive if the survey mission covers a large project area.
Network GNSS methods using multiple reference stations of known location allow correction terms to be extracted from the signal measurements. Those corrections can be interpolated to all locations within the network. Network KAR is a technique that can achieve centimeter-level positioning accuracy on large project areas using a network of reference GNSS receivers. This technique operated in real-time is commonly referred to as network RTK. The network KAR algorithm combines the pseudorange and carrier phase observables from the reference receivers as well as their known positions to compute calibrated spatial and temporal models of the ionospheric and tropospheric signal delays over the project area. These calibrated models provide corrections to the observables from the rover receiver, so that the rover receiver can perform reliable ambiguity resolution on combinations of carrier phase observables from the rover and some or all reference receivers. The number of reference receivers required to instrument a large project area is significantly less than what would be required to compute reliable single baseline KAR solutions at any point in the project area. See, for example, U.S. Pat. No. 5,477,458, “Network for Carrier Phase Differential GPS Corrections,” and U.S. Pat. No. 5,899,957, “Carrier Phase Differential GPS Corrections Network”. See also Liwen Dai et al., “Comparison of Interpolation Algorithms in Network-Based GPS Techniques,” Journal of the Institute of Navigation, Vol. 50, No. 4 (Winter 2003-2004) for a comparison of different network GNSS implementations and comparisons of their respective performances.
A virtual reference station (VRS) network method is a particular implementation of a network GNSS method that is characterized by the method by which it computes corrective data for the purpose of rover position accuracy improvement. A VRS network method comprises a VRS observables generator and a single-baseline differential GNSS position generator such as a GNSS receiver with differential GNSS capability. The VRS observables generator has as input data the pseudorange and carrier phase observables on two or more frequencies from N reference receivers, each tracking signals from M GNSS satellites. The VRS observables generator outputs a single set of M pseudorange and carrier phase observables that appear to originate from a virtual reference receiver at a specified position (hereafter called the VRS position) within the boundaries of the network defined by a polygon having all or some of the N reference receivers as vertices. The dominant observables errors comprising a receiver clock error, satellite clock errors, ionospheric and tropospheric signal delay errors and noise all appear to be consistent with the VRS position. The single-baseline differential GNSS position generator implements a single-baseline differential GNSS position algorithm, of which numerous examples have been described in the literature. B. Hofmann-Wellenhof et al., Global Positioning System: Theory and Practice, 5th Edition, 2001 (hereinafter “Hofmann-Wellenhof [2001]”), gives comprehensive descriptions of different methods of differential GNSS position computation, ranging in accuracies from one meter to a few centimeters. The single-baseline differential GNSS position algorithm typically computes differences between the rover and reference receiver observables to cancel atmospheric delay errors and other common mode errors such as orbital and satellite clock errors. The VRS position is usually specified to be close to the roving receiver position so that the actual atmospheric errors in the roving observables approximately cancel the estimated atmospheric errors in the VRS observables in the rover-reference observables differences.
The VRS observables generator computes the synthetic observables at each sampling epoch (typically once per second) from the geometric ranges between the VRS position and the M satellite positions as computed using well-known algorithms such as given in “Naystar GPS Space Segment/Navigation User Interface,” ICD-GPS-200C-005R1, 14 Jan. 2003 (hereinafter “ICD-GPS-200”). It estimates the typical pseudorange and phase errors comprising receiver clock error, satellite clock errors, ionospheric and tropospheric signal delay errors and noise, applicable at the VRS position from the N sets of M observables generated by the reference receivers, and adds these to the synthetic observables.
A network RTK system operated in real time requires each receiver to transmit its observables to a network server computer that computes and transmits the corrections and other relevant data to the rover receiver. The reference receivers plus hardware to assemble and broadcast observables are typically designed for this purpose and are installed specifically for the purpose of implementing the network. Consequently, those receivers are called dedicated (network) reference receivers.
An example of a VRS network is designed and manufactured by Trimble Navigation Limited, of Sunnyvale, Calif. The VRS network as delivered by Trimble includes a number of dedicated reference stations, a VRS server, multiple server-reference receiver bi-directional communication channels, and multiple server-rover bi-directional data communication channels. Each server-rover bi-directional communication channel serves one rover. The reference stations provide their observables to the VRS server via the server-reference receiver bi-directional communication channels. These channels can be implemented by a public network such as the Internet. The bi-directional server-rover communication channels can be radio modems or cellular telephone links, depending on the location of the server with respect to the rover.
The VRS server combines the observables from the dedicated reference receivers to compute a set of synthetic observables at the VRS position and broadcasts these plus the VRS position in a standard differential GNSS (DGNSS) message format, such as RTCM, RTCA or CMR. The synthetic observables are the observables that a reference receiver located at the VRS position would measure. The VRS position is selected to be close to the rover position so that the rover-VRS separation is less than a maximum separation considered acceptable for the application. Consequently, the rover receiver must periodically transmit its approximate position to the VRS server. The main reason for this particular implementation of a real-time network RTK system is compatibility with RTK survey GNSS receivers that are designed to operate with a single reference receiver.
Descriptions of the VRS technique are provided in U.S. Pat. No. 6,324,473 of Eschenbach (hereinafter “Eschenbach”) (see particularly col. 7, line 21 et seq.) and U.S. Patent application publication no. 2005/0064878, of B. O'Meagher (hereinafter “O'Meagher”), which are assigned to Trimble Navigation Limited; and in H. Landau et al., Virtual Reference Stations versus Broadcast Solutions in Network RTK, GNSS 2003 Proceedings, Graz, Austria (2003); each of which is incorporated herein by reference.



BRIEF DESCRIPTION OF THE DRAWINGS
One or more embodiments of the present invention are illustrated by way of example and not limitation in the figures of the accompanying drawings, in which like references indicate similar elements and in which:
FIG. 1 illustrates a prior art AINS;
FIG. 2 shows a GNSS-AINS vehicle subsystem that may be used to acquire data for the PM-HAPOS;
FIG. 3 illustrates the network adjustment subsystem of the Post-Mission High Accuracy Position and Orientation System (PM-HAPOS);
FIG. 4 shows the post-processing subsystem of the PM-HAPOS;
FIG. 5 shows the VRS module of the post-processing subsystem;
FIG. 6 shows the integrated inertial navigation (IIN) module of the post-processing subsystem;
FIG. 7 is a flow diagram illustrating an example of the use and operation of the PM-HAPOS;
FIG. 8 shows an embodiment of the PM-HAPOS;
FIG. 9 shows a VRS estimation data and processing flow diagram;
FIG. 10 shows an ionosphere delay shell model cross-section for one satellite and two GNSS receivers;
FIG. 11 shows the same ionosphere delay shell model cross-section for one satellite and one GNSS receiver with the zenith angle used in the ionosphere delay model;
FIG. 12 shows the zenith angle at the receiver position that is used in the troposphere delay model; and
FIG. 13 shows the VRS observables generation data and processing flow diagram.



DETAILED DESCRIPTION
A Post-Mission High Accuracy Position and Orientation System (PM-HAPOS) is described below. Note that references in this document to “an embodiment”, “one embodiment”, or the like, mean that the particular feature, structure or characteristic being described is included in at least one embodiment of the present invention. Occurrences of such phrases in this specification do not necessarily all refer to the same embodiment.
The PM-HAPOS introduced here includes processing software and circuitry to implement a GNSS-AINS integrated with a network GNSS solution. A network of GNSS reference receivers that surround the mobile platform trajectory (“project area”) is used to overcome the limitation on baseline length. The techniques introduced here use an implementation of inertially-aided RTK (IARTK) with GNSS. IARTK integrates the AINS Kalman filter and RTK engine, which has the benefit of significantly accelerating the ambiguity resolution process (e.g., from a typical 15-30 seconds to fix, to about 1 second) without compromising reliability. The PM-HAPOS operates on data recorded during one or more survey missions, and therefore includes a post-mission subsystem (e.g., a software package) that implements a GNSS-AINS integrated with a network GNSS solution. A particular embodiment described below implements a GNSS-AINS capable of processing reference observables from multiple reference receivers with a VRS algorithm.
The term “VRS”, as used henceforth in this document, is used as shorthand to refer to any system or technique which has the characteristics and functionality of VRS described or referenced herein and is not necessarily limited to a system from Trimble Navigation Ltd. Hence, the term “VRS” is used in this document merely to facilitate description and is used without derogation to any trademark rights of Trimble Navigation Ltd. or any subsidiary thereof or other related entity.
Two possible applications of the PM-HAPOS introduced here are aerial photogrammetry and laser altimetry. Both applications require accurate position and orientation time histories of a camera or LIDAR to assign geographic position coordinates to the image pixels or laser ground spots, a process known as georeferencing. One advantage of using the PM-HAPOS introduced here in these applications is that a large project area can be instrumented with a few reference receivers that are located inside the project area or near its perimeter. For example, a project area with dimensions 100 km×100 km can be instrumented with as few as four reference receivers evenly distributed around the perimeter of the project area. These can be dedicated receivers or permanent receivers.
The PM-HAPOS introduced here can achieve several important performance attributes that previous GNSS-AINS implementations cannot achieve. These include:
1) Providing positioning with accuracy in the range of a few centimeters over large project areas in which the shortest baseline to a reference receiver is always long, i.e., greater than 20 kilometers.
2) Allowing for fast and reliable recovery of this positioning accuracy (e.g., within about 1 to 2 seconds) following a loss of rover GNSS signal outage. Such signal outages tend to occur on an aircraft engaged in a survey mission when the aircraft executes a high bank-angle turn from one survey line to the next. Typical survey trajectories include many parallel survey lines joined by 180-degree turns; consequently, these signal outages can occur frequently. Sharp turns provide the most economical execution of a survey mission. Previous GNSS-AINS implementations for this application required the pilot to fly flat turns with low bank angles to maintain the rover GNSS antenna orientation toward the sky and thereby no signal loss. Such flat turns required significantly longer times to execute than sharp turns, resulting in additional aircraft operation expenses.
It is to be noted that the techniques introduced here are not necessarily limited to these applications.
In this description, the terms “rover” and “mobile platform” are used interchangeably to refer to a vehicle that carries the survey sensors during a mobile survey/mapping mission. It is noted, however, that in other embodiments, the mobile platform or rover need not be a vehicle; for example, it could be a person.
The techniques introduced here use a network of GNSS reference receivers that surround the project area, to overcome the limitation on baseline length. These reference receivers can be a combination of dedicated reference receivers installed by the user and/or permanent receivers that are part of a network installed by some other agency, such as a local or national government for some other purpose such as earthquake detection or atmospheric research. Examples of such permanent receiver networks are the Continuously Operating Reference System (CORS) and the International GNSS System (IGS). Typically these permanent receivers provide access and data download via the Internet to the general public or to service subscribers.
In at least one embodiment, the PM-HAPOS includes a network adjustment subsystem 7 and a post-processing subsystem 36, as shown in FIG. 8. The network adjustment subsystem 7 and post-processing subsystem 36 may be implemented in a single package or product 39, such as a software application that can be run on a conventional personal computer or server-class computer.
As described further below, the network adjustment subsystem 7 evaluates and corrects published antenna positions 6 for selected GNSS reference receivers. The post-processing subsystem 36 operates on data 20 acquired from the network of GNSS reference receivers as well as IMU data 15, rover GNSS data 16 and other aiding data 17 previously acquired and recorded during a mobile mapping/survey mission by a GNSS-AINS vehicle subsystem on the vehicle that carries the survey sensor. The output of the PM-HAPOS is a best estimate of trajectory (BET) 41, which is a highly accurate position and orientation solution for the mobile platform over the duration of the mapping/survey mission.
FIG. 2 shows an example of the vehicle subsystem. The purpose of the vehicle subsystem 9 is to record IMU data, rover GNSS receiver data and possibly other aiding sensor data that are synchronized with the survey sensor data. If, for example, the vehicle is an aircraft and the survey sensor is an aerial camera, then the vehicle subsystem records IMU and rover GNSS data for the duration of an aerial photogrammetry mission, referred to as the “data acquisition period”.
The vehicle subsystem 9 includes an IMU 10 mounted on or near the survey sensor so as to measure the sensor's accelerations and angular rates. The vehicle subsystem 9 further includes the rover GNSS receiver 11 and antenna and possibly other aiding sensors 12. The rover GNSS receiver 11 and antenna are an aiding sensor. The other aiding sensors 12 may include, for example, any one or more of the following: an odometer on a land vehicle that measures the distance traveled; a two-antenna GNSS compass that measures vehicle heading; a magnetic compass that measures vehicle heading; a laser distance meter that measures one or more distances to a fixed position; another position sensor such as a LORAN-C receiver; another velocity sensor such as a speed log on a ship or boat.
The vehicle subsystem 9 further includes a synchronization device 13 that generates a survey sensor synchronization signal. For example, on an aerial camera, the synchronization device 13 could be a mid-exposure pulse generator.
The vehicle subsystem 9 further includes a data acquisition computer 14 that receives the data streams from the IMU 10, GNSS receiver 11 and other aiding sensors 12, and records these to data files 15, 16 and 17, respectively, on one or more mass storage devices 37, such as one or more disk drives and/or flash memory cards. The data acquisition computer 14 can be part of a system with other functionality. For example, the data acquisition function can be part of an Applanix Position and Orientation System (POS), available from Trimble Navigation Limited, which also computes a real-time position and orientation solution.
FIG. 3 illustrates the network adjustment subsystem. The network adjustment subsystem 7 can be (or operate within), for example, a personal computer or server-class computer that runs network adjustment software. The network adjustment software evaluates and possibly corrects the published antenna positions for selected reference receivers (not shown), which may be permanent and/or dedicated reference receivers. The network adjustment software inputs an array of files 6 of GNSS reference receiver observables, which may be downloaded from a publicly accessible source over a network such as the Internet. Based on the input files 6, the network adjustment software computes the relative positions of the antennas of the reference receivers and stores these positions in a file 8. To accomplish this, the network adjustment software can implement any one of a number of well-known, conventional algorithms currently used for network adjustment of static GNSS receivers. The file 8 may include an assessment of data quality that a network adjustment typically generates.
FIG. 4 shows an example of the post-processing subsystem 36 of the PM-HAPOS. The post-processing subsystem 36 can be (or can operate within), for example, a personal computer, a server-class computer, or a set of two or more such computers on a network, which runs GNSS-AINS post-processing software. The post-processing software includes the following modules, which can be executed by one or more programmable general-purpose microprocessors: a VRS module 18, an integrated inertial navigation (IIN) module 19, and a smoother module 40. Note that in other embodiments, one or more of these modules, or portions thereof, can be implemented in the form of specially-designed hardware circuitry, such as one or more application specific integrated circuits (ASICs), programmable logic devices (PLDs), programmable gate arrays (PGAs), or the like.
As noted above, the rover GNSS receiver 11 is an aiding sensor. A reference GNSS receiver allows the Kalman filter in the IIN 19 to compute differential GNSS observables and thereby cancel the dominant errors in the rover GNSS observables. An AINS using differential GNSS observables generates a more accurate AINS navigation solution than it could by using uncorrected GNSS observables. In the technique introduced here, the VRS module 18 receives and uses reference GNSS observables from multiple fixed-location GNSS reference receivers distributed around the project area. The VRS module 18 may implement the VRS technique described by Eschenbach and O'Meagher (mentioned above). Note that VRS software which implements that technique can operate with any set of reference receiver observables, including permanent reference receiver observables. The rover GNSS data 16 and VRS GNSS data 24 are fed to the Kalman filter in the IIN 19 for the purpose of obtaining good control of the inertial navigation errors, to thereby generate an accurate navigation solution.
The VRS module 18 is essentially a network KAR subsystem. It receives as input the adjusted antenna positions 8 as well as the reference GNSS data 20 and rover GNSS data 16 that were recorded during the data acquisition period (i.e., during the survey mission), and uses them to compute and output a set of VRS GNSS data 24. The IIN module 19 inputs the VRS GNSS data 24 and data files 15, 16 and 17 (the IMU data, rover GNSS data, and data from other aiding sensors, respectively), and uses them to compute and output a set of smoother data 29. The smoother 40 inputs the smoother data 29 and uses that data to compute and output a final set of high-accuracy position and orientation data 41 for the rover for the data acquisition period; this set of position and orientation data is the BET, which is a highly accurate position and orientation solution and which is the final output of the PM-HAPOS.
The VRS module 18 includes VRS server software to compute a set of “synthetic” observables, i.e., observables for a virtual reference station (VRS). In certain embodiments, the position of the virtual reference station is taken as the geographic center of the project area. Note that the rover GNSS data 16 is used by the VRS module 18 to allow it to interpolate atmospheric delays to the recorded rover positions and apply those delays to the synthetic VRS observables.
The VRS module 18 is further illustrated in FIG. 5. The VRS module 18 computes a set of VRS GNSS data 24, which is a file of synthetic VRS observables and the VRS antenna position (i.e., the GNSS observables and antenna position of a virtual reference station (VRS)). The VRS module 18 includes a VRS estimation module 21, and a VRS data generation module 22. The VRS estimation module 21 implements a VRS estimation algorithm (described below) that estimates the parameters required to construct the correlated errors in the VRS observables. The VRS data generation module 22 inputs the estimated parameters from the VRS estimation module and implements a VRS data generation algorithm (described below) that computes the synthetic observables at the VRS position, based on the approximate rover antenna position contained in the recorded rover GNSS data 16 and the atmospheric error model.
The following is a description of the input data 8, 16 and 20 to the VRS estimation algorithm implemented by the VRS estimation module 21. The network comprises N reference receivers whose antennas are located at positions given by the Cartesian coordinates (xk, yk, zk) with respect to a terrestrial reference frame, such as WGS84 for k=1, 2, . . . , N. All subsequent Cartesian position coordinate specifications are given with respect to this coordinate frame, hereafter referred to as the “terrestrial reference frame”. The transformation from these coordinates to any other is unique and well-defined, and therefore does not limit the generality of the algorithm.
Each receiver tracks L1 and L2 signals from M GNSS satellites. For the mth tracked satellite in m=1, 2, . . . , M, the nth reference receiver in n=1, 2, . . . , N generates the following observables on frequencies i=1 (L1) and 2 (L2): pseudorange observables βn,mi and carrier phase observables φn,mi.
All reference receivers generate the same broadcast ephemeris and satellite clock parameters for all satellites tracked by the receiver. These well-known parameters are specified in ICD-GPS-200 (referenced previously) and therefore not repeated here.
The precise ephemeris and clock parameters comprise periodic satellite positions in Cartesian coordinates with respect to the terrestrial reference frame and periodic satellite clock offset and drift parameters. These are available from various agencies that include NASA's Jet Propulsion Laboratory (JPL) and the International GNSS Service (IGS).
The VRS position is specified by its terrestrial reference frame coordinates (xVRS, yVRS, zVRS).
The Geometry of the Space Segment (Positions of Orbiting Satellites as viewed from each reference receiver) varies continuously, and the number of satellites M visible at each reference receiver changes with time t. The physical separation of any pair of reference receivers in the network is typically on the order of 10-100 km. The satellites are typically more widely dispersed, and therefore, their signals received at a given reference receiver probe largely different sections of the sky. A strong correlation between the ionospheric effects from receiver to receiver is therefore assumed, while the ionospheric effects from satellite to satellite are considered independent. Each satellite is (at this stage of processing) treated independently of the others for the entire period during which it is visible to the network. Differences between state estimates among different satellites are built later so that errors common to the satellites can be eliminated.
The following is a description of the VRS estimation algorithm, according to an embodiment of the invention. FIG. 9 illustrates the combined VRS estimation algorithm, comprising M ionosphere filters 103, one for each of the M satellites being tracked, M code filters 104, one for each of the M satellites being tracked, one geometry filter 105, and one collating filter 109. The input data 100 to be processed at each measurement epoch comprises M sets of observables from each of N reference receivers. Each set of observables comprises L1 and L2 pseudoranges and L1 and L2 carrier phases. The VRS estimation algorithm is an embodiment of the FAMCAR algorithm described in Ulrich Vollath, The Factorized Multi-Carrier Ambiguity Resolution (FAMCAR) Approach for Efficient Carrier Phase Ambiguity Estimation, Proceedings of ION GNSS 2004, Long Beach Calif., 21-24 Sep. 2004 (hereinafter “Vollath [2004]”).
The pseudorange or code observable from satellite m at carrier frequency generated by receiver n is modeled as follows:

ρn,mi=rn,m+c(δTn−δtm)+Tn,m+In,mi+ρn,mmp+μn,mi  (1)

where rn,m is the true range or distance between receiver antenna n and satellite m,

    
    
        δTn is the receiver clock offset,
    
    


δtm is the satellite clock offset,

    
    
        Tn,m is the troposphere delay in meters,
        In,mi is the ionosphere group delay in meters,
        δρn,mmp is the code multipath error resulting from reflections of signals in the surroundings of the receiver, and
        μn,mi is the code measurement noise generated by the receiver.
    
    


The carrier phase observable from satellite m at carrier frequency i generated by receiver n is modeled as follows:




  
    
      
        
          
            φ
            
              n
              ,
              m
            
            i
          
          +
          
            N
            
              n
              ,
              m
            
            i
          
        
        =
        
          
            
              -
              
                1
                
                  λ
                  i
                
              
            
            ⁢
            
              (
              
                
                  r
                  
                    n
                    ,
                    m
                  
                
                +
                
                  c
                  ⁡
                  
                    (
                    
                      
                        δ
                        ⁢
                        
                          
                        
                        ⁢
                        
                          T
                          n
                        
                      
                      -
                      
                        δ
                        ⁢
                        
                          
                        
                        ⁢
                        
                          t
                          m
                        
                      
                    
                    )
                  
                
                +
                
                  T
                  
                    n
                    ,
                    m
                  
                
                -
                
                  I
                  
                    n
                    ,
                    m
                  
                  i
                
                +
                
                  MP
                  
                    n
                    ,
                    m
                  
                  i
                
              
              )
            
          
          +
          
            η
            
              n
              ,
              m
            
            i
          
        
      
    
    
      
        (
        2
        )
      
    
  




where Nn,mi is the initial (theoretical) number of full wavelengths of the carrier frequency between reference receiver n and satellite m for a signal traveling in vacuum,

    
    
        MPn,mi is the phase multipath error resulting from reflections of signals in the surroundings of the receiver and on the centimeter level,
        nn,mi is the phase measurement noise generated by the receiver, and
        λi is the carrier wavelength.
    
    


Equation (2) characterizes the carrier phase as the integrated Doppler frequency, so that carrier phase increases in the negative direction as the range increases. Currently Naystar GPS offers signals at two wavelengths λ1=0.19029 m and λ2=0.24421 m. There is a known physical relationship between the ionospheric group delay for different wavelengths, which relates the effect experienced for waves of different frequencies to a first order approximation as follows




  
    
      
        
          
            I
            
              n
              ,
              m
            
            1
          
          
            I
            
              n
              ,
              m
            
            2
          
        
        =
        
          
            
              f
              2
              2
            
            
              f
              1
              2
            
          
          =
          
            
              λ
              1
              2
            
            
              λ
              2
              2
            
          
        
      
    
    
      
        (
        3
        )
      
    
  




This approximation is fully sufficient for purposes of the technique introduced here.
The troposphere delay Tn,m, the clock offsets δTn and δtm, and the true range between station and satellite rn,m are all independent of signal frequency. This fact can be exploited by taking the difference of the phase measurements for the station—satellite pairs to eliminate the frequency-independent parameters. From equation (2) the following geometry-free phase combination of L1 and L2 phases is obtained:




  
    
      
        
          
            
              
                φ
                
                  n
                  ,
                  m
                
                gf
              
              =
              
              ⁢
              
                
                  
                    λ
                    1
                    2
                  
                  
                    
                      λ
                      2
                      2
                    
                    -
                    
                      λ
                      1
                      2
                    
                  
                
                ⁢
                
                  (
                  
                    
                      
                        φ
                        
                          n
                          ,
                          m
                        
                        1
                      
                      ⁢
                      
                        λ
                        1
                      
                    
                    -
                    
                      
                        φ
                        
                          n
                          ,
                          m
                        
                        2
                      
                      ⁢
                      
                        λ
                        2
                      
                    
                  
                  )
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  -
                  
                    N
                    
                      n
                      ,
                      m
                    
                    gf
                  
                
                +
                
                  MP
                  
                    n
                    ,
                    m
                  
                  gf
                
                +
                
                  I
                  
                    n
                    ,
                    m
                  
                
                +
                
                  ɛ
                  
                    n
                    ,
                    m
                  
                  gf
                
              
            
          
        
      
    
    
      
        (
        4
        )
      
    
  
  
    
      
        
          where
          ⁢
          
            
          
          ⁢
          
            I
            
              n
              ,
              m
            
          
        
        =
        
          I
          
            n
            ,
            m
          
          1
        
      
    
    
      
        (
        5
        )
      
    
  
  
    
      
        
          N
          
            n
            ,
            m
          
          gf
        
        =
        
          
            
              λ
              1
              2
            
            
              
                λ
                2
                2
              
              -
              
                λ
                1
                2
              
            
          
          ⁢
          
            (
            
              
                
                  N
                  
                    n
                    ,
                    m
                  
                  1
                
                ⁢
                
                  λ
                  1
                
              
              -
              
                
                  N
                  
                    n
                    ,
                    m
                  
                  2
                
                ⁢
                
                  λ
                  2
                
              
            
            )
          
        
      
    
    
      
        (
        6
        )
      
    
  
  
    
      
        
          MP
          
            n
            ,
            m
          
          gf
        
        =
        
          
            
              λ
              1
              2
            
            
              
                λ
                2
                2
              
              -
              
                λ
                1
                2
              
            
          
          ⁢
          
            (
            
              
                MP
                
                  n
                  ,
                  m
                
                1
              
              -
              
                MP
                
                  n
                  ,
                  m
                
                2
              
            
            )
          
        
      
    
    
      
        (
        7
        )
      
    
  
  
    
      
        
          ɛ
          
            n
            ,
            m
          
          gf
        
        =
        
          
            
              λ
              1
              2
            
            
              
                λ
                2
                2
              
              -
              
                λ
                1
                2
              
            
          
          ⁢
          
            (
            
              
                
                  η
                  
                    n
                    ,
                    m
                  
                  1
                
                ⁢
                
                  λ
                  1
                
              
              -
              
                
                  η
                  
                    n
                    ,
                    m
                  
                  2
                
                ⁢
                
                  λ
                  2
                
              
            
            )
          
        
      
    
    
      
        (
        8
        )
      
    
  




Note that Nn,mgf is not an integer and has units of distance (meters). The purpose of constructing and then processing the measurements φn,mgf is to determine the parameters Nn,mgf, MPn,mgf and In,m within a consistent framework and consistent error estimates.
The linear ionosphere delay model of equation (3) allows the construction of L1 and L2 code and carrier phase combinations without ionosphere delay errors as follows. The ionosphere-free pseudorange is




  
    
      
        
          
            
              
                ρ
                
                  n
                  ,
                  m
                
                if
              
              =
              
              ⁢
              
                γ
                (
                
                  
                    ρ
                    
                      n
                      ,
                      m
                    
                    1
                  
                  -
                  
                    
                      
                        λ
                        1
                        2
                      
                      
                        λ
                        2
                        2
                      
                    
                    ⁢
                    
                      ρ
                      
                        n
                        ,
                        m
                      
                      2
                    
                  
                
                )
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  (
                  
                    
                      r
                      
                        n
                        ,
                        m
                      
                    
                    +
                    
                      c
                      ⁡
                      
                        (
                        
                          
                            δ
                            ⁢
                            
                              
                            
                            ⁢
                            
                              T
                              n
                            
                          
                          -
                          
                            δ
                            ⁢
                            
                              
                            
                            ⁢
                            
                              t
                              m
                            
                          
                        
                        )
                      
                    
                    +
                    
                      T
                      
                        n
                        ,
                        m
                      
                    
                  
                  )
                
                +
                
                  mp
                  
                    n
                    ,
                    m
                  
                  if
                
                +
                
                  μ
                  
                    n
                    ,
                    m
                  
                  if
                
              
            
          
        
      
    
    
      
        (
        9
        )
      
    
  
  
    
      
        where
        ⁢
        
          

        
        ⁢
        
          
            γ
            if
          
          =
          
            1
            
              1
              -
              
                
                  λ
                  1
                  2
                
                
                  λ
                  2
                  2
                
              
            
          
        
      
    
    
      
        (
        10
        )
      
    
  
  
    
      
        
          mp
          
            n
            ,
            m
          
          if
        
        =
        
          
            γ
            if
          
          (
          
            
              mp
              
                n
                ,
                m
              
              1
            
            -
            
              
                
                  λ
                  1
                  2
                
                
                  λ
                  2
                  2
                
              
              ⁢
              
                mp
                
                  n
                  ,
                  m
                
                2
              
            
          
          )
        
      
    
    
      
        (
        11
        )
      
    
  
  
    
      
        
          μ
          
            n
            ,
            m
          
          if
        
        =
        
          
            γ
            if
          
          (
          
            
              μ
              
                n
                ,
                m
              
              1
            
            -
            
              
                
                  λ
                  1
                  2
                
                
                  λ
                  2
                  2
                
              
              ⁢
              
                μ
                
                  n
                  ,
                  m
                
                2
              
            
          
          )
        
      
    
    
      
        (
        12
        )
      
    
  




The ionosphere-free carrier phase is




  
    
      
        
          
            
              
                φ
                
                  n
                  ,
                  m
                
                if
              
              =
              
              ⁢
              
                
                  φ
                  
                    n
                    ,
                    m
                  
                  1
                
                -
                
                  
                    
                      λ
                      1
                    
                    
                      λ
                      2
                    
                  
                  ⁢
                  
                    φ
                    
                      n
                      ,
                      m
                    
                    2
                  
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    -
                    
                      1
                      
                        λ
                        if
                      
                    
                  
                  ⁢
                  
                    (
                    
                      
                        r
                        
                          n
                          ,
                          m
                        
                      
                      +
                      
                        c
                        ⁡
                        
                          (
                          
                            
                              δ
                              ⁢
                              
                                
                              
                              ⁢
                              
                                T
                                n
                              
                            
                            -
                            
                              δ
                              ⁢
                              
                                
                              
                              ⁢
                              
                                t
                                m
                              
                            
                          
                          )
                        
                      
                      +
                      
                        T
                        
                          n
                          ,
                          m
                        
                      
                      +
                      
                        MP
                        
                          n
                          ,
                          m
                        
                        i
                      
                    
                    )
                  
                
                -
                
                  N
                  
                    n
                    ,
                    m
                  
                  if
                
                +
                
                  ɛ
                  
                    n
                    ,
                    m
                  
                  if
                
              
            
          
        
      
    
    
      
        (
        13
        )
      
    
  
  
    
      
        where
        ⁢
        
          

        
        ⁢
        
          
            N
            
              n
              ,
              m
            
            if
          
          =
          
            
              N
              
                n
                ,
                m
              
              1
            
            -
            
              
                
                  λ
                  1
                
                
                  λ
                  2
                
              
              ⁢
              
                N
                
                  n
                  ,
                  m
                
                2
              
            
          
        
      
    
    
      
        (
        14
        )
      
    
  
  
    
      
        
          ɛ
          
            n
            ,
            m
          
          if
        
        =
        
          
            η
            
              n
              ,
              m
            
            1
          
          -
          
            
              
                λ
                1
              
              
                λ
                2
              
            
            ⁢
            
              η
              
                n
                ,
                m
              
              2
            
          
        
      
    
    
      
        (
        15
        )
      
    
  
  
    
      
        
          1
          
            λ
            if
          
        
        =
        
          
            
              
                λ
                1
              
              ⁡
              
                (
                
                  
                    1
                    
                      λ
                      1
                      2
                    
                  
                  -
                  
                    1
                    
                      λ
                      2
                      2
                    
                  
                
                )
              
            
            ⇔
            
              λ
              if
            
          
          =
          
            
              
                λ
                1
              
              ⁢
              
                λ
                2
                2
              
            
            
              
                λ
                2
                2
              
              -
              
                λ
                1
                2
              
            
          
        
      
    
    
      
        (
        16
        )
      
    
  




Note that Nn,mif is not an integer and has units of cycles. The purpose of constructing and then processing the measurements φn,mif is to determine the parameters Nn,mif, MPn,mif and Tn,m within a consistent framework and consistent error estimates.
The range-equivalent ionosphere-free carrier phase is given by




  
    
      
        
          
            
              
                θ
                
                  n
                  ,
                  m
                
                if
              
              =
              
              ⁢
              
                
                  -
                  
                    λ
                    if
                  
                
                ⁢
                
                  φ
                  
                    n
                    ,
                    m
                  
                  if
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  r
                  
                    n
                    ,
                    m
                  
                
                +
                
                  c
                  ⁡
                  
                    (
                    
                      
                        δ
                        ⁢
                        
                          
                        
                        ⁢
                        
                          T
                          n
                        
                      
                      -
                      
                        δ
                        ⁢
                        
                          
                        
                        ⁢
                        
                          t
                          m
                        
                      
                    
                    )
                  
                
                +
                
                  T
                  
                    n
                    ,
                    m
                  
                
                +
                
                  MP
                  
                    n
                    ,
                    m
                  
                  i
                
                +
                
                  
                    λ
                    if
                  
                  ⁢
                  
                    N
                    
                      n
                      ,
                      m
                    
                    if
                  
                
                +
                
                  ξ
                  
                    n
                    ,
                    m
                  
                  if
                
              
            
          
        
      
    
    
      
        (
        17
        )
      
    
  




where ξn,mif=−λifεn,mif.

The ionosphere-free code minus carrier observables combination is constructed to cancel geometric terms as follows:




  
    
      
        
          
            
              
                
                  ρ
                  
                    n
                    ,
                    m
                  
                  if
                
                -
                
                  θ
                  
                    n
                    ,
                    m
                  
                  if
                
              
              =
              
              ⁢
              
                
                  (
                  
                    
                      m
                      ⁢
                      
                        
                      
                      ⁢
                      
                        p
                        
                          n
                          ,
                          m
                        
                        if
                      
                    
                    +
                    
                      μ
                      
                        n
                        ,
                        m
                      
                      if
                    
                  
                  )
                
                -
                
                  (
                  
                    
                      MP
                      
                        n
                        ,
                        m
                      
                      i
                    
                    +
                    
                      
                        λ
                        if
                      
                      ⁢
                      
                        N
                        
                          n
                          ,
                          m
                        
                        if
                      
                    
                    +
                    
                      ξ
                      
                        n
                        ,
                        m
                      
                      if
                    
                  
                  )
                
              
            
          
        
        
          
            
              ≅
              
              ⁢
              
                
                  
                    -
                    
                      λ
                      if
                    
                  
                  ⁢
                  
                    N
                    
                      n
                      ,
                      m
                    
                    if
                  
                
                +
                
                  ɛ
                  
                    n
                    ,
                    m
                  
                  if
                
              
            
          
        
      
    
    
      
        (
        18
        )
      
    
  




where εn,mif=μn,mif−ξn,mif and mpn,mif−MPn,mi≈0, i.e. code and range-equivalent phase multipaths either cancel approximately or are small enough to be neglected.

The wide-lane carrier phase is given by




  
    
      
        
          
            
              
                φ
                
                  n
                  ,
                  m
                
                wl
              
              =
              
              ⁢
              
                
                  φ
                  
                    n
                    ,
                    m
                  
                  1
                
                -
                
                  φ
                  
                    n
                    ,
                    m
                  
                  2
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    -
                    
                      1
                      
                        λ
                        wl
                      
                    
                  
                  ⁢
                  
                    (
                    
                      
                        r
                        
                          n
                          ,
                          m
                        
                      
                      +
                      
                        c
                        ⁡
                        
                          (
                          
                            
                              δ
                              ⁢
                              
                                
                              
                              ⁢
                              
                                T
                                n
                              
                            
                            -
                            
                              δ
                              ⁢
                              
                                
                              
                              ⁢
                              
                                t
                                m
                              
                            
                          
                          )
                        
                      
                      +
                      
                        T
                        
                          n
                          ,
                          m
                        
                      
                      -
                      
                        I
                        
                          n
                          ,
                          m
                        
                        wl
                      
                      +
                      
                        MP
                        
                          n
                          ,
                          m
                        
                        ml
                      
                    
                    )
                  
                
                +
              
            
          
        
        
          
            
              
              ⁢
              
                
                  N
                  
                    n
                    ,
                    m
                  
                  wl
                
                +
                
                  ɛ
                  
                    n
                    ,
                    m
                  
                  wl
                
              
            
          
        
      
    
    
      
        (
        19
        )
      
    
  
  
    
      
        where
        ⁢
        
          

        
        ⁢
        
          
            λ
            wl
          
          =
          
            
              
                λ
                2
              
              -
              
                λ
                1
              
            
            
              
                λ
                1
              
              ⁢
              
                λ
                2
              
            
          
        
      
    
    
      
        (
        20
        )
      
    
  
  
    
      
        
          I
          
            n
            ,
            m
          
          wl
        
        =
        
          
            
              
                
                  λ
                  wl
                
                
                  λ
                  1
                
              
              ⁢
              
                I
                
                  n
                  ,
                  m
                
                1
              
            
            -
            
              
                
                  λ
                  wl
                
                
                  λ
                  2
                
              
              ⁢
              
                I
                
                  n
                  ,
                  m
                
                2
              
            
          
          =
          
            
              -
              
                
                  λ
                  2
                
                
                  λ
                  1
                
              
            
            ⁢
            
              I
              
                n
                ,
                m
              
              1
            
          
        
      
    
    
      
        (
        21
        )
      
    
  
  
    
      
        
          N
          
            n
            ,
            m
          
          wl
        
        =
        
          
            N
            
              n
              ,
              m
            
            1
          
          -
          
            N
            
              n
              ,
              m
            
            2
          
        
      
    
    
      
        (
        22
        )
      
    
  
  
    
      
        
          MP
          
            n
            ,
            m
          
          wl
        
        =
        
          
            
              
                λ
                wl
              
              
                λ
                1
              
            
            ⁢
            
              MP
              
                n
                ,
                m
              
              1
            
          
          -
          
            
              
                λ
                wl
              
              
                λ
                2
              
            
            ⁢
            
              MP
              
                n
                ,
                m
              
              2
            
          
        
      
    
    
      
        (
        23
        )
      
    
  
  
    
      
        
          ɛ
          
            n
            ,
            m
          
          wl
        
        =
        
          
            ɛ
            
              n
              ,
              m
            
            1
          
          -
          
            ɛ
            
              n
              ,
              m
            
            2
          
        
      
    
    
      
        (
        24
        )
      
    
  




The narrow-lane pseudorange is given by





  
    
      
        
          
            
              
                ρ
                
                  n
                  ,
                  m
                
                nl
              
              =
              
              ⁢
              
                
                  
                    
                      λ
                      2
                    
                    ⁢
                    
                      ρ
                      
                        n
                        ,
                        m
                      
                      1
                    
                  
                  +
                  
                    
                      λ
                      1
                    
                    ⁢
                    
                      ρ
                      
                        n
                        ,
                        m
                      
                      2
                    
                  
                
                
                  
                    λ
                    2
                  
                  +
                  
                    λ
                    1
                  
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  r
                  
                    n
                    ,
                    m
                  
                
                +
                
                  c
                  ⁡
                  
                    (
                    
                      
                        δ
                        ⁢
                        
                          
                        
                        ⁢
                        
                          T
                          n
                        
                      
                      -
                      
                        δ
                        ⁢
                        
                          
                        
                        ⁢
                        
                          t
                          m
                        
                      
                    
                    )
                  
                
                +
                
                  T
                  
                    n
                    ,
                    m
                  
                
                +
                
                  
                    
                      λ
                      2
                    
                    
                      λ
                      1
                    
                  
                  ⁢
                  
                    I
                    
                      n
                      ,
                      m
                    
                    1
                  
                
                +
                
                  δ
                  ⁢
                  
                    
                  
                  ⁢
                  
                    ρ
                    
                      n
                      ,
                      m
                    
                    mp
                  
                
                +
                
                  μ
                  
                    n
                    ,
                    m
                  
                  nl
                
              
            
          
        
      
    
    
      
        (
        25
        )
      
    
  




The wide-lane carrier phase minus narrow-lane pseudorange is constructed to cancel geometric terms and atmosphere delay errors.

θn,mwl−ρn,mnl=−λwlNn,mwl+εn,mwnl  (26)

where θn,mwl=−λwlφn,mwl and εn,mwnl=δρn,mmp+MPn,mwl+λn,mnl−λwlεn,mwl.

Ultraviolet radiation and a constant stream of particles from the sun ionize the gases of the earth's atmosphere to produce a layer of charged gases called the ionosphere. A charged gas is a dispersive medium for electromagnetic waves such as GNSS signals. To a very good approximation, the refractive index ε for an electromagnetic wave of frequency f (in units of 1/second) is given as




  
    
      
        ɛ
        ≈
        
          1
          -
          
            40.3
            ⁢
            
              
                n
                e
              
              
                f
                2
              
            
          
        
      
    
    
      
        (
        27
        )
      
    
  




where ne is the free electron density in the gas in units of 1/m3. The approximate constant 40.3 arises from a combination of natural constants such as electron mass, electron charge, etc. The result is a phase group delay and carrier phase advance of a modulated radio wave that penetrates the charged gas of





  
    
      
        Δτ
        =
        
          
            -
            
              1
              c
            
          
          ⁢
          
            40.3
            
              f
              2
            
          
          ⁢
          
            
              ∫
              r
              S
            
            ⁢
            
              
                n
                e
              
              ⁢
              
                d
                l
              
            
          
        
      
    
    
      
        (
        28
        )
      
    
  




compared to the same signal traveling in a vacuum with refraction index εvac=1, where the integral runs over the pathway that connects reference-station receiver r and satellite s. The integral expression is commonly referred to as the “Total Electron Content” (TEC). Expressed in units of meters (after multiplication by the speed of light), the relationship between ionospheric group delay/phase advance and total electron content is





  
    
      
        I
        =
        
          40.3
          ⁢
          
            TEC
            
              f
              2
            
          
        
      
    
    
      
        (
        29
        )
      
    
  




The electron density of the ionosphere is known to have a pronounced maximum at an altitude of approximately 350 kilometers above ground. D. Bilitza, International Reference Ionosphere 2000, Radio Science 2 (36) 2001, 261 (hereinafter Bilitza [2001]) provides a detailed description. For this reason, the commonly called “lumped two-dimensional (2D) model” assigns the complete ionospheric effect to a thin shell surrounding the earth at this altitude. This is described first herein as an introduction to the subsequent model used by the VRS algorithm.
FIG. 10 shows a simplified cross-sectional view of a lumped 2D ionosphere model with two signal paths from a single satellite 65 to receivers A 61 and B 62 that pierce the ionosphere shell 60 at pierce points A 63 and B 64. The latitude displacements of receivers A and B positions from a reference position between the receivers are ΔλA and ΔλB. The slant ionosphere delay at pierce points A and B are IA,1 and IB,1. A similar drawing can be made for longitudinal displaced receivers. FIG. 11 shows a simplified cross-sectional view of a lumped 2D ionosphere model with one signal path from a single satellite 65 to a receiver 61. The angle between the satellite 65 to receiver 61 line of sight and a radial from the earth centre through the ionosphere pierce point 63 is the zenith angle 66. This arrangement is generalized to N receivers having relative latitude and longitude displacements (Δλn, ΔLn), n=1, 2, . . . , N, and M pierce points per receiver corresponding to the M satellites tracked by each receiver, each pierce point modeling the lumped ionospheric delay In,m for m=1, 2, . . . , M. A spatial model for these ionospheric delays derived from a first-order truncation of a spherical harmonic expansion is

In,m=mn,miono(I0,m+amΔλn+bmΔLn)  (30)

where I0,m is the zenith ionospheric delay at a pierce point associated with the reference position for satellite m,

    
    
        am is the latitude scale on zenith ionospheric delays for satellite m,
        bm is the latitude scale on zenith ionospheric delays for satellite m,
        mn,miono is a mapping function that maps the zenith ionospheric delay at the n,m pierce point to the ionospheric delay along the slanted signal path, given by
    
    






  
    
      
        
          m
          
            n
            ,
            m
          
          iono
        
        =
        
          1
          
            cos
            ⁢
            
              
            
            ⁢
            
              φ
              
                n
                ,
                m
              
            
          
        
      
    
    
      
        (
        31
        )
      
    
  




where φn,m is the zenith angle at the pierce point associated with receiver n and satellite m.

For each satellite m in view equation (30) contains parameters (I0,m, am, bm) to characterize the ionosphere across the network area. These parameters together with the carrier-phase integer ambiguity and multipath states are to be iono estimated. The other terms (mn,miono, Δλn, ΔLn) in equation (30) are deterministic quantities given by the geometry of the network and the position of satellite m. Knowledge of these parameters allows equation (30) to the slant ionospheric delay Ir,m to be predicted at any roving receiver position r in the network.
The linear model given by equation (30) can be improved by taking account of the ionosphere thickness as described in Bilitza [2001] (referenced previously).
There are several different methods by which the troposphere delay along a slant signal path can be modeled for the purpose of estimating the delay in a least-squares estimation process. Hofmann-Wellenhof [2001] (referenced previously) provides a description of the theory behind various predictive models such as the Hopfield model. Most of these models comprise a model for the zenith troposphere delay at a given position multiplied by a mapping function that is a function of the zenith angle 67 of the satellite 65 at the receiver position 65 as shown in FIG. 12. The predicted slant troposphere delay along a signal path from satellite m to receiver n is

{circumflex over (T)}n,m=(1+mn,mtropo)Tn,0  (32)

where Tn, 0 is the zenith troposphere delay at receiver n,

mn,mtropo is the troposphere delay mapping function.
Hofmann-Wellenhof [2001] (referenced previously) provides examples of different mapping functions. This algorithm specification is not dependent on which troposphere model or mapping function is implemented.
The predicted slant troposphere delay is then assumed to differ from the actual delay at each reference receiver by a scale factor Sn that lumps the different sources of prediction error for all satellite signal paths, as follows:

Tn,m=(1+Sn){circumflex over (T)}n,m  (33)

Given a set of troposphere scale factors S1, . . . , SN applicable at the N reference receiver positions, the following linear spatial interpolation model is used to construct the troposphere delay error at any position in the network.

Sr=(S0+cΔλr+dΔLr)  (34)

The parameters S0, c and d are determined from a least-squares adjustment of the over-determined set of linear equations using any statistical information on S1, . . . , SN that may be available to weight the adjustment.




  
    
      
        
          [
          
            
              
                
                  S
                  1
                
              
            
            
              
                ⋮
              
            
            
              
                
                  S
                  N
                
              
            
          
          ]
        
        =
        
          
            [
            
              
                
                  1
                
                
                  
                    Δ
                    ⁢
                    
                      
                    
                    ⁢
                    
                      λ
                      1
                    
                  
                
                
                  
                    Δ
                    ⁢
                    
                      
                    
                    ⁢
                    
                      L
                      1
                    
                  
                
              
              
                
                  ⋮
                
                
                  ⋮
                
                
                  ⋮
                
              
              
                
                  1
                
                
                  
                    Δλ
                    N
                  
                
                
                  
                    Δ
                    ⁢
                    
                      
                    
                    ⁢
                    
                      L
                      N
                    
                  
                
              
            
            ]
          
          ⁡
          
            [
            
              
                
                  
                    S
                    0
                  
                
              
              
                
                  c
                
              
              
                
                  d
                
              
            
            ]
          
        
      
    
    
      
        (
        35
        )
      
    
  




The troposphere delay at any position r in the network is then computed as

Tr,m=(1+S0+cΔλr+dΔL){circumflex over (T)}r,m  (36)

A set of M ionosphere filters 103 in FIG. 9 estimate the parameters (I0,m, am, bm) for each satellite m in 1, 2, . . . , M that is visible to the network of N reference receivers. The ionosphere filtering algorithm comprises a standard Kalman filter, which is the optimal minimum variance estimator for a stochastic process given by the following general equations:

{right arrow over (x)}k=Φk,k-1 {right arrow over (x)}k-1+{right arrow over (μ)}kE[{right arrow over (μ)}k{right arrow over (μ)}kT]=Qk  (37)

{right arrow over (z)}kHk{right arrow over (x)}k+{right arrow over (η)}kE[{right arrow over (η)}k{right arrow over (η)}kT]=Rk  (38)

where {right arrow over (x)}k is the state vector, Φk,k-1 is the state transition matrix, Qk is the process noise covariance, {right arrow over (z)}k is the measurement vector, Hk is the measurement matrix, and Rk is the measurement noise covariance. Equation (37) comprises the state dynamics equation, and Equation (38) comprises the measurement equation. The Kalman filter algorithm is described in numerous references, of which A. Gelb (editor), Applied Optimal Estimation, MIT Press, 1992 (hereinafter “Gelb [1992]”) is an example.

The state vector containing the state variables to be estimated for each satellite m in 1, 2, . . . , M is given by




  
    
      
        
          
            x
            ⇀
          
          m
          gf
        
        =
        
          
            [
            
              
                
                  N
                  
                    1
                    ,
                    m
                  
                  gf
                
                ⁢
                
                  
                
                ⁢
                ...
                ⁢
                
                  
                
                ⁢
                
                  N
                  
                    N
                    ,
                    m
                  
                  gf
                
              
              ❘
              
                
                  
                    MP
                    
                      1
                      ,
                      m
                    
                    gf
                  
                  ⁢
                  
                    
                  
                  ⁢
                  ...
                  ⁢
                  
                    
                  
                  ⁢
                  
                    MP
                    
                      N
                      ,
                      m
                    
                    gf
                  
                
                ❘
                
                  
                    I
                    
                      0
                      ,
                      m
                    
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    a
                    m
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    b
                    m
                  
                
              
            
            ]
          
          T
        
      
    
    
      
        (
        39
        )
      
    
  




where N1,mgf, . . . , NN,mgf are the geometry-free combination of ambiguities given in (6),

    
    
        MP1,mgf, . . . , MPN,mgf are the multipath errors given in (7),
        I0,m is the ionospheric delay at the network reference position,
        am, bm are the ionosphere delay gradients in the latitude and longitude directions from the reference position.
    
    


The state transition matrix is given by




  
    
      
        
          Φ
          
            k
            ,
            
              k
              -
              1
            
          
        
        =
        
          (
          
            
              
                
                  I
                  
                    N
                    ×
                    N
                  
                
              
              
                
                  
                
              
              
                
                  
                
              
            
            
              
                
                  
                
              
              
                
                  
                    e
                    
                      
                        -
                        Δ
                      
                      ⁢
                      
                        
                      
                      ⁢
                      
                        t
                        /
                        
                          τ
                          MP
                        
                      
                    
                  
                  ⁢
                  
                    I
                    
                      N
                      ×
                      N
                    
                  
                
              
              
                
                  
                
              
            
            
              
                
                  
                
              
              
                
                  
                
              
              
                
                  
                    
                      1
                    
                    
                      
                        Δ
                        ⁢
                        
                          
                        
                        ⁢
                        
                          λ
                          CPP
                        
                      
                    
                    
                      
                        Δ
                        ⁢
                        
                          
                        
                        ⁢
                        
                          L
                          CPP
                        
                      
                    
                  
                  
                    
                      0
                    
                    
                      1
                    
                    
                      0
                    
                  
                  
                    
                      0
                    
                    
                      0
                    
                    
                      1
                    
                  
                
              
            
          
          )
        
      
    
    
      
        (
        40
        )
      
    
  




where ΔλCPP and ΔLCPP are the latitude and longitude changes in the network reference position, τMP is the correlation time of a Gauss-Markov model for the multipath error, and Δt=tk−tk-1 is the Kalman filter iteration epoch corresponding to the GPS observables epoch.

The process noise covariance is given by




  
    
      
        
          Q
          k
        
        =
        
          (
          
            
              
                
                  0
                  
                    N
                    ×
                    N
                  
                
              
              
                
                  
                
              
              
                
                  
                
              
            
            
              
                
                  
                
              
              
                
                  
                    
                      σ
                      MP
                      2
                    
                    ⁡
                    
                      (
                      
                        1
                        -
                        
                          e
                          
                            
                              -
                              2
                            
                            ⁢
                            Δ
                            ⁢
                            
                              
                            
                            ⁢
                            
                              t
                              /
                              
                                τ
                                MP
                              
                            
                          
                        
                      
                      )
                    
                  
                  ⁢
                  
                    I
                    
                      N
                      ×
                      N
                    
                  
                
              
              
                
                  
                
              
            
            
              
                
                  
                
              
              
                
                  
                
              
              
                
                  
                    
                      
                        q
                        I
                      
                    
                    
                      0
                    
                    
                      0
                    
                  
                  
                    
                      0
                    
                    
                      
                        q
                        λ
                      
                    
                    
                      0
                    
                  
                  
                    
                      0
                    
                    
                      0
                    
                    
                      
                        q
                        L
                      
                    
                  
                
              
            
          
          )
        
      
    
    
      
        (
        41
        )
      
    
  




where σMP is the multipath error uncertainty standard deviation, and qI, qλ and qL are process noise spectral densities for state vector elements I0,m, am and bm. σMP can be a constant or scaled by 1/sin(φn,m) as part of model tuning to achieve good performance. qI, qλ and qL relate to the velocity with which the pierce points travel across the ionosphere, and again are determined by model tuning for best performance.

The measurement vector contains the geometry-free phases (4) as follows:

{right arrow over (z)}m=[φl,mgf . . . φN,mgf]T  (42)

The measurement model matrix is given by





  
    
      
        
          H
          k
        
        =
        
          (
          
            
              
                
                  
                
              
              
                
                  
                
              
              
                
                  m
                  
                    1
                    ,
                    m
                  
                
              
              
                
                  
                    m
                    
                      1
                      ,
                      m
                    
                  
                  ⁢
                  
                    Δλ
                    1
                  
                
              
              
                
                  
                    m
                    
                      1
                      ,
                      m
                    
                  
                  ⁢
                  
                    ΔL
                    1
                  
                
              
            
            
              
                
                  -
                  
                    I
                    
                      N
                      ×
                      N
                    
                  
                
              
              
                
                  I
                  
                    N
                    ×
                    N
                  
                
              
              
                ⋮
              
              
                ⋮
              
              
                ⋮
              
            
            
              
                
                  
                
              
              
                
                  
                
              
              
                
                  m
                  
                    N
                    ,
                    m
                  
                
              
              
                
                  
                    m
                    
                      N
                      ,
                      m
                    
                  
                  ⁢
                  
                    Δλ
                    N
                  
                
              
              
                
                  
                    m
                    
                      N
                      ,
                      m
                    
                  
                  ⁢
                  Δ
                  ⁢
                  
                    
                  
                  ⁢
                  
                    L
                    N
                  
                
              
            
          
          )
        
      
    
    
      
        (
        43
        )
      
    
  




where mn,m are the mapping functions given by (31). Rk is generally a diagonal matrix whose measurement noise variances are again determined as part of a tuning process.

A set of M code filters 104 in FIG. 9 is used to estimate the N×M wide-lane floated ambiguities defined by equation (22) from wide-lane carrier minus narrow-lane code measurements (26). Each code filter implements a Kalman filter algorithm with the following state dynamics model and measurements. The state vector for each code filter is

{right arrow over (N)}mwl=[N1,mwl . . . NN,mwl]T  (44)

The state transition matrix is

Φ=IN×N  (45)

The process noise covariance is

Q=qNΔt×IN×N  (46)

where qN is the spectral density of a random walk model for the floated ambiguities.

The code filter measurement for satellite m and receiver n is

zn,mcf=θn,mwl−ρn,mnl  (47)

The measurement model is given by

zn,mcf=−λwlNn,mwl+εn,mwnl  (48)

The complete measurement vector is thus constructed as follows:

{right arrow over (z)}cf=[z1,mcf . . . zN,mcf]T  (49)

and the measurement model matrix and measurement noise covariance matrix are constructed from (48) to be compatible with the measurement vector (49).

A geometry filter 105 in FIG. 9 is used to estimate the troposphere scale factors as well as other errors present in the ionosphere-free carrier phase observables. The geometry filter implements the Kalman filter algorithm with the following state dynamics model and measurements. The state vector is

{right arrow over (x)}if=[{right arrow over (S)}δ{right arrow over (T)}{right arrow over (N)}ifδ{right arrow over (t)}δ{right arrow over (r)}s]T  (50)

where

    
    
        {right arrow over (S)}=[S1 . . . SN]T is a vector of tropo-scaling states for each of N reference receivers,
        δ{right arrow over (T)}=[δT1 . . . δTN]T is a vector of N reference receiver clock offsets,
    
    






  
    
      N
      ⇀
    
    if
  
  =
  
    
      [
      
        
          
            N
            
              1
              ,
              1
            
            if
          
          ⁢
          
            
          
          ⁢
          ...
          ⁢
          
            
          
          ⁢
          
            N
            
              1
              ,
              M
            
            if
          
        
        ❘
        
          
        
        ⁢
        
          ...
          ⁢
          
            
          
          ❘
          
            
              N
              
                N
                ,
                1
              
              if
            
            ⁢
            
              
            
            ⁢
            ...
            ⁢
            
              
            
            ⁢
            
              N
              
                N
                ,
                M
              
              if
            
          
        
      
      ]
    
    T
  




is a vector of ionosphere-free ambiguities for N receivers and M satellites,

δ{right arrow over (t)}=[δt1 . . . δtM]T is a vector of M satellite clock offsets,
δ{right arrow over (r)}s=[δ{right arrow over (r)}1 . . . δ{right arrow over (r)}M]T is a vector of M satellite orbital errors.
The state transition matrix is a block diagonal matrix given by




  
    
      
        Φ
        =
        
          diag
          ⁡
          
            [
            
              
                I
                
                  N
                  ×
                  N
                
              
              ❘
              
                
                  I
                  
                    N
                    ×
                    N
                  
                
                ❘
                
                  
                    I
                    
                      MN
                      ×
                      MN
                    
                  
                  ❘
                  
                    
                      I
                      
                        M
                        ×
                        M
                      
                    
                    ❘
                    
                      
                        e
                        
                          
                            -
                            Δ
                          
                          ⁢
                          
                            
                          
                          ⁢
                          
                            t
                            /
                            
                              τ
                              oe
                            
                          
                        
                      
                      ⁢
                      
                        I
                        
                          3
                          ⁢
                          M
                          ×
                          3
                          ⁢
                          M
                        
                      
                    
                  
                
              
            
            ]
          
        
      
    
    
      
        (
        51
        )
      
    
  




where τoe is the correlation time of a Gauss-Markov model for the orbital error components. The process noise covariance matrix is a block diagonal matrix given by





  
    
      
        Q
        =
        
           
          
             
            
              diag
              [
              
                
                  
                    
                      
                        q
                        ts
                      
                      ⁢
                      Δ
                      ⁢
                      
                        
                      
                      ⁢
                      
                         
                        
                          
                            t
                            ×
                            
                              
                            
                            ⁢
                            
                              I
                              
                                N
                                ×
                                N
                              
                            
                          
                          ❘
                          
                            
                          
                          ⁢
                          
                            
                              0
                              
                                N
                                ×
                                N
                              
                            
                            ❘
                            
                              
                            
                            ⁢
                            
                              
                                0
                                
                                  MN
                                  ×
                                  MN
                                
                              
                              ❘
                            
                          
                        
                      
                    
                  
                
                
                  
                    
                      
                        0
                        
                          M
                          ×
                          M
                        
                      
                      ❘
                      
                        
                      
                      ⁢
                      
                        
                          
                            σ
                            oe
                            2
                          
                          (
                          
                            
                          
                          ⁢
                          
                            1
                            -
                            
                              
                            
                            ⁢
                            
                              e
                              
                                
                                  -
                                  2
                                
                                ⁢
                                Δ
                                ⁢
                                
                                  
                                
                                ⁢
                                
                                  t
                                  /
                                  
                                    τ
                                    oe
                                  
                                
                              
                            
                          
                          )
                        
                        ⁢
                        
                          
                        
                        ⁢
                        
                          I
                          
                            3
                            ⁢
                            M
                            ×
                            3
                            ⁢
                            M
                          
                        
                      
                    
                  
                
              
              ⁢
              
                
              
              ]
            
          
        
      
    
    
      
        (
        52
        )
      
    
  




where qts is the spectral density of a random walk model for the troposphere scale factor parameters, and σoe is the initial uncertainty standard deviation of the orbital error components.

The geometry filter constructs measurements from the range-equivalent ionosphere-free carrier phases given by (17) and the ionosphere-free code minus carrier observables combinations given by (18). The ionosphere-free carrier phase measurement from satellite m and receiver n at a given measurement epoch is given as follows:

zn,mifcp=θn,mif−{circumflex over (T)}n,m−{circumflex over (r)}n,m  (53)

where {circumflex over (r)}n,m is the computed range from the computed position of satellite m at the measurement epoch and the known receiver n antenna position, and {circumflex over (T)}n,m is a predicted troposphere signal delay from satellite m and receiver n. The measurement model is





  
    
      
        
          z
          
            n
            ,
            m
          
          ifcp
        
        =
        
          
            
              [
              
                
                  
                    
                      
                        T
                        ^
                      
                      
                        n
                        ,
                        m
                      
                    
                  
                  
                    1
                  
                  
                    
                      λ
                      if
                    
                  
                  
                    
                      -
                      1
                    
                  
                  
                    
                      
                        ∂
                        
                          θ
                          
                            n
                            ,
                            m
                          
                          if
                        
                      
                      
                        
                          ∂
                          δ
                        
                        ⁢
                        
                          
                            r
                            ⇀
                          
                          m
                        
                      
                    
                  
                
              
              ]
            
            ⁡
            
              [
              
                
                  
                    
                      S
                      n
                    
                  
                
                
                  
                    
                      δ
                      ⁢
                      
                        
                      
                      ⁢
                      
                        T
                        n
                      
                    
                  
                
                
                  
                    
                      N
                      
                        n
                        ,
                        m
                      
                      if
                    
                  
                
                
                  
                    
                      δ
                      ⁢
                      
                        
                      
                      ⁢
                      
                        t
                        m
                      
                    
                  
                
                
                  
                    
                      δ
                      ⁢
                      
                        
                          r
                          ⇀
                        
                        m
                      
                    
                  
                
              
              ]
            
          
          +
          
            ξ
            
              n
              ,
              m
            
            if
          
        
      
    
    
      
        (
        54
        )
      
    
  




where





  
    ∂
    
      θ
      
        n
        ,
        m
      
      if
    
  
  
    
      ∂
      δ
    
    ⁢
    
      
        r
        ⇀
      
      m
    
  




is the Jacobian of the range-equivalent phase with respect to the orbital error sub-state for satellite m. The code minus carrier measurement from satellite m and receiver n is given by

zn,mifcmc=ρn,mif−θn,mif  (55)

The measurement model is given by

zn,mifcmc=−λifNn,mif+εn,mif  (56)

The complete measurement vector is thus constructed as follows:

{right arrow over (z)}if=[z1,1ifcp z1,1ifcmc . . . z1,Mifcp z1,Mifcmc . . . zN,Mifcp zN,Mifcmc]T  (57)

and the measurement model matrix and measurement noise covariance matrix are constructed from (54) and (56) to be compatible with the measurement vector (57).

Referring again to FIG. 9, the collating filter 109 combines the estimated state vectors from the M ionosphere filters, the M code filters and the geometry filter to generate an output data set 110 containing separate estimates of the ionosphere model (30) parameters for each satellite, troposphere scale factors (33) for each receiver, and carrier phase ambiguities and multipath errors for each of N×M×2 L1 and L2 carrier phases. The L1 and L2 carrier phase ambiguities are recovered as follows. Given floated estimates {circumflex over (N)}n,mgf, {circumflex over (N)}n,mcf and {circumflex over (N)}n,mif, the estimated L1 and L2 ambiguities can be obtained by applying the following least-squares solution derived from equations (6) and (14):




  
    
      
        
          
            [
            
              
                
                  
                    
                      N
                      ^
                    
                    
                      n
                      ,
                      m
                    
                    1
                  
                
              
              
                
                  
                    
                      N
                      ^
                    
                    
                      n
                      ,
                      m
                    
                    2
                  
                
              
            
            ]
          
          =
          
            
              
                (
                
                  
                    A
                    T
                  
                  ⁢
                  PA
                
                )
              
              
                -
                1
              
            
            ⁢
            
              A
              T
            
            ⁢
            
              P
              ⁡
              
                [
                
                  
                    
                      
                        
                          N
                          ^
                        
                        
                          n
                          ,
                          m
                        
                        gf
                      
                    
                  
                  
                    
                      
                        
                          N
                          ^
                        
                        
                          n
                          ,
                          m
                        
                        wl
                      
                    
                  
                  
                    
                      
                        
                          N
                          ^
                        
                        
                          n
                          ,
                          m
                        
                        if
                      
                    
                  
                
                ]
              
            
          
        
        ⁢
        
          

        
        ⁢
        where
      
    
    
      
        (
        58
        )
      
    
  
  
    
      
        A
        =
        
          [
          
            
              
                
                  
                    λ
                    1
                    3
                  
                  
                    
                      λ
                      2
                      2
                    
                    -
                    
                      λ
                      1
                      2
                    
                  
                
              
              
                
                  -
                  
                    
                      
                        λ
                        1
                        2
                      
                      ⁢
                      
                        λ
                        2
                      
                    
                    
                      
                        λ
                        2
                        2
                      
                      -
                      
                        λ
                        1
                        2
                      
                    
                  
                
              
            
            
              
                1
              
              
                
                  -
                  1
                
              
            
            
              
                1
              
              
                
                  -
                  
                    
                      λ
                      1
                    
                    
                      λ
                      2
                    
                  
                
              
            
          
          ]
        
      
    
    
      
        (
        59
        )
      
    
  




The VRS observables generation algorithm will now be described, according to one embodiment, with reference to FIG. 13. The algorithm operates on the observables data 100 and on the output 110 of the VRS estimation algorithm. The floated ambiguities plus estimation statistics generated by the Kalman filter are directed to the ambiguity resolution module 111. It, which implements one of several different ambiguity resolution algorithms that have been described in public domain publications. The preferred For example, one embodiment implements the LAMBDA algorithm described in P. Teunisson, The Least-Squares Ambiguity Decorrelation Adjustment, Journal of Geodesy 70, 1-2, 1995, and generates integer least-squares estimates of the ambiguities 112. The fixed integer ambiguities 112 along with the observables from the N reference receivers and the previously generated estimated parameters 110 are provided to process 113, which combines these inputs to compute the ionosphere and troposphere signal delay errors at each of the N reference receivers to the M satellites being used in the network solution.
Process 115 in FIG. 13 generates the observables at the VRS position in two stages: The process first estimates the correlated atmospheric and environment errors at the rover position, and then generates pseudorange and carrier phase observables that are geometrically referenced at the VRS position and exhibit correlated atmospheric and environment errors occurring at the rover position. Either of the following two methods of estimation and VRS observables generation can be used.
In one embodiment of the invention, process 115 in FIG. 13 computes the correlated atmospheric and environment errors at the rover position using a precise VRS estimation process. This process runs the respective ionosphere filters and the geometry filter with reduced state vectors that exclude the floated ambiguity states, since these are now assumed to be known with no uncertainty. These are called the precise ionosphere filters and the precise geometry filter because they use precise carrier phase data to formulate their respective estimations.
The precise ionosphere filter state vector becomes




  
    
      
        
          
            x
            ⇀
          
          m
          gf
        
        =
        
          
            [
            
              
                
                  MP
                  
                    1
                    ,
                    m
                  
                  gf
                
                ⁢
                
                  
                
                ⁢
                ...
                ⁢
                
                  
                
                ⁢
                
                  MP
                  
                    N
                    ,
                    m
                  
                  gf
                
              
              ❘
              
                
                  I
                  
                    0
                    ,
                    m
                  
                
                ⁢
                
                  
                
                ⁢
                
                  a
                  m
                
                ⁢
                
                  
                
                ⁢
                
                  b
                  m
                
              
            
            ]
          
          T
        
      
    
    
      
        (
        60
        )
      
    
  




The precise ionosphere filters process the following geometry-free phase measurements:




  
    
      
        
          
            φ
            
              n
              ,
              m
            
            gf
          
          +
          
            
              N
              _
            
            
              n
              ,
              m
            
            gf
          
        
        =
        
          
            MP
            
              n
              ,
              m
            
            gf
          
          +
          
            I
            
              n
              ,
              m
            
          
          +
          
            ɛ
            
              n
              ,
              m
            
            gf
          
        
      
    
    
      
        (
        61
        )
      
    
  
  
    
      
        
          
            N
            _
          
          
            n
            ,
            m
          
          gf
        
        =
        
          
            
              λ
              1
              2
            
            
              
                λ
                2
                2
              
              -
              
                λ
                1
                2
              
            
          
          ⁢
          
            (
            
              
                
                  
                    N
                    _
                  
                  
                    n
                    ,
                    m
                  
                  1
                
                ⁢
                
                  λ
                  1
                
              
              -
              
                
                  
                    N
                    _
                  
                  
                    n
                    ,
                    m
                  
                  2
                
                ⁢
                
                  λ
                  2
                
              
            
            )
          
        
      
    
    
      
        (
        62
        )
      
    
  




where Nn,m1 and Nn,m2 are the fixed L1 and L2 ambiguities 112. The transition matrix (40) process noise covariance (41) and measurement model matrix (43) are truncated to reflect the reduced state dynamics model. The resulting estimated state elements (I0,m, am, bm) for m in 1, . . . , M provide parameters for the ionosphere model (30) at a level of accuracy consistent with a fixed integer ambiguity position solution. The precise geometry filter state vector becomes

{right arrow over (x)}if=[{right arrow over (S)} δ{right arrow over (T)} δ{right arrow over (t)} δ{right arrow over (r)}s]T   (63)

The precise geometry filter processes the following ionosphere-free measurements:




  
    
      
        
          
            
              
                
                  z
                  _
                
                
                  n
                  ,
                  m
                
                ifcp
              
              =
              
              ⁢
              
                
                  θ
                  
                    n
                    ,
                    m
                  
                  if
                
                -
                
                  
                    T
                    ^
                  
                  
                    n
                    ,
                    m
                  
                
                -
                
                  
                    r
                    ^
                  
                  
                    n
                    ,
                    m
                  
                
                -
                
                  
                    λ
                    if
                  
                  ⁢
                  
                    
                      N
                      _
                    
                    
                      n
                      ,
                      m
                    
                    if
                  
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    [
                    
                      
                        
                          
                            
                              T
                              ^
                            
                            
                              n
                              ,
                              m
                            
                          
                        
                        
                          1
                        
                        
                          
                            -
                            1
                          
                        
                        
                          
                            
                              ∂
                              
                                θ
                                
                                  n
                                  ,
                                  m
                                
                                if
                              
                            
                            
                              
                                ∂
                                δ
                              
                              ⁢
                              
                                
                                  r
                                  ⇀
                                
                                m
                              
                            
                          
                        
                      
                    
                    ]
                  
                  ⁡
                  
                    [
                    
                      
                        
                          
                            S
                            n
                          
                        
                      
                      
                        
                          
                            δ
                            ⁢
                            
                              
                            
                            ⁢
                            
                              T
                              n
                            
                          
                        
                      
                      
                        
                          
                            δ
                            ⁢
                            
                              
                            
                            ⁢
                            
                              t
                              m
                            
                          
                        
                      
                      
                        
                          
                            δ
                            ⁢
                            
                              
                                r
                                ⇀
                              
                              m
                            
                          
                        
                      
                    
                    ]
                  
                
                +
                
                  ξ
                  
                    n
                    ,
                    m
                  
                  if
                
              
            
          
        
      
    
    
      
        (
        64
        )
      
    
  
  
    
      
        
          
            z
            _
          
          
            n
            ,
            m
          
          ifcmc
        
        =
        
          
            
              ρ
              
                n
                ,
                m
              
              if
            
            -
            
              θ
              
                n
                ,
                m
              
              if
            
            +
            
              
                λ
                if
              
              ⁢
              
                
                  N
                  _
                
                
                  n
                  ,
                  m
                
                if
              
            
          
          ≅
          
            ɛ
            
              n
              ,
              m
            
            if
          
        
      
    
    
      
        (
        65
        )
      
    
  
  
    
      
        
          
            N
            _
          
          
            n
            ,
            m
          
          if
        
        =
        
          
            
              N
              _
            
            
              n
              ,
              m
            
            1
          
          -
          
            
              
                λ
                1
              
              
                λ
                2
              
            
            ⁢
            
              
                N
                _
              
              
                n
                ,
                m
              
              2
            
          
        
      
    
    
      
        (
        66
        )
      
    
  




The transition matrix (51),(51), process noise covariance (52) and measurement model matrices derived from (64) and (65) are truncated to reflected the reduced state dynamics model. The resulting estimated state elements {right arrow over (S)}=[S1 . . . SN]T provide troposphere scale factors at the N reference receiver positions at a level of accuracy consistent with a fixed integer ambiguity position solution. These are used to construct the troposphere delay error at any position in the network using a linear spatial interpolation model (36).
The VRS observables (“VRS GNSS data”) 24 (FIGS. 4 and 5) are then computed as follows. A master reference receiver R is identified from among the N reference receivers, typically the reference receiver that is closest to the VRS position. The observables comprise pseudoranges modeled by (1) and dual-frequency carrier phases modeled by (2) with n=R. The VRS observables used by the PP-HAPOS comprise the master reference receiver observables with troposphere and ionosphere delay errors at the rover receiver position. The VRS pseudoranges are computed as follows:

ρV,mi=ρR,mi+ΔrVR,m+({circumflex over (T)}r,m−{circumflex over (T)}R,m)+(Îr,mi−ÎR,mi)  (67)

where ΔρVR,m is a geometric range displacement from the master reference receiver to the VRS position given by ΔrVR,m=|{right arrow over (r)}m−{right arrow over (r)}V|−|{right arrow over (r)}m−{right arrow over (r)}R|,

    
    
        {circumflex over (T)}r,m−{circumflex over (T)}R,m is the difference in troposphere delays computed from the interpolation model (36) using the model parameters derived in (35) from the estimated troposphere scale factors in the precise geometry state (63),
        Îr,mi−ÎR,mi is the difference in ionosphere delays computed from the interpolation model (30) using the model parameters in the precise ionosphere filter states (60).
    
    


The VRS carrier phases are constructed as follows:

φV,mi=φR,mi−1/λi(ΔrVR,m+({circumflex over (T)}r,m−{circumflex over (T)}R,m)+(Îr,mi−ÎR,mi))  (68)

These VRS observables have the same receiver clock offset, satellite clock errors, multipath errors and observables noises as the master reference receiver. They have the approximately same troposphere and ionosphere delay errors as the roving receiver. Consequently, single differences between rover and VRS observables will result in the approximate cancellation of troposphere and ionosphere delay errors as well as exact cancellation of satellite clock errors.
In another embodiment of the invention, process 115 in FIG. 13 computes the correlated atmospheric and environment errors in the carrier phases at the rover position using interpolation of the carrier phase residuals. This method is predicated on the assumption that correlated atmospheric delay errors in the double-differenced carrier phase residuals conform to an approximate linear spatial model similar to (30). Each carrier phase residual is computed as:




  
    
      
        
          
            
              
                δφ
                
                  n
                  ,
                  m
                
                i
              
              =
              
              ⁢
              
                
                  φ
                  
                    n
                    ,
                    m
                  
                  i
                
                +
                
                  
                    N
                    _
                  
                  
                    n
                    ,
                    m
                  
                  i
                
                +
                
                  
                    1
                    
                      λ
                      i
                    
                  
                  ⁢
                  
                    
                      r
                      ^
                    
                    
                      n
                      ,
                      m
                    
                  
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    -
                    
                      1
                      
                        λ
                        i
                      
                    
                  
                  ⁢
                  
                    (
                    
                      
                        δ
                        ⁢
                        
                          
                            r
                            ^
                          
                          
                            n
                            ,
                            m
                          
                        
                      
                      +
                      
                        c
                        ⁡
                        
                          (
                          
                            
                              δ
                              ⁢
                              
                                
                              
                              ⁢
                              
                                T
                                n
                              
                            
                            -
                            
                              δ
                              ⁢
                              
                                
                              
                              ⁢
                              
                                t
                                m
                              
                            
                          
                          )
                        
                      
                      +
                      
                        T
                        
                          n
                          ,
                          m
                        
                      
                      -
                      
                        I
                        
                          n
                          ,
                          m
                        
                        i
                      
                      +
                      
                        MP
                        
                          n
                          ,
                          m
                        
                        i
                      
                    
                    )
                  
                
                +
                
                  η
                  
                    n
                    ,
                    m
                  
                  i
                
              
            
          
        
      
    
    
      
        (
        69
        )
      
    
  




where {circumflex over (r)}n,m is the estimated range between receiver n and satellite m using best available ephemeris data, Nn,mi is the fixed integer ambiguity for i=1, 2, n=1, . . . , N and m=1, . . . , M. The double-differenced carrier phase residuals are computed as:





  
    
      
        
          
            
              
                ∇
                
                  Δδφ
                  
                    n
                    ,
                    m
                  
                  i
                
              
              =
              
              ⁢
              
                
                  (
                  
                    
                      δφ
                      
                        n
                        ,
                        m
                      
                      i
                    
                    -
                    
                      δφ
                      
                        n
                        ,
                        mb
                      
                      i
                    
                  
                  )
                
                -
                
                  (
                  
                    
                      δφ
                      
                        nb
                        ,
                        m
                      
                      i
                    
                    -
                    
                      δφ
                      
                        nb
                        ,
                        mb
                      
                      i
                    
                  
                  )
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    -
                    
                      1
                      
                        λ
                        i
                      
                    
                  
                  ⁢
                  
                    (
                    
                      
                        
                          ∇
                          Δ
                        
                        ⁢
                        
                          
                        
                        ⁢
                        
                          T
                          
                            n
                            ,
                            m
                          
                        
                      
                      -
                      
                        
                          ∇
                          Δ
                        
                        ⁢
                        
                          
                        
                        ⁢
                        
                          I
                          
                            n
                            ,
                            m
                          
                          i
                        
                      
                      +
                      
                        
                          ∇
                          Δ
                        
                        ⁢
                        
                          
                        
                        ⁢
                        
                          MP
                          
                            n
                            ,
                            m
                          
                          i
                        
                      
                    
                    )
                  
                
                +
                
                  ∇
                  
                    Δη
                    
                      n
                      ,
                      m
                    
                    i
                  
                
              
            
          
        
      
    
    
      
        (
        70
        )
      
    
  




where nb in 1, . . . , N is a base receiver for computing between receiver single differences and mb in 1, . . . , M is a base satellite for computing between satellite single differences. Double differencing effects the cancellation of common mode errors between satellites and between receivers, notably the receiver clock offsets, satellite clock offsets and orbital errors.

A spatial interpolation model similar to (30) for the double-differenced residuals for satellite m in 1, . . . M is given by:

∇Δδφn,mi=δ∇Δφ0,mi+amiΔλn+nmiΔLn  (71)

where δ∇Δφ0,mi is the double-differenced residual associated with the reference position for satellite m,

    
    
        ami is the latitude scale on the double-differenced residual for satellite m,
        bmi is the latitude scale on the double-differenced residual for satellite m.
    
    


The parameters δ∇Δ{circumflex over (φ)}0,m, âmi and {circumflex over (b)}mi are computed as estimates from a least-squares adjustment using the model (71) with measurements (70). The estimated residuals at the rover position are then given by

∇Δδ{circumflex over (φ)}r,mi=δ∇Δ{circumflex over (φ)}0,mi+âmiΔλr+{circumflex over (b)}miΔLr  (72)

where (Δλr, ΔLr) are the rover antenna relative position coordinates with respect to the reference position. The undifferenced residuals containing the correlated phase errors are then obtained by reversing the double difference operation (70) as follows.

δ{circumflex over (φ)}r,mi=∇Δδ{circumflex over (φ)}r,mi+(δφnb,mi−δφnb,mbi)+δ{circumflex over (φ)}r,mbi  (73)

where δφnb,mi and δφnb,mi are given by (69). δφr,mbi is constructed as follows





  
    δ
    ⁢
    
      
        φ
        ^
      
      
        r
        ,
        mb
      
      i
    
  
  =
  
    
      -
      
        1
        
          λ
          i
        
      
    
    ⁢
    
      (
      
        
          
            T
            ^
          
          
            r
            ,
            mb
          
        
        -
        
          
            I
            ^
          
          
            r
            ,
            mb
          
          i
        
      
      )
    
  




where Îr,mbi and {circumflex over (T)}r,mb are computed by interpolation using (30) and (36).

The VRS observables (“VRS GNSS data”) 24 are then computed as follows. A master reference receiver R is identified from among the N reference receivers, typically the reference receiver that is closest to the VRS position. The VRS pseudoranges are computed using (67) with {circumflex over (T)}r,m−{circumflex over (T)}R,m computed from the interpolation model (36) using the model parameters derived in (35) from the estimated troposphere scale factors in the estimated geometry filter state (50), and Îr,mi−ÎR,mi from the interpolation model (30) using the model parameters in the ionosphere filter states (39). The VRS carrier phases are constructed as follows:

φV,mi=φR,mi−(1/λi)ΔrVR,m−δφR,mi+δ{circumflex over (φ)}r,mi  (74)

where δφR,mi was computed in (69) and δ{circumflex over (φ)}r,mi is the interpolated carrier phase residual given by (73). The VRS observables 24 have the same receiver clock offset, satellite clock errors, multipath errors and observables noises as the master reference receiver. They have the approximately same troposphere and ionosphere delay errors as the roving receiver. Consequently, single differences between rover and VRS observables will result in the approximate cancellation of troposphere and ionosphere delay errors as well as exact cancellation of satellite clock errors.

Referring again to FIG. 4, the IIN module 19 will now be further described. The IIN module 19 is a GNSS-AINS subsystem and is further illustrated in FIG. 6. The IIN module 19 operates on the data recorded by the vehicle subsystem 9 and the VRS observables data 24 generated by the VRS module 18. It implements a version of the AINS function described above, designed specifically for computing precise centimeter-level position and sub-arc-minute orientation using inertially aided RTK, such as the algorithm described by B. Scherzinger, Precise Robust Positioning with Inertially-Aided RTK, Journal of the Institute of Navigation, Summer 2006 (hereinafter “Scherzinger [2006]”).
The IIN module 19 includes an inertial navigator module 25, a Kalman filter 26, an error controller 27 and an ambiguity resolution module (ARM) 28. The details of the functionality and implementation of these components will be well-understood and by those of ordinary skill in the art in view of this description, and need not be described herein. The functionality of these elements is described here at a high level to provide context.
The inertial navigator module 25 solves Newton's well-known equations of motion on the earth in a conventional manner to compute the position, velocity and orientation of the vehicle IMU 10 from the recorded IMU data 15.
The Kalman filter 26 imports the inertial navigation solution 30 output by the inertial navigator module 25 and aiding sensor data 16, 17 and 24, and estimates the inertial navigator errors and inertial sensor errors in a conventional manner using a conventional INS error model. The Kalman filter 26 outputs the estimated INS errors 31 to the INS error controller 27 and to a smoother data file 29.
The error controller 27 translates the estimated errors 31 into resets 33 to the inertial navigator's integration processes. It also returns a correction 32 to the Kalman filter to account for the correction 31 to the inertial navigator 25. The control loop formed by the inertial navigator module 25, Kalman filter 26 and error controller 27 is called the INS error regulation loop.
The Kalman filter 26 also estimates the floated carrier phase ambiguities in the combinations of rover and VRS carrier phase observables that are part of the rover GNSS data 16 and VRS GNSS data 24, respectively. These carrier phase observables typically include two or more frequencies to obtain fast and reliable floated ambiguity estimation and subsequent ambiguity resolution. The Kalman filter 26 outputs the estimated floated ambiguities and their covariances 34 to the ARM 28.
The ARM 28 employs any of various well-known conventional algorithms to determine the integer ambiguities from the floated ambiguity data 34 once these have converged to sufficient estimation accuracy. Once the ARM 28 has fixed and verified the integer ambiguities 35, it returns the verified integer ambiguities 35 to the Kalman filter 26, which then constructs precise and unambiguous carrier phase measurements that result in precise position error estimation and INS error regulation. The resulting INS navigation solution 30 contains very accurate position and accurate orientation data.
Referring again to FIG. 4, the smoother module 40 operates on the smoother data file 29 generated by the IIN module 19. The smoother module 40 implements a smoothing algorithm compatible with the Kalman filter 26 that essentially runs a least-squares adjustment backwards in time on the Kalman filter data recorded in the smoother data file 29, to generate a globally optimal estimate of INS errors, and then corrects the inertial navigation solution recorded in the smoother data file 29 to generate the BET 41. More specifically, the smoother 40 computes and writes a time history file of estimated INS errors with better accuracy (called the smoothed errors) than those from the Kalman filter 26, from the data generated by the Kalman filter 26 (specifically, the estimated state vector, covariance matrix and measurement residuals). The smoother 40 then reads the smoothed error file and corrects the recorded AINS navigation solution 30 to generate a navigation solution with best achievable accuracy, which is the BET 41.
The manner in which the PM-HAPOS can be used will now be described with reference to FIG. 7, using the example of an aerial photogrammetry project. For purposes of description, the project area is assumed to have dimensions 200 km×200 km and to have typical CORS density. The photogrammetry project requires a precise and reliable position and orientation solution over the course of a 3-hour flight (the data acquisition period) to georeference each pixel of each of several thousands of digital images recorded during the flight.
The overall process has three phases: mission planning, mission execution and post-processing. The mission planning phase begins when a photogrammetry analyst (PA) reviews the project area, the CORS receivers in and around the project area, and the project GNSS satellite coverage during a planned flight. The PA selects a set of five or more CORS receivers and a time window during which their data are required (step 45). The PA then downloads observables files from each selected CORS receiver for the previous 24 hours (step 46). Typically, these data are downloaded via the Internet.
Next, the PA runs the 24-hour data through the network adjustment subsystem 7 (step 47) to compute the relative position of each CORS antenna with respect to one selected antenna. This network adjustment either verifies or corrects the published antenna positions or rejects the observables from one or more CORS receivers because of bad data quality. The required relative accuracy of each antenna position is typically 1-2 centimeters. The PA then decides whether or not to use the network based on the results of the network adjustment (step 48). The network is considered to be acceptable if a sufficient number of CORS receivers evenly surround the project area and generate reliable observables as determined by the network adjustment. A sufficient number is typically four or more reference receivers. If the network is not acceptable, the PA selects a new network (i.e., a new set of CORS receivers) and repeats the previous steps. Once the PA has configured an acceptable network, the mission planning is finished. The mission execution phase can then proceed.
In the mission execution phase, an aircraft equipment operator (AEO) responsible for operating the aircraft-mounted camera and supporting equipment typically starts the vehicle subsystem (VS) data acquisition just before the survey begins, e.g., a few minutes before the aircraft starts to taxi towards take-off (step 49). During flight, the vehicle subsystem 9 acquires data (i.e., IMU data 15, rover GNSS data 16 and other aiding sensor data 17) and stores it on one or more removable (disconnectable) mass storage devices 37 (e.g., disk drives) within the vehicle subsystem 9 (step 50). The AEO typically turns off the vehicle subsystem data acquisition after the aircraft has landed and taxied to a stationary position (step 51). The AEO then retrieves all of the recorded data, including the camera image files and recorded vehicle subsystem data (step 52), by removing the mass storage device(s) from the vehicle subsystem 9, to complete the mission execution phase.
In the post-processing phase, the PA loads the recorded vehicle subsystem data onto the post-processing subsystem 36 (step 53). This can be done by, for example, directly connecting the mass storage devices from the vehicle subsystem to the post-processing subsystem 36 and loading the data from those devices, or by loading the data from some other data storage facility to which the data may have been stored or transferred after the flight. Next, the PA downloads the CORS observables spanning the data acquisition period (the photogrammetry mission time) via the Internet, to the post-processing subsystem 36 (step 54).
The PA then activates the post-processing subsystem 36 to cause it to execute a sequence of operations to compute a precise position and orientation solution (the BET 41) for the recorded GNSS-AINS data, for the entire data acquisition period, based on the recorded GNSS-AINS data files. (The BET 41 will subsequently be associated with the corresponding images from the survey camera.) Note that the term “solution” in this context refers collectively to a large number of associated position and orientation data items, each associated with a different instant in time. Note that the following sequence of operations can be performed automatically in response to a single initiating user input by the PA, or each operation may be initiated individually by the PA.
First, the VRS module 18 in the post-processing subsystem 36 computes a VRS synthetic observables file (the VRS GNSS observables 24) based on the reference receiver observables (reference GNSS data 20) and history of real-time rover antenna positions (step 55). The IIN 19 then computes the position and orientation solution 30 based on the VRS synthetic observables file and the data recorded by the vehicle subsystem 9 (step 56). The smoother module 40 then computes the BET 41 (step 57), which is the end product of this process.
Alternative Embodiments
While the embodiments described above use IARTK with GNSS, it is possible to implement a GNSS-AINS that uses VRS but does not implement IARTK. Such a system can run a separate RTK module to resolve ambiguities and can then correct the rover-reference differential phase observables to obtain the precise differential phase ranges that characterize RTK positioning. These precise phase ranges then would be used as aiding data in the Kalman filter.
Thus, a PM-HAPOS has been described.
Software to implement the technique introduced here may be stored on a machine-readable medium. A “machine-accessible medium”, as the term is used herein, includes any mechanism that provides (i.e., stores and/or transmits) information in a form accessible by a machine (e.g., a computer, network device, personal digital assistant (PDA), manufacturing tool, any device with a set of one or more processors, etc.). For example, a machine-accessible medium includes recordable/non-recordable media (e.g., read-only memory (ROM); random access memory (RAM); magnetic disk storage media; optical storage media; flash memory devices; etc.), etc.
The term “logic”, as used herein, can include, for example, hardwired circuitry, programmable circuitry, software, or any combination thereof.
Although the present invention has been described with reference to specific exemplary embodiments, it will be recognized that the invention is not limited to the embodiments described, but can be practiced with modification and alteration within the spirit and scope of the appended claims. Accordingly, the specification and drawings are to be regarded in an illustrative sense rather than a restrictive sense.

## Claims

1. A GNSS-AINS post-processing system comprising:
a VRS module to input rover GNSS observables previously acquired and recorded by a GNSS subsystem on an aircraft during a data acquisition period, the VRS module including
a network module to input a set of reference GNSS observables acquired during said data acquisition period by a plurality of fixed GNSS receiver stations and to produce a set of corrected reference GNSS observables; and
a VRS generator to compute a set of VRS observables applicable to a VRS position for the data acquisition period, based on the corrected reference GNSS observables and the rover GNSS observables; and

a GNSS-AINS module to compute positions and orientations of the aircraft for the data acquisition period based on the VRS observables, the rover GNSS observables and IMU data acquired and recorded during the data acquisition period by an IMU on the aircraft, including
an inertial navigation module to compute the positions and orientations of the aircraft for the data acquisition period based on the IMU data and based on correction data indicating corrections for predetermined types of uncertainties; and
a correction module to generate the correction data.

2. A system as recited in claim 1, wherein the network module determines an estimate of atmospheric error in the reference GNSS observables and corrects the reference GNSS observables based on the estimate.

3. A system as recited in claim 1, wherein said system comprises:
a Kalman filter to generate estimates of inertial navigation error based on the rover GNSS observables and the VRS observables and to generate carrier phase measurements;
an ambiguity resolution module to determine integer ambiguities based on the estimates and to indicate the integer ambiguities to the Kalman filter; and
an error controller to provide corrections to the inertial navigation unit based on the carrier phase measurements.