<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD Journal Publishing DTD v2.3 20070202//EN" "journalpublishing.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xml:lang="en" article-type="research-article">
<front>
<journal-meta>
<journal-id journal-id-type="nlm-ta">Sensors</journal-id>
<journal-title>Sensors</journal-title>
<issn pub-type="epub">1424-8220</issn>
<publisher>
<publisher-name>Molecular Diversity Preservation International (MDPI)</publisher-name></publisher></journal-meta>
<article-meta>
<article-id pub-id-type="doi">10.3390/s100402995</article-id>
<article-id pub-id-type="publisher-id">sensors-10-02995</article-id>
<article-categories>
<subj-group>
<subject>Article</subject></subj-group></article-categories>
<title-group>
<article-title>Implementation and Evaluation of the WADGPS System in the Taipei Flight Information Region</article-title></title-group>
<contrib-group>
<contrib contrib-type="author">
<name><surname>Jan</surname><given-names>Shau-Shiun</given-names></name><xref ref-type="corresp" rid="c1-sensors-10-02995"><sup>*</sup></xref></contrib>
<contrib contrib-type="author">
<name><surname>Lu</surname><given-names>Shih-Chieh</given-names></name></contrib>
<aff id="af1-sensors-10-02995">Institute of Civil Aviation, National Cheng Kung University, Tainan 70101, Taiwan; E-Mail: <email>jazzisaac@gmail.com</email></aff></contrib-group>
<author-notes>
<corresp id="c1-sensors-10-02995">
<label>*</label>Author to whom correspondence should be addressed; E-Mail: <email>ssjan@mail.ncku.edu.tw</email>; Tel: +886-6-2757575ext.63629; Fax: +886-6-238-9940.</corresp></author-notes>
<pub-date pub-type="collection">
<year>2010</year></pub-date>
<pub-date pub-type="epub">
<day>30</day>
<month>3</month>
<year>2010</year></pub-date>
<volume>10</volume>
<issue>4</issue>
<fpage>2995</fpage>
<lpage>3022</lpage>
<history>
<date date-type="received">
<day>11</day>
<month>1</month>
<year>2010</year></date>
<date date-type="rev-recd">
<day>9</day>
<month>2</month>
<year>2010</year></date>
<date date-type="accepted">
<day>14</day>
<month>3</month>
<year>2010</year></date></history>
<permissions>
<copyright-statement>© 2010 by the authors; licensee Molecular Diversity Preservation International, Basel, Switzerland.</copyright-statement>
<copyright-year>2010</copyright-year>
<license>
<p>This article is an open-access article distributed under the terms and conditions of the Creative Commons Attribution license (<ext-link xlink:href="http://creativecommons.org/licenses/by/3.0/" ext-link-type="uri">http://creativecommons.org/licenses/by/3.0/</ext-link>).</p></license></permissions>
<abstract>
<p>This paper describes the implementation of the Wide Area Differential Global Positioning System (WADGPS) system in order to evaluate the operational performance of a satellite based aviation navigation system within Taipei Flight Information Region (FIR). The main objective of the WADGPS is to provide real time integrity information regarding the use of GPS for civil aviation applications. This paper uses the e-GPS observation stations operated by the Taiwan Ministry of Interior (MOI) as the WADGPS reference stations to collect the L1-L2 dual-frequency GPS measurements. A WADGPS master station is also implemented to process all GPS measurements sent from each reference station, and then generate the vector corrections. These vector corrections consist of the satellite ephemeris and clock errors, and a grid of ionospheric delays. The data stream also includes confidence bounds for the corrections and “Use/Do Not Use” messages to provide integrity. These messages are then passed to the WADGPS user through the Internet. This paper discusses the WADGPS system architecture and the system performance analysis. A five-day operation performance in Taipei Flight Information Region (FIR) is presented in this paper. The results show that the WADGPS can improve the accuracy performance of GPS positioning and fulfill the integrity performance required by Non-Precision Approach (NPA) defined by the International Civil Aviation Organization (ICAO).</p></abstract>
<kwd-group>
<kwd>GPS</kwd>
<kwd>Wide Area Differential GPS (WADGPS)</kwd>
<kwd>integrity</kwd>
<kwd>aircraft approach</kwd></kwd-group></article-meta></front>
<body>
<sec sec-type="intro">
<label>1.</label>
<title>Introduction</title>
<p>The Global Positioning System (GPS) provides positioning, navigation and timing services to around 400 million users in sea, air, terrestrial, and space applications [<xref ref-type="bibr" rid="b1-sensors-10-02995">1</xref>]. In order to improve the performance of GPS-based navigation system providing support for the very demanding requirements of aircraft approach operations, various augmentation systems are being developed [<xref ref-type="bibr" rid="b2-sensors-10-02995">2</xref>–<xref ref-type="bibr" rid="b4-sensors-10-02995">4</xref>]. One such system is the Wide Area Differential GPS (WADGPS) system. The WADGPS system utilizes a geographically distributed network of reference receivers at precisely known locations throughout the service region, and these reference receivers, which are called Reference Stations (RSs), continuously monitor all GPS satellites and their propagation environments in real time. These RSs send raw GPS measurements back to the WADGPS Master Station (MS) where the WADGPS messages are generated. The WADGPS system provides both differential corrections to improve accuracy and associated confidence bounds to ensure integrity. The corrections will improve the accuracy of the system and more importantly, the integrity will open the door for widespread aviation use. The WADGPS concept is summarized in <xref ref-type="fig" rid="f1-sensors-10-02995">Figure 1</xref>. The Satellite Based Augmentation System (SBAS) is an extension of the WADGPS concept and there are several SBASs which are developing around world to enhance aviation navigation performance. For instance, the MTSAT-based Satellite Augmentation System (MSAS) is deployed in Japan, the European Space Agency (ESA) is working on the European Geostationary Navigation Overlay Service (EGNOS), and the Wide Area Augmentation System (WAAS) is under development in the United States [<xref ref-type="bibr" rid="b4-sensors-10-02995">4</xref>]. Among them, WAAS began operation on July 10, 2003, MSAS was commissioned for aviation use on September 27, 2007, and EGNOS open service started on October 1, 2009. However, in Taipei Flight Information Region (FIR), there is no SBAS service available for aviation users. Therefore, the objective of this paper is to implement a WADGPS system to investigate the augmented GPS performance for civil aviation users within the Taipei FIR.</p>
<p>Similar to this work, in the early 1990s, the Federal Aviation Administration (FAA) implemented the National Satellite Test Bed (NSTB) as a WAAS prototype system to ensure the success of the WAAS. In 2006, the authors co-developed one of the RSs of the Asia-Pacific Economic Cooperation (APEC) Global Navigation Satellite System (GNSS) test bed which is a WADGPS-like system to conduct the preliminary analysis of the SBAS performance within Asia-Pacific [<xref ref-type="bibr" rid="b5-sensors-10-02995">5</xref>]. With the experience of developing the WADGPS RS, this paper further implements the WADGPS master station to assess the performance of various architectures for the WADGPS. The e-GPS observation stations operated by the Taiwan Ministry of Interior (MOI) are used as the WADGPS RSs. Our focus will be one particular aircraft approach procedure known as Lateral NAVigation (LNAV), and the Required Navigation Performance (RNP) for LNAV is summarized in <xref ref-type="table" rid="t1-sensors-10-02995">Table 1</xref> [<xref ref-type="bibr" rid="b6-sensors-10-02995">6</xref>,<xref ref-type="bibr" rid="b7-sensors-10-02995">7</xref>]. The metrics used to quantify the performance will be the positioning accuracy and the service quality at a pre-defined and fixed level of integrity.</p>
<p>Accordingly, this paper is organized as follows: In Section 2, we define the metrics that are normally used to quantify the performance of GPS-based aircraft approach systems. In Section 3, we describe the details of the WADGPS architecture. Section 4 shows the main processes of the WADGPS master station. In Section 5, we first validate the implementation of the WADGPS using the U.S. NSTB data, and we then conduct several experiments to evaluate the LNAV performance of the WADGPS within Taipei FIR. Finally, Section 6 presents the summary and concluding remarks.</p></sec>
<sec sec-type="methods">
<label>2.</label>
<title>Performance Analysis of the WADGPS System</title>
<p>The Protection Level (PL) calculation [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>] and Stanford Chart [<xref ref-type="bibr" rid="b9-sensors-10-02995">9</xref>,<xref ref-type="bibr" rid="b10-sensors-10-02995">10</xref>] are used as the metrics to evaluate the performance of a GPS-based aircraft approach and landing system. The performance criterion chosen for this paper is the comparison of the LNAV availability. The PL is the computation of the confidence bounds on the post-correction position errors, and the PL calculation is defined in the Minimum Operational Performance Standards for GPS/WAAS Airborne Equipment (WAAS MOPS, RTCA DO-229D) [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>]. The ionospheric delay error and satellite ephemeris and clock errors will be corrected according to the WAAS MOPS, and then the local errors such as the tropospheric delay error and user receiver noise and multipath errors will be removed by a standard model [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>]. The corrected range measurements are used to compute the GPS position and receiver clock errors using weighted least squares as follows:
<disp-formula id="FD1">
<label>(1)</label>
<mml:math display="block">
<mml:mrow>
<mml:mover accent="true">
<mml:mi>x</mml:mi>
<mml:mo>^</mml:mo></mml:mover>
<mml:mo>=</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mi>G</mml:mi></mml:mrow>
<mml:mi>T</mml:mi></mml:msup>
<mml:mi mathvariant="italic">WG</mml:mi></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup>
<mml:msup>
<mml:mrow>
<mml:mi>G</mml:mi></mml:mrow>
<mml:mi>T</mml:mi></mml:msup>
<mml:mi mathvariant="italic">Wy</mml:mi></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p><italic>x̂</italic> is the position and clock errors,</p></list-item>
<list-item>
<p><italic>G</italic> is the observation matrix,</p></list-item>
<list-item>
<p><italic>W</italic> is the weighting matrix for the measurement, and</p></list-item>
<list-item>
<p><italic>y</italic> is the corrected range residual vector.</p></list-item></list></p>
<p>The weighting matrix, <italic>W</italic>, is a diagonal matrix and the inverse of the <italic>i<sup>th</sup></italic> diagonal element is given by the variance for the corresponding satellite, as depicted in <xref ref-type="disp-formula" rid="FD2">Equation (2)</xref>.
<disp-formula id="FD2">
<label>(2)</label>
<mml:math display="block">
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mi>W</mml:mi></mml:mrow>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup>
<mml:mo>=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mrow>
<mml:mtable>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mn>1</mml:mn>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mn>0</mml:mn></mml:mtd>
<mml:mtd>
<mml:mo>⋯</mml:mo></mml:mtd>
<mml:mtd>
<mml:mn>0</mml:mn></mml:mtd></mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mn>0</mml:mn></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mn>2</mml:mn>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mo>⋯</mml:mo></mml:mtd>
<mml:mtd>
<mml:mn>0</mml:mn></mml:mtd></mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mo>⋮</mml:mo></mml:mtd>
<mml:mtd>
<mml:mo>⋮</mml:mo></mml:mtd>
<mml:mtd>
<mml:mo>⋱</mml:mo></mml:mtd>
<mml:mtd>
<mml:mo>⋯</mml:mo></mml:mtd></mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mn>0</mml:mn></mml:mtd>
<mml:mtd>
<mml:mn>0</mml:mn></mml:mtd>
<mml:mtd>
<mml:mo>⋯</mml:mo></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow>
<mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:math></disp-formula>where, 
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></inline-formula> is calculated in <xref ref-type="disp-formula" rid="FD3">Equation (3)</xref>.
<disp-formula id="FD3">
<label>(3)</label>
<mml:math display="block">
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup>
<mml:mo>=</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="italic">flt</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="italic">UIRE</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="italic">air</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="italic">tropo</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="italic">flt</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></inline-formula> is the fast and long-term degradation confidence, which is the confidence bound on satellite clock and ephemeris corrections [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>,<xref ref-type="bibr" rid="b12-sensors-10-02995">12</xref>],</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="italic">UIRE</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></inline-formula> is the user ionospheric range error confidence, which is the confidence bound on ionospheric delay corrections [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>,<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>],</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="italic">air</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></inline-formula> is the airborne receiver error confidence, which is the confidence bound on aircraft user receiver error [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>], and</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="italic">tropo</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></inline-formula> is the tropospheric error confidence, which is the confidence bound on residual tropospheric error [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>].</p></list-item></list></p>
<p>The position error is proportional to the measurement errors and the satellite geometry through the matrix (<italic>G</italic><sup><italic>T</italic></sup><italic>WG</italic>)<sup>−l</sup>. This matrix is composed of the variance from each direction as indicated in <xref ref-type="disp-formula" rid="FD4">Equation (4)</xref>. The variance of the position estimate is shown in <xref ref-type="disp-formula" rid="FD4">Equation (4)</xref> as well:
<disp-formula id="FD4">
<label>(4)</label>
<mml:math display="block">
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mi>G</mml:mi></mml:mrow>
<mml:mi>T</mml:mi></mml:msup>
<mml:mi mathvariant="italic">WG</mml:mi></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup>
<mml:mo>=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mrow>
<mml:mtable>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:msubsup>
<mml:mi>d</mml:mi>
<mml:mi mathvariant="italic">east</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">EN</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">EU</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">ET</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd></mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">EN</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msubsup>
<mml:mi>d</mml:mi>
<mml:mi mathvariant="italic">north</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">NU</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">NT</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd></mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">EU</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">NU</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msubsup>
<mml:mi>d</mml:mi>
<mml:mi>U</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">UT</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd></mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">ET</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">NT</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">UT</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mtd>
<mml:mtd>
<mml:mrow>
<mml:msubsup>
<mml:mi>d</mml:mi>
<mml:mi>T</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow>
<mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">east</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></inline-formula> is variance in the east direction,</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">north</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></inline-formula> is variance in the north direction,</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mi>U</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></inline-formula> is variance in the up direction,</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mi>T</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></inline-formula> is variance in time, and</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>d</mml:mi></mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mi>i</mml:mi>
<mml:mo stretchy="false">)</mml:mo>
<mml:mo stretchy="false">(</mml:mo>
<mml:mi>j</mml:mi>
<mml:mo stretchy="false">)</mml:mo></mml:mrow>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></inline-formula> is covariance in the (<italic>i</italic>) and (<italic>j</italic>) directions, where <italic>E</italic> is east, <italic>N</italic> is north, <italic>U</italic> is up, and <italic>T</italic> is time.</p></list-item></list></p>
<p>The Horizontal Protection Level (HPL) is:
<disp-formula id="FD5">
<label>(5)</label>
<mml:math display="block">
<mml:mrow>
<mml:mi mathvariant="italic">HPL</mml:mi>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>K</mml:mi></mml:mrow>
<mml:mi>H</mml:mi></mml:msub>
<mml:mo>·</mml:mo>
<mml:msqrt>
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:msubsup>
<mml:mi>d</mml:mi>
<mml:mi mathvariant="italic">east</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mi>d</mml:mi>
<mml:mi mathvariant="italic">north</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow>
<mml:mn>2</mml:mn></mml:mfrac>
<mml:mo>+</mml:mo>
<mml:msqrt>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:msubsup>
<mml:mi>d</mml:mi>
<mml:mi mathvariant="italic">east</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:msubsup>
<mml:mi>d</mml:mi>
<mml:mi mathvariant="italic">north</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow>
<mml:mn>2</mml:mn></mml:mfrac></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow>
<mml:mn>2</mml:mn></mml:msup>
<mml:mo>+</mml:mo></mml:mrow></mml:msqrt>
<mml:msubsup>
<mml:mi>d</mml:mi>
<mml:mi mathvariant="italic">EN</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:msqrt></mml:mrow></mml:math></disp-formula>where, the <italic>K<sub>H</sub></italic> equals to 6.18 for Non-Precision Approach (NPA). This is a standard deviation multiplier of the horizontal position error. Through the zero mean Gaussian [<xref ref-type="bibr" rid="b13-sensors-10-02995">13</xref>], the multiplier ensures that the horizontal position error exceeds the HPL at most one time in ten million (10<sup>−7</sup>), the tolerable probability of Hazardously Misleading Information (HMI). The protection level calculation is specified in the WAAS MOPS Appendices A and J [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>]. The HPL is very important and will be used to determine the performance of WADGPS system in this paper.</p>
<p>On the other hand, this paper uses a triangular chart as our WADGPS system performance indicator, called the Stanford Chart [<xref ref-type="bibr" rid="b9-sensors-10-02995">9</xref>]. The Stanford Chart helps us visualize the performance of the corrections and error bounds of a GPS integrity messaging system. The chart helps evaluate availability, accuracy, and integrity. The performance is evaluated in the user position domain in a two-dimensional space. The horizontal axis represents the true position error magnitude, and the vertical axis represents the estimated protection level described above. One Stanford Chart example is shown in <xref ref-type="fig" rid="f2-sensors-10-02995">Figure 2</xref>. There are three major regions: <italic>System Available</italic>, <italic>System Unavailable</italic>, and <italic>Hazardously Misleading information (HMI)</italic>. If the estimated protection level is smaller than the alert limit of a designed operation mode, the service will be <italic>available.</italic> If the estimated protection level is larger than the alert limit of a designed operation mode, the service will be <italic>unavailable</italic>. If the true error is larger than the estimated protection level, it is <italic>hazardously misleading information</italic>, because the protection level is meant to bound the true error and users have no knowledge of the excessive true error. This situation should occur with a probability of less than one in ten million operations or 10<sup>−7</sup> and should be avoided. As a result, this Stanford Chart can intuitively present system performance in terms of accuracy, availability and integrity. The availability of the system can be determined by examining the percentage of points that lie within the service available region [<xref ref-type="bibr" rid="b14-sensors-10-02995">14</xref>].</p></sec>
<sec>
<label>3.</label>
<title>WADGPS Architecture</title>
<p>The WADGPS is a network composed of several Reference Stations (RSs) and a Master Station (MS). The RSs are distributed geographically at the precisely known locations that receive GPS L1-L2 dual-frequency signals and archive the raw observations from the monitored GPS satellites. The GPS L1-L2 dual-frequency measurements collected at each RS are sent to the MS. The MS data collector receives GPS raw measurements from each RS and updates the previous measurements in real time. Moreover, the statuses of GPS signals for all monitored satellites are checked including the rationalities of the code and carrier phase measurement at L1 and L2 frequencies, Signal-to-Noise Ratios (SNR), and Doppler frequency. The raw GPS observations are subsequently processed to reduce local errors by the carrier smoothing method [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>]. The WADGPS MS then uses these smoothed measurements to generate vector corrections for the ionospheric delay, and the satellites ephemeris and clock errors [<xref ref-type="bibr" rid="b3-sensors-10-02995">3</xref>]. In addition to these vector corrections, the messages generated by the MS also include the confidence bounds of these corrections. These messages are packed into the SBAS message format [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>] and then transmitted to users <italic>via</italic> Internet according to the appropriate scheduling time. The WADGPS MS implemented in this paper includes a monitor and control graphic user interface (GUI) to show the real time statuses of all RSs and MS processes. <xref ref-type="fig" rid="f3-sensors-10-02995">Figure 3</xref> shows a diagram that summarizes the overall WADGPS system architecture and data processes.</p></sec>
<sec>
<label>4.</label>
<title>The WADGPS Master Station Processes</title>
<p>The WADGPS master station (MS) receives and processes the measurements from all WADGPS reference stations (RSs). The data collected from each RS is calibrated and used to generate the differential corrections to ionosphere and satellite errors. There are two main correction generation modules: one is for the ionosphere and the other is for satellite errors. WADGPS provides the user with the differential corrections and two system accuracy metrics, namely, the user differential range error (UDRE) and the grid ionospheric vertical error (GIVE) [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>]. This section begins with the introduction of GPS observations, and then presents the dual-frequency carrier smoothing process in Section 4.2. The estimation of ionospheric delay and the calculation of GIVE will be detailed in Section 4.3 and the estimation of satellite errors and the calculation of UDRE will be described in Section 4.4.</p>
<sec>
<label>4.1.</label>
<title>GPS Observations Modeling</title>
<p>Each RS uses a dual-frequency receiver to receive code and carrier phase observations at the L1 and L2 frequencies. These raw observations are sent to the WADGPS master station to process the corrections for common errors and the corresponding confidences [<xref ref-type="bibr" rid="b3-sensors-10-02995">3</xref>,<xref ref-type="bibr" rid="b4-sensors-10-02995">4</xref>]. The common errors include the ionospheric delay and satellites ephemeris and clock errors. The observations are expressed as follows [<xref ref-type="bibr" rid="b1-sensors-10-02995">1</xref>,<xref ref-type="bibr" rid="b15-sensors-10-02995">15</xref>]:
<disp-formula id="FD6">
<label>(6)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mi mathvariant="italic">PR</mml:mi>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:mo>=</mml:mo>
<mml:msubsup>
<mml:mi>ρ</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>b</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub>
<mml:mo>−</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>B</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mi>I</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mi>T</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mi>ν</mml:mi>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></disp-formula>
<disp-formula id="FD7">
<label>(7)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi mathvariant="italic">PR</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>2</mml:mn></mml:mrow></mml:msub>
<mml:mo>=</mml:mo>
<mml:msubsup>
<mml:mi>ρ</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>b</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub>
<mml:mo>−</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>B</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msup>
<mml:mo>+</mml:mo>
<mml:mi>γ</mml:mi>
<mml:msubsup>
<mml:mi>I</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mi>T</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mi>ν</mml:mi>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>L</mml:mi>
<mml:mn>2</mml:mn></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></disp-formula>
<disp-formula id="FD8">
<label>(8)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>ϕ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:mo>=</mml:mo>
<mml:msubsup>
<mml:mi>ρ</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>b</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub>
<mml:mo>−</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>B</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msup>
<mml:mo>−</mml:mo>
<mml:msubsup>
<mml:mi>I</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mi>T</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>N</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:msub>
<mml:mrow>
<mml:mi>λ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></disp-formula>
<disp-formula id="FD9">
<label>(9)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>ϕ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>2</mml:mn></mml:mrow></mml:msub>
<mml:mo>=</mml:mo>
<mml:msubsup>
<mml:mi>ρ</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>b</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub>
<mml:mo>−</mml:mo>
<mml:msup>
<mml:mi>B</mml:mi>
<mml:mi>j</mml:mi></mml:msup>
<mml:mo>−</mml:mo>
<mml:mi>γ</mml:mi>
<mml:msubsup>
<mml:mi>I</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mi>T</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>N</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>2</mml:mn></mml:mrow></mml:msub>
<mml:msub>
<mml:mrow>
<mml:mi>λ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>2</mml:mn></mml:mrow></mml:msub>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>L</mml:mi>
<mml:mn>2</mml:mn></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></disp-formula>
<disp-formula id="FD10">
<label>(10)</label>
<mml:math display="block">
<mml:mrow>
<mml:mi>γ</mml:mi>
<mml:mo>=</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>L</mml:mi></mml:mrow>
<mml:mn>1</mml:mn></mml:msub></mml:mrow>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>L</mml:mi></mml:mrow>
<mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:mfrac></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow>
<mml:mn>2</mml:mn></mml:msup>
<mml:mo>=</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mn>1575.42</mml:mn></mml:mrow>
<mml:mrow>
<mml:mn>1227.6</mml:mn></mml:mrow></mml:mfrac></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow>
<mml:mn>2</mml:mn></mml:msup>
<mml:mo>=</mml:mo>
<mml:mn>1.647</mml:mn></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p><italic>PR</italic> is the pseudorange and the subscripts <italic>L</italic>1 and <italic>L2</italic> indicates L1 and L2 frequencies, respectively,</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>ρ</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> is the geometric range from satellite <italic>j</italic> to user <italic>i</italic>,</p></list-item>
<list-item>
<p><italic>ϕ</italic> is the carrier phase and the subscripts <italic>L</italic>1 and <italic>L2</italic> indicates L1 and L2 frequencies, respectively,</p></list-item>
<list-item>
<p><italic>b</italic> is the receiver clock bias,</p></list-item>
<list-item>
<p><italic>B</italic> is the satellite clock error,</p></list-item>
<list-item>
<p><italic>Nλ</italic> is the integer ambiguities and the subscripts <italic>L</italic>1 and <italic>L2</italic> indicates L1 and L2 frequencies, respectively,</p></list-item>
<list-item>
<p><italic>I</italic> is the ionospheric delay at L1 frequency,</p></list-item>
<list-item>
<p><italic>T</italic> is the tropospheric delay,</p></list-item>
<list-item>
<p><italic>v</italic> is the pseudorange measurements noise and the subscripts <italic>L</italic>1 and <italic>L2</italic> indicates L1 and L2 frequencies, respectively, and</p></list-item>
<list-item>
<p><italic>e</italic> is the carrier phase measurements noise and the subscripts <italic>L</italic>1 and <italic>L2</italic> indicates L1 and L2 frequencies, respectively.</p></list-item></list></p>
<p>The differences in these observation equations are the ionospheric delays. The pseudorange (code phase) measurement is delayed and the carrier phase is advanced, and this is the reason of the sign difference of <italic>I</italic> in Equations (<xref ref-type="disp-formula" rid="FD6">6</xref>–<xref ref-type="disp-formula" rid="FD7">7</xref>) and Equations (<xref ref-type="disp-formula" rid="FD8">8</xref>–<xref ref-type="disp-formula" rid="FD9">9</xref>). This delay is inversely proportional to the signal frequency [<xref ref-type="bibr" rid="b1-sensors-10-02995">1</xref>]. In <xref ref-type="disp-formula" rid="FD7">Equations (7)</xref> and <xref ref-type="disp-formula" rid="FD9">(9)</xref>, <italic>γ</italic> equals 1.647. Thus, the ionospheric delay on L2 is 1.647 times larger than that on L1. Additionally, the carrier phase observations also suffer from integer ambiguity (<italic>Nλ</italic>) [<xref ref-type="bibr" rid="b1-sensors-10-02995">1</xref>].</p></sec>
<sec>
<label>4.2.</label>
<title>Dual-Frequency Carrier Smoothing of Pseudorange and Ionospheric Delays</title>
<p>To mitigate the measurements noise and multipath effects, a dual-frequency carrier smoothing filter is used after raw GPS observations collecting from each RS [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>]. Because the measurement noise of the carrier phase observations are much smaller than that of the pseudorange measurements, the pseudorange and carrier phase are combined to reduce the measurement noise [<xref ref-type="bibr" rid="b1-sensors-10-02995">1</xref>]. The smoothing filter is implemented using three ionospheric measurements from the dual-frequency observables, and the filter design is detailed in [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>]. The ionospheric delay measurements could be derived by the linear combination of GPS L1 and L2 pseudorange and carrier phase observables [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>]:
<disp-formula id="FD11">
<label>(11)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="italic">PR</mml:mi></mml:mrow></mml:msub>
<mml:mo>≡</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:msub>
<mml:mi mathvariant="italic">PR</mml:mi>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>2</mml:mn></mml:mrow></mml:msub>
<mml:mo>−</mml:mo>
<mml:msub>
<mml:mi mathvariant="italic">PR</mml:mi>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow>
<mml:mrow>
<mml:mi>γ</mml:mi>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:mfrac>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>v</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">PR</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></disp-formula>
<disp-formula id="FD12">
<label>(12)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn>
<mml:mo>,</mml:mo>
<mml:mi>ϕ</mml:mi></mml:mrow></mml:msub>
<mml:mo>≡</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>ϕ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:mo>−</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>ϕ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow>
<mml:mrow>
<mml:mi>γ</mml:mi>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:mfrac>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:mo>+</mml:mo>
<mml:mi mathvariant="italic">Amb</mml:mi>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>v</mml:mi></mml:mrow>
<mml:mi>ϕ</mml:mi></mml:msub></mml:mrow></mml:math></disp-formula>
<disp-formula id="FD13">
<label>(13)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn>
<mml:mo>,</mml:mo>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:mo>≡</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi mathvariant="italic">PR</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:mo>−</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>ϕ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow>
<mml:mn>2</mml:mn></mml:mfrac>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:mo>−</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>N</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub>
<mml:msub>
<mml:mrow>
<mml:mi>λ</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow>
<mml:mn>2</mml:mn></mml:mfrac>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>v</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>L</mml:mi>
<mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p><italic>I</italic><sub><italic>L</italic>1</sub> is ionospheric delay at the L1 frequency, the extra subscripts present the observations used in the combination,</p></list-item>
<list-item>
<p><italic>Amb</italic> is the combination of ambiguities from the L1 and L2 carrier phases, and the magnitude of noises are v<sub><italic>PR</italic></sub> &gt; v<sub><italic>L</italic>1</sub> &gt; v<sub><italic>ϕ</italic></sub>[<xref ref-type="bibr" rid="b1-sensors-10-02995">1</xref>].</p></list-item></list></p>
<p>The dual-frequency carrier smoothing filter is depicted in <xref ref-type="fig" rid="f4-sensors-10-02995">Figure 4</xref>. The filter estimated the smoothed ionospheric delay, <italic>Î</italic><sub><italic>smth</italic></sub>, and smoothed ionosphere-free pseudorange, <italic>PR</italic><sub><italic>L</italic>1</sub>. The first step in the filter is to generate <italic>Î</italic><sub><italic>smth</italic></sub> and its confidence by smoothing the <italic>I</italic><sub><italic>L</italic>1,<italic>PR</italic></sub> with the low noise <italic>I</italic><sub><italic>L</italic>1,<italic>ϕ</italic></sub>. Then combining the <italic>Î</italic><sub><italic>smth</italic></sub> and <xref ref-type="disp-formula" rid="FD14">Equation (14)</xref> to estimate the constant <italic>N</italic><sub><italic>L</italic>1</sub><italic>λ</italic><sub><italic>L</italic>1</sub> by moving average. If the cycle slip is not present, the N<sub><italic>L</italic>1</sub>λ<sub><italic>L</italic>1</sub> is constant. Finally, substituting <italic>Î</italic><sub><italic>smth</italic></sub> and N<sub><italic>L</italic>1</sub><italic>λ</italic><sub><italic>L</italic>1</sub> into the L1 carrier phase, <italic>ϕ</italic><sub><italic>L</italic>1</sub> (<italic>i.e.</italic>, <xref ref-type="disp-formula" rid="FD8">Equation (8)</xref>), the ionosphere-free pseudorange, <italic>PR</italic><sub><italic>L</italic>1</sub>, is obtained [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>].</p></sec>
<sec>
<label>4.3.</label>
<title>Ionospheric Corrections</title>
<p>The major functions of the WADGPS master station (MS) are the ionospheric corrections model and the satellites ephemeris and clock errors estimation algorithms. After the dual-frequency carrier smoothing filter outputs the smoothed ionospheric delay, the MS then converts all ionospheric slant delays to the vertical delays at the Ionosphere Pierce Points (IPPs) by the Obliquity Factor (<italic>OF</italic>) [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>]. By doing so, the ionospheric measurement is independent of the elevation angle, and it will be more convenient to use. The location of IPP is defined as the intersection of the line segment from the RS to the satellite and an ellipsoid with constant high above 350 km from earth’s surface [<xref ref-type="bibr" rid="b16-sensors-10-02995">16</xref>]. The next step is to create a vertical ionospheric delay model from the IPP measurements to estimate the ionospheric vertical delay at the Ionosphere Grid Points (IGP), <italic>Î</italic><sub><italic>G</italic></sub>. The Grid Ionospheric Vertical Error (<italic>GIVE</italic>) is provided for each IGP which is a confidence bound of the corrected ionospheric delay residual at the IGP. The following <xref ref-type="disp-formula" rid="FD15">Equations (15)</xref> and <xref ref-type="disp-formula" rid="FD16">(16)</xref> estimate the ionospheric vertical delay at the IGP and <italic>GIVE</italic> by the weighted least-squared algorithm, and the derivations of these equations and <italic>OF</italic> are detailed in [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>]:
<disp-formula id="FD14">
<label>(14)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>I</mml:mi>
<mml:mo>^</mml:mo></mml:mover></mml:mrow>
<mml:mi>G</mml:mi></mml:msub>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">Klobuchar</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>G</mml:mi></mml:mrow></mml:msub>
<mml:mo>·</mml:mo>
<mml:munderover>
<mml:mo>∑</mml:mo>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>=</mml:mo>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mi>k</mml:mi></mml:munderover>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">measure</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:mrow>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">Klobuchar</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mfrac>
<mml:mo>·</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>ω</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow></mml:mrow>
<mml:mo>/</mml:mo>
<mml:munderover>
<mml:mo>∑</mml:mo>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>=</mml:mo>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mi>k</mml:mi></mml:munderover>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>ω</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mrow></mml:math></disp-formula>
<disp-formula id="FD15">
<label>(15)</label>
<mml:math display="block">
<mml:mrow>
<mml:mi mathvariant="italic">GIVE</mml:mi>
<mml:mo>=</mml:mo>
<mml:mn>3.29</mml:mn>
<mml:mo>/</mml:mo>
<mml:munderover>
<mml:mo>∑</mml:mo>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>=</mml:mo>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mi>k</mml:mi></mml:munderover>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>ω</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p><italic>ω</italic><sub><italic>i</italic></sub> is the weight of the <italic>i</italic><sup><italic>th</italic></sup> IPP measurement,</p></list-item>
<list-item>
<p><italic>I</italic><sub><italic>Klobuchar,G</italic></sub> is the vertical ionospheric delay at the grid point using the Klobuchar model parameters [<xref ref-type="bibr" rid="b1-sensors-10-02995">1</xref>],</p></list-item>
<list-item>
<p><italic>I</italic><sub><italic>Measure,i</italic></sub> is the vertical ionospheric delay measurement at the pierce point, and</p></list-item>
<list-item>
<p><italic>I</italic><sub><italic>Klobuchar,i</italic></sub> is the vertical ionospheric delay at the pierce point using the Klobuchar model parameters.</p></list-item></list></p>
<p>The weight is calculated by the inverse of the vertical delay measurements variance according to the correlation distance between the grid point and the IPP as shows in <xref ref-type="disp-formula" rid="FD17">Equation (17)</xref> [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>].
<disp-formula id="FD16">
<label>(16)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>ω</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub>
<mml:mo>=</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>σ</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub></mml:mrow>
<mml:mo>Δ</mml:mo></mml:mfrac></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p><italic>σ</italic><sub><italic>i</italic></sub> is <italic>i</italic><sup><italic>th</italic></sup> vertical ionospheric delay measurements variance [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>], and</p></list-item>
<list-item>
<p>Δ is a function of the correlation distance of the ionosphere [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>].</p></list-item></list></p>
<p>Specifically, this model scales the measurements using the Klobuchar model to transport the measurement from the IPP location to the location of the desired grid point through the relationship of latitude and longitude dependence provided by the Klobuchar model [<xref ref-type="bibr" rid="b16-sensors-10-02995">16</xref>]. The generation process of this grid model is illustrated in the upper plot of <xref ref-type="fig" rid="f5-sensors-10-02995">Figure 5</xref>.</p>
<p>The bottom plot of <xref ref-type="fig" rid="f5-sensors-10-02995">Figure 5</xref> describes the ionospheric correction algorithm for WADGPS user receiver which uses the nearest IGPs around the IPP to estimate the vertical ionospheric delay at a specific IPP by the interpolation algorithm. The interpolation algorithm is expressed as:
<disp-formula id="FD17">
<label>(17)</label>
<mml:math display="block">
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">IPP</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>V</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">Esti</mml:mi></mml:mrow></mml:msubsup>
<mml:mo>=</mml:mo>
<mml:munderover>
<mml:mo>∑</mml:mo>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>=</mml:mo>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mn>4</mml:mn></mml:munderover>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>W</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>x</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">IPP</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow></mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>y</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">IPP</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow>
<mml:mo>·</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">IGP</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>V</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mrow></mml:math></disp-formula>
<disp-formula id="FD18">
<label>(18)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mi mathvariant="italic">UIVE</mml:mi>
<mml:mrow>
<mml:mi mathvariant="italic">IPP</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow></mml:msub>
<mml:mo>=</mml:mo>
<mml:munderover>
<mml:mo>∑</mml:mo>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>=</mml:mo>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mn>4</mml:mn></mml:munderover>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>W</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>x</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">IPP</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow></mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>y</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">IPP</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow>
<mml:mo>·</mml:mo>
<mml:msub>
<mml:mi mathvariant="italic">GIVE</mml:mi>
<mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">IPP</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>V</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">Esti</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:math></inline-formula> is the vertical ionospheric delay at the <italic>i</italic><sup><italic>th</italic></sup> IPP, estimated with the broadcasted ionospheric corrections,</p></list-item>
<list-item>
<p><italic>W</italic><sub><italic>i</italic></sub>(<italic>x</italic><sub><italic>IPP,i</italic></sub>,<italic>y</italic><sub><italic>IPP,i</italic></sub>) is the weighting factor of the <italic>i</italic><sup><italic>th</italic></sup> IPP whose location is (<italic>x</italic><sub><italic>IPP,i</italic></sub>,<italic>y</italic><sub><italic>IPP</italic></sub>,<sub><italic>i</italic></sub>) [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>],</p></list-item>
<list-item>
<p><italic>I</italic><sub><italic>IGP,V,i</italic></sub> is the broadcast vertical ionospheric delay at <italic>i</italic><sup><italic>th</italic></sup> IGP,</p></list-item>
<list-item>
<p><italic>UIVE</italic><sub><italic>IPP,i</italic></sub> is the user ionospheric vertical error (UIVE) which is a 99.9% confidence (error bound) on the post-correction ionospheric vertical delay residual [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>], and</p></list-item>
<list-item>
<p><italic>GIVE</italic><sub><italic>i</italic></sub> is a confidence bound of the corrected ionospheric delay residual at the <italic>i</italic><sup><italic>th</italic></sup> IGP.</p></list-item></list></p>
<p>The MS generates the grid model and its confidence with feedback information to ensure that GIVE covers 99.9% of the corrected ionospheric residuals statistically. Therefore, the MS uses the grid model to estimate the vertical ionospheric delays of the RSs and their confidences (UIVE). Then, the master station can determine if the UIVE bounds the difference of ionospheric delays from the grid model (based on above user algorithms, <xref ref-type="disp-formula" rid="FD17">Equations (17)</xref>) and that from the RSs’ own dual-frequency measurements. If not, the MS must increases the GIVEs of the four grid points surrounding the IPP measurement. After checking all IPPs from the entire network, the GIVEs are guaranteed to cover 99.9% of the corrected ionospheric residuals statistically [<xref ref-type="bibr" rid="b11-sensors-10-02995">11</xref>]. <xref ref-type="fig" rid="f6-sensors-10-02995">Figure 6</xref> summarizes this process.</p></sec>
<sec>
<label>4.4.</label>
<title>Satellite Ephemeris and Clock Corrections</title>
<p>This section describes the MS procedures for satellite ephemeris and clock errors estimations. <xref ref-type="fig" rid="f7-sensors-10-02995">Figure 7</xref> depicts the flow chart regarding the calculations of the satellites ephemeris and clock errors including the Common View Time Transfer (CVTT), ephemeris error estimation, satellite clock error estimation, and the User Differential Range Error (UDRE) estimation [<xref ref-type="bibr" rid="b4-sensors-10-02995">4</xref>,<xref ref-type="bibr" rid="b12-sensors-10-02995">12</xref>].</p>
<p>The CVTT filter synchronizes the measurements with a common reference time and decouples the measurements sequentially for each satellite to eliminate the receiver clock bias. To find the difference of the clock biases between two RSs, CVTT filter obtains the synchronized pseudorange residuals from the first difference between the pseudorange residuals of two stations as shown in <xref ref-type="disp-formula" rid="FD19">Equation (19)</xref>, and the CVTT implementation is illustrated in <xref ref-type="fig" rid="f8-sensors-10-02995">Figure 8</xref> [<xref ref-type="bibr" rid="b12-sensors-10-02995">12</xref>]:
<disp-formula id="FD19">
<label>(19)</label>
<mml:math display="block">
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mo>Δ</mml:mo></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>=</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>ρ</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>ρ</mml:mi></mml:mrow>
<mml:mi>I</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>=</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>R</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msup>
<mml:mo>·</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>I</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow>
<mml:mo>+</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>b</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>I</mml:mi></mml:mrow></mml:msub>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>ν</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p>Δ<italic>R</italic><sup><italic>j</italic></sup> is the ephemeris error,</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> is the unit line of sight vector from the <italic>i</italic> RS to the <italic>j</italic> satellite,</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>I</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> is the unit line of sight vector from the <italic>I</italic> RS to the <italic>j</italic> satellites,</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>I</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is the line of sight difference,</p></list-item>
<list-item>
<p>Δ<italic>b</italic><sub><italic>i</italic></sub>,<sub><italic>I</italic></sub> is the clock difference, and</p></list-item>
<list-item>
<p>
<inline-formula>
<mml:math>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>ν</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> is the measurement noise.</p></list-item></list></p>
<p>Then, the clock bias difference, Δ<italic>b̂</italic><sub><italic>i,I</italic></sub>, is described in <xref ref-type="disp-formula" rid="FD20">Equation (20)</xref>:
<disp-formula id="FD20">
<label>(20)</label>
<mml:math display="block">
<mml:mrow>
<mml:mo>Δ</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>b</mml:mi>
<mml:mo>^</mml:mo></mml:mover></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>I</mml:mi></mml:mrow></mml:msub>
<mml:mo>=</mml:mo>
<mml:mfrac>
<mml:mn>1</mml:mn>
<mml:mi>k</mml:mi></mml:mfrac>
<mml:munderover>
<mml:mo>∑</mml:mo>
<mml:mrow>
<mml:mi>j</mml:mi>
<mml:mo>=</mml:mo>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mi>k</mml:mi></mml:munderover>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mo>Δ</mml:mo></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>I</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:mrow></mml:math></disp-formula>where <italic>k</italic> is the number of satellites in the common view of both RSs.</p>
<p>Through the CVTT module, the pseudorange residuals from all RSs are synchronized based on a common clock, and the pseudorange residuals consist of satellite ephemeris and clock errors. The corrections to the ephemeris error and the clock error have to be sent frequently, and they occupy lots of bandwidth. To reduce the bandwidth, separating the satellite clock error term is necessary. Therefore, the single difference is used to remove the satellite clock error term as shown in the following equation:
<disp-formula id="FD21">
<label>(21)</label>
<mml:math display="block">
<mml:mrow>
<mml:mo>Δ</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>ρ</mml:mi>
<mml:mo>˜</mml:mo></mml:mover></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>ρ</mml:mi>
<mml:mo>˜</mml:mo></mml:mover></mml:mrow>
<mml:mi>m</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>=</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>R</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msup>
<mml:mo>·</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>m</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>ε</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p>Δ<italic>R</italic><sup><italic>j</italic></sup> is ephemeris error which is this process solving for, and</p></list-item>
<list-item>
<p>the subscript “<italic>m</italic>” denotes the key RS which has the smallest variance [<xref ref-type="bibr" rid="b12-sensors-10-02995">12</xref>].</p></list-item></list></p>
<p>Then, the <xref ref-type="disp-formula" rid="FD21">Equation (21)</xref> is re-written in matrix forms as follows:
<disp-formula id="FD22">
<label>(22)</label>
<mml:math display="block">
<mml:mrow>
<mml:mi>z</mml:mi>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>H</mml:mi></mml:mrow>
<mml:mi>e</mml:mi></mml:msub>
<mml:mo>·</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>R</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msup>
<mml:mo>+</mml:mo>
<mml:mi>ν</mml:mi></mml:mrow></mml:math></disp-formula>where:
<disp-formula>
<mml:math display="block">
<mml:mrow>
<mml:mi>z</mml:mi>
<mml:mo>=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mrow>
<mml:mtable>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mo>Δ</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>ρ</mml:mi>
<mml:mo>˜</mml:mo></mml:mover></mml:mrow>
<mml:mn>1</mml:mn>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>ρ</mml:mi>
<mml:mo>˜</mml:mo></mml:mover></mml:mrow>
<mml:mi>m</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:mtd></mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mo>⋮</mml:mo></mml:mtd></mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mo>Δ</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>ρ</mml:mi>
<mml:mo>˜</mml:mo></mml:mover></mml:mrow>
<mml:mrow>
<mml:mi>N</mml:mi>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>ρ</mml:mi>
<mml:mo>˜</mml:mo></mml:mover></mml:mrow>
<mml:mi>m</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow>
<mml:mo>]</mml:mo></mml:mrow>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>H</mml:mi></mml:mrow>
<mml:mi>e</mml:mi></mml:msub>
<mml:mo>=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mrow>
<mml:mtable>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mn>1</mml:mn>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>m</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:mtd></mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mo>⋮</mml:mo></mml:mtd></mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>N</mml:mi>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>m</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow>
<mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:math></disp-formula>
<list list-type="simple">
<list-item>
<p>Δ<italic>R</italic><sup><italic>j</italic></sup> is the ephemeris error which will be denoted as <italic>x</italic> in following discussions,</p></list-item>
<list-item>
<p><italic>N</italic> is number of synchronized RSs, and</p></list-item>
<list-item>
<p><italic>v</italic> is measurement noise with zero mean and variance of <italic>W</italic>.</p></list-item></list></p>
<p>As indicated in <xref ref-type="disp-formula" rid="FD23">Equation (23)</xref>, the satellite position errors are estimated by the minimum variance estimator [<xref ref-type="bibr" rid="b4-sensors-10-02995">4</xref>]:
<disp-formula id="FD23">
<label>(23)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>x</mml:mi>
<mml:mo>^</mml:mo></mml:mover></mml:mrow>
<mml:mrow>
<mml:mi>M</mml:mi>
<mml:mi>V</mml:mi></mml:mrow></mml:msub>
<mml:mo>=</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mo>Λ</mml:mo></mml:mrow>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup>
<mml:mo>+</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>H</mml:mi></mml:mrow>
<mml:mi>T</mml:mi></mml:msup>
<mml:msup>
<mml:mrow>
<mml:mi>W</mml:mi></mml:mrow>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup>
<mml:mi>H</mml:mi></mml:mrow>
<mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:mrow></mml:mrow>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup>
<mml:msup>
<mml:mrow>
<mml:mi>H</mml:mi></mml:mrow>
<mml:mi>T</mml:mi></mml:msup>
<mml:msup>
<mml:mrow>
<mml:mi>W</mml:mi></mml:mrow>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup>
<mml:mi>z</mml:mi></mml:mrow></mml:math></disp-formula>where:
<disp-formula>
<mml:math display="block">
<mml:mrow>
<mml:mo>Λ</mml:mo>
<mml:mo>=</mml:mo>
<mml:mi>E</mml:mi>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:msup>
<mml:mrow>
<mml:mi>x</mml:mi></mml:mrow>
<mml:mi>T</mml:mi></mml:msup></mml:mrow>
<mml:mo>]</mml:mo></mml:mrow>
<mml:mo>,</mml:mo>
<mml:mi>W</mml:mi>
<mml:mo>=</mml:mo>
<mml:mtext>cov</mml:mtext>
<mml:mo stretchy="false">(</mml:mo>
<mml:mi>ν</mml:mi>
<mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:math></disp-formula></p>
<p>After estimating the ephemeris error by the minimum variance method, the clock error measurements for all satellites can be derived from the synchronized pseudorange residuals. <xref ref-type="disp-formula" rid="FD24">Equation (24)</xref> shows the clock error measurements for the <italic>j</italic><sup><italic>th</italic></sup> satellite from the <italic>i</italic><sup><italic>th</italic></sup> RS [<xref ref-type="bibr" rid="b12-sensors-10-02995">12</xref>]:
<disp-formula id="FD24">
<label>(24)</label>
<mml:math display="block">
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>z</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>i</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>=</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>R</mml:mi>
<mml:mo>^</mml:mo></mml:mover></mml:mrow>
<mml:mi>j</mml:mi></mml:msup>
<mml:mo>·</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>−</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>ρ</mml:mi>
<mml:mo>˜</mml:mo></mml:mover></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>=</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>B</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msup>
<mml:mo>+</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>n</mml:mi></mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>j</mml:mi></mml:msubsup></mml:mrow></mml:math></disp-formula></p>
<p>Then, the <xref ref-type="disp-formula" rid="FD24">Equation (24)</xref> is re-written in matrix forms as follows:
<disp-formula id="FD25">
<label>(25)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>z</mml:mi></mml:mrow>
<mml:mi>c</mml:mi></mml:msub>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>H</mml:mi></mml:mrow>
<mml:mi>c</mml:mi></mml:msub>
<mml:mo>Δ</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>B</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msup>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>n</mml:mi></mml:mrow>
<mml:mi>c</mml:mi></mml:msub></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p>the subscript <italic>c</italic> denotes clock,</p></list-item>
<list-item>
<p><italic>H</italic><sub><italic>c</italic></sub> is a column vector with all 1’s,</p></list-item>
<list-item>
<p><italic>n</italic><sub><italic>c</italic></sub> is the measurement noise with covariance matrix <italic>W</italic><sub><italic>c</italic></sub>.</p></list-item></list></p>
<p>In <xref ref-type="disp-formula" rid="FD26">Equation (26)</xref>, a weighted least-square method is used to derive the satellite clock error [<xref ref-type="bibr" rid="b12-sensors-10-02995">12</xref>].
<disp-formula id="FD26">
<label>(26)</label>
<mml:math display="block">
<mml:mrow>
<mml:mo>Δ</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>B</mml:mi>
<mml:mo>^</mml:mo></mml:mover></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">WLS</mml:mi></mml:mrow>
<mml:mi>j</mml:mi></mml:msubsup>
<mml:mo>=</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:msup>
<mml:mi>H</mml:mi>
<mml:mi>T</mml:mi></mml:msup></mml:mrow>
<mml:mi>c</mml:mi></mml:msub>
<mml:msub>
<mml:mrow>
<mml:msup>
<mml:mi>W</mml:mi>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup></mml:mrow>
<mml:mi>c</mml:mi></mml:msub>
<mml:msub>
<mml:mrow>
<mml:mi>H</mml:mi></mml:mrow>
<mml:mi>c</mml:mi></mml:msub></mml:mrow>
<mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:mrow></mml:mrow>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup>
<mml:msub>
<mml:mrow>
<mml:msup>
<mml:mi>H</mml:mi>
<mml:mi>T</mml:mi></mml:msup></mml:mrow>
<mml:mi>c</mml:mi></mml:msub>
<mml:msub>
<mml:mrow>
<mml:msup>
<mml:mi>W</mml:mi>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup></mml:mrow>
<mml:mi>c</mml:mi></mml:msub>
<mml:msub>
<mml:mrow>
<mml:mi>z</mml:mi></mml:mrow>
<mml:mi>c</mml:mi></mml:msub></mml:mrow></mml:math></disp-formula></p>
<p>Finally, to bound and indicate the uncertainty of the satellite ephemeris and clock corrected pseudorange, UDRE is calculated for each visible satellite as in <xref ref-type="disp-formula" rid="FD27">Equation (27)</xref> [<xref ref-type="bibr" rid="b17-sensors-10-02995">17</xref>]:
<disp-formula id="FD27">
<label>(27)</label>
<mml:math display="block">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>P</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">UDRE</mml:mi></mml:mrow></mml:msub>
<mml:mo>=</mml:mo>
<mml:mi>R</mml:mi>
<mml:mo>+</mml:mo>
<mml:mi>H</mml:mi>
<mml:mover accent="true">
<mml:mi>P</mml:mi>
<mml:mo>^</mml:mo></mml:mover>
<mml:msup>
<mml:mrow>
<mml:mi>H</mml:mi></mml:mrow>
<mml:mi>T</mml:mi></mml:msup></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p><italic>R</italic> is the measurement covariance matrix of the synchronized pseudorange residuals,</p></list-item>
<list-item>
<p><italic>P̂</italic> is the covariance of the estimated ephemeris and clock errors, and</p></list-item>
<list-item>
<p><italic>H</italic> is the design matrix composed by unit length line of sight vectors and satellites clock term, and the line of sight vectors cover all users inside the reference network [<xref ref-type="bibr" rid="b12-sensors-10-02995">12</xref>].</p></list-item></list></p>
<p>The UDRE value is calculated in <xref ref-type="disp-formula" rid="FD29">Equation (29)</xref>:
<disp-formula id="FD28">
<label>(28)</label>
<mml:math display="block">
<mml:mrow>
<mml:msubsup>
<mml:mi>σ</mml:mi>
<mml:mi mathvariant="italic">UDRE</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup>
<mml:mo>=</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:munderover>
<mml:mo>∑</mml:mo>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>=</mml:mo>
<mml:mn>1</mml:mn></mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mo>=</mml:mo>
<mml:mi>m</mml:mi></mml:mrow></mml:munderover>
<mml:mrow>
<mml:mfrac>
<mml:mn>1</mml:mn>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>P</mml:mi></mml:mrow>
<mml:mrow>
<mml:mi mathvariant="italic">UDRE</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="italic">ii</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mfrac></mml:mrow></mml:mrow>
<mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow>
<mml:mrow>
<mml:mo>−</mml:mo>
<mml:mn>1</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math></disp-formula>
<disp-formula id="FD29">
<label>(29)</label>
<mml:math display="block">
<mml:mrow>
<mml:mi mathvariant="italic">UDRE</mml:mi>
<mml:mo>=</mml:mo>
<mml:mn>3.29</mml:mn>
<mml:mo>×</mml:mo>
<mml:msubsup>
<mml:mi>σ</mml:mi>
<mml:mi mathvariant="italic">UDRE</mml:mi>
<mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:math></disp-formula>where <italic>P</italic><sub><italic>UDRE,ii</italic></sub> is the <italic>i</italic><sup><italic>th</italic></sup> diagonal element of the <italic>P</italic><sub><italic>UDRE</italic></sub>.</p>
<p>When the WADGPS users receive the satellite ephemeris and clock corrections, the corrections need to be converted to the pseudorange domain. <xref ref-type="disp-formula" rid="FD30">Equation (30)</xref> shows the pseudorange correction error for satellite <italic>i</italic> which is corrected by satellite ephemeris and clock errors, and this pseudorange correction error has to be bounded by the combined UDRE and pseudorange sigma values [<xref ref-type="bibr" rid="b12-sensors-10-02995">12</xref>]:
<disp-formula id="FD30">
<label>(30)</label>
<mml:math display="block">
<mml:mrow>
<mml:msubsup>
<mml:mi>ρ</mml:mi>
<mml:mi mathvariant="italic">corrected</mml:mi>
<mml:mi>i</mml:mi></mml:msubsup>
<mml:mo>=</mml:mo>
<mml:msup>
<mml:mi mathvariant="italic">PR</mml:mi>
<mml:mi>i</mml:mi></mml:msup>
<mml:mo>−</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>R</mml:mi>
<mml:mo>^</mml:mo></mml:mover></mml:mrow>
<mml:mi>i</mml:mi></mml:msup>
<mml:mo>·</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>l</mml:mi></mml:mrow>
<mml:mi>i</mml:mi></mml:msup>
<mml:mo>+</mml:mo>
<mml:mo>Δ</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>B</mml:mi>
<mml:mo>^</mml:mo></mml:mover></mml:mrow>
<mml:mi>i</mml:mi></mml:msup></mml:mrow></mml:math></disp-formula>where:
<list list-type="simple">
<list-item>
<p><italic>PR</italic><sup><italic>i</italic></sup> is pseudorange from the <italic>i</italic><sup><italic>th</italic></sup> visible satellite,</p></list-item>
<list-item>
<p>Δ<italic>R</italic><sup><italic>i</italic></sup> is satellite ephemeris corrections,</p></list-item>
<list-item>
<p><italic>l</italic><sup><italic>i</italic></sup> is line of sight vector from the user to the satellite, and</p></list-item>
<list-item>
<p>Δ<italic>B̂</italic><sup><italic>i</italic></sup> is clock corrections.</p></list-item></list></p></sec></sec>
<sec>
<label>5.</label>
<title>Experiments and Performance Evaluation</title>
<p>To implement the WADGPS system in Taipei flight information region (FIR), the stable RSs collection of dual-frequency GPS observations are essential. This paper uses the e-GPS observation stations in Taiwan as the WADGPS RSs, and the e-GPS observation stations are operated by Taiwan Ministry of Interior. The WADGPS RSs send four types of raw dual-frequency GPS observations to the WADGPS MS including:
<list list-type="simple">
<list-item>
<p>■ Range data: it is composed of L1-L2 dual-frequency pseudorange, carrier phase, Doppler frequency, and signal to noise ratio of each satellite in view by the network [<xref ref-type="bibr" rid="b1-sensors-10-02995">1</xref>]. The data update rate is 1 Hz.</p></list-item>
<list-item>
<p>■ Ephemeris data [<xref ref-type="bibr" rid="b15-sensors-10-02995">15</xref>]: it includes GPS orbit parameters and satellite clock correction coefficients of each satellite in view by the network. It is updated every 50 seconds.</p></list-item>
<list-item>
<p>■ Almanac data [<xref ref-type="bibr" rid="b15-sensors-10-02995">15</xref>]: it consists of the simplified GPS orbit parameters. It is updated every 500 seconds.</p></list-item>
<list-item>
<p>■ The Klobuchar model coefficients [<xref ref-type="bibr" rid="b15-sensors-10-02995">15</xref>]: it provides the common ionospheric model for single frequency users. It is updated every 500 seconds</p></list-item></list></p>
<sec sec-type="methods">
<label>5.1.</label>
<title>WADGPS Implementation Procedures</title>
<p>The WADGPS system implemented in this paper is based on that of the NSTB which is operated by FAA in the United States. Therefore, the NSTB archive data are used to verify the WADGPS performance. On the other hand, the GPS receivers used in the e-GPS observation stations might be different, for ease of data processing, the common GPS observation data format, the Receiver INdependent EXchange format (RINEX), is adopted for this work. Before the WADGS MS can use the observations to generate the WADGPS messages, the RINEX data needs to be decoded and organized in a proper format. <xref ref-type="fig" rid="f9-sensors-10-02995">Figure 9</xref> shows the experiment setup. A computer is used to collect the RINEX data and NSTB archive data for data pre-process which transforms them into the WADGPS data format. This computer then sends the GPS observations to the WADGPS MS <italic>via</italic> the Internet to execute the WADGPS MS algorithms to generate the corresponding WADGPS messages. Finally, the WADGPS messages are sent to the WADGPS users <italic>via</italic> the Internet.</p>
<p>To evaluate the performance of the WADGPS developed in this work, a WADGPS user monitor is developed based on WAAS MOPS [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>] and its flow chart is depicted in <xref ref-type="fig" rid="f10-sensors-10-02995">Figure 10</xref>. The operating system (OS) of the WADGPS user monitor is FreeBSD [<xref ref-type="bibr" rid="b18-sensors-10-02995">18</xref>] and the process is developed using C language and Open Motif [<xref ref-type="bibr" rid="b19-sensors-10-02995">19</xref>]. After receiving and decoding the WADGPS messages, the WADGPS user applies the vector corrections to the GPS measurements according to WAAS MOPS. In addition, the protection level (PL) is calculated based on the received integrity messages [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>]. The Horizontal Protection Level (HPL) calculation is also defined in WAAS MOPS [<xref ref-type="bibr" rid="b8-sensors-10-02995">8</xref>]. For the convenience of monitoring the WADGPS MS processes, this work also develops a Graphic User Interface (GUI) to show the WADGPS MS status. <xref ref-type="fig" rid="f11-sensors-10-02995">Figures 11</xref> to <xref ref-type="fig" rid="f13-sensors-10-02995">13</xref> depict the master station monitor and control GUI. In <xref ref-type="fig" rid="f11-sensors-10-02995">Figure 11</xref>, the first row describes the GPS time and the message types generated by the master station. The GPS satellites corrections status window also includes the satellite position error corrections in the ECEF coordinate, satellite clock error corrections, the UDRE and the health flag for each satellite. For the ionospheric grid corrections, <xref ref-type="fig" rid="f12-sensors-10-02995">Figure 12</xref> shows the ionospheric vertical delays and their GIVE values at the grid points. <xref ref-type="fig" rid="f13-sensors-10-02995">Figure 13</xref> exhibits the reference stations status which includes their positioning results and the satellites in view. The other status windows include the reference stations distribution map, the ground tracks of the satellites in view, and the WADGPS system status.</p></sec>
<sec sec-type="methods">
<label>5.2.</label>
<title>WADGPS Performance Analysis</title>
<p>This paper first used four NSTB reference stations to validate the implementation of the WADGPS system, and three of them are used as the WADGPS RSs and one acts as the WADGPS user. The RSs distribution is shown in <xref ref-type="fig" rid="f14-sensors-10-02995">Figure 14</xref>. The blue RSs are used as the WADGPS RSs, and the yellow RS is used as the WADGPS user. Three-day data is used in this process and they are dated from 2008/12/13 to 2008/12/15. Because the locations of these NSTB RSs are precisely known, we could use them to perform the positioning performance analysis. <xref ref-type="fig" rid="f15-sensors-10-02995">Figure 15</xref> shows the positioning error distributions in both east and north directions when the WADGPS user applies the WADGPS messages generated by the implemented WADGPS MS with three NSTB RSs. The vertical positioning error distribution is shown in <xref ref-type="fig" rid="f16-sensors-10-02995">Figure 16</xref>. In these figures, the blue dashed line indicates the 95% error bounds on the positioning errors. To show the benefits of using the WADGPS corrections, comparisons of two positioning methods are summarized in <xref ref-type="table" rid="t2-sensors-10-02995">Tables 2</xref> and <xref ref-type="table" rid="t3-sensors-10-02995">3</xref>. The GPS positioning performance with the WADGPS corrections outperforms the stand alone GPS positioning performance. As a result, the positioning accuracy is improved by the implementation of WADGPS. Furthermore, this paper uses the same three-day data to verify the integrity of the WADGPS MS algorithms, and <xref ref-type="fig" rid="f17-sensors-10-02995">Figure 17</xref> shows that the HPL values successfully bound the horizontal positioning errors. <xref ref-type="fig" rid="f18-sensors-10-02995">Figure 18</xref> uses Stanford Chart to validate the LNAV performance of this WADGPS system. As shown in this figure, this WADGPS implementation could provide the LNAV service with no HMI for entire three days period (<italic>i.e.,</italic> availability &gt; 99.999%). The number of satellites used in the solutions is shown in <xref ref-type="fig" rid="f19-sensors-10-02995">Figure 19</xref>. Thus, the WADGPS system implemented in this work is validated.</p>
<p>Next, this work uses the e-GPS observation stations operated by Taiwan MOI to evaluate the LNAV performance of the WADGPS implementation. The e-GPS observation stations distribution is shown in <xref ref-type="fig" rid="f20-sensors-10-02995">Figure 20</xref>, and their locations are listed in <xref ref-type="table" rid="t4-sensors-10-02995">Table 4</xref>. In order to evaluate the performance change due to the number of RSs, this paper uses two kinds of WADGPS RSs constellations in Taipei FIR. One uses three RSs (<italic>i.e.,</italic> RS 1, RS 2 and RS 3) and the other uses four RSs (<italic>i.e.,</italic> RSs 1–4). The RS 5 is used as the WADGPS user in the experiments. Five-day data is used in the experiments and they are dated from 2009/10/01 to 2009/10/05.</p>
<p>For the WADGPS system with three RSs in Taipei FIR, <xref ref-type="fig" rid="f21-sensors-10-02995">Figure 21</xref> shows the positioning error distributions in both east and north directions, and <xref ref-type="fig" rid="f22-sensors-10-02995">Figure 22</xref> shows the vertical positioning errors distribution. As for the integrity of this WADGPS implementation, the HPL values effectively bound the horizontal positioning errors, as shown in <xref ref-type="fig" rid="f23-sensors-10-02995">Figure 23</xref>. As depicted in <xref ref-type="fig" rid="f24-sensors-10-02995">Figure 24</xref>, the LNAV service availability is 99.977% over the five-day period for the developed WADGPS system with three RSs. As shown in <xref ref-type="fig" rid="f24-sensors-10-02995">Figure 24</xref>, there is no data sample located in the red region (<italic>i.e.,</italic> the hazardously misleading information (HMI) region) of the figure, in other words, the horizontal protection level (HPL) calculated by this WADGPS architecture successfully bound the horizontal positioning error. As a result, the integrity (defined in Section 2) of this WADGPS implementation is ensured. The number of satellites used in the solutions is shown in <xref ref-type="fig" rid="f25-sensors-10-02995">Figure 25</xref>.</p>
<p>To achieve possible improvement of the system performance, this WADGPS implementation adds one more e-GPS observation station (Station number 4 in <xref ref-type="table" rid="t4-sensors-10-02995">Table 4</xref>) to be the fourth RSs. <xref ref-type="fig" rid="f26-sensors-10-02995">Figure 26</xref> shows that the HPL values also bound the horizontal positioning errors successfully. <xref ref-type="fig" rid="f27-sensors-10-02995">Figure 27</xref> shows the Stanford Chart of the WADGPS system with four RSs. In comparison to <xref ref-type="fig" rid="f24-sensors-10-02995">Figure 24</xref>, the total number of the epochs is increased from 380,142 epochs to 401,739 epochs (<italic>i.e.</italic>, 21,597 more epochs), and the LNAV service availability is improved from 99.977% to 99.995%. Additionally, system unavailable epochs is reduced from 86 to 22. <xref ref-type="table" rid="t5-sensors-10-02995">Tables 5</xref> and <xref ref-type="table" rid="t6-sensors-10-02995">6</xref> summarize the comparison of the positioning performance. The results show that the WADGPS system with four RSs performs slightly better than the WADGPS system with three RSs.</p></sec></sec>
<sec sec-type="conclusions">
<label>6.</label>
<title>Conclusions</title>
<p>This paper implemented a Wide Area Differential Global Positioning System (WADGPS) system in Taipei Flight Information Region. The National Satellite Test Bed (NSTB) Reference Stations (RSs) were first used as the WADGPS RSs to validate the implementation. As shown in the three days validation results, the WADGPS system can provide enhanced GPS positioning services with full integrity required by the Lateral NAVigation (LNAV) service for civil aviation. This paper then used the e-GPS observation stations operated by Taiwan Ministry of Interior (MOI) as the WADGPS RSs in Taipei FIR. Two kinds of WADGPS RSs constellations were utilized in this work, and one used three RSs and the other used four RSs. Five-day data were used to analyze both WADGPS implementations. The results showed that the WADGPS system with four RSs performed slightly better than that with three RSs. Importantly, in Taipei FIR, both WADGPS implementations can successfully provide LNAV service with integrity required by civil aviation.</p></sec></body>
<back>
<ack>
<p>The work presented in this paper is supported by Taiwan National Science Council under the research grant NSC 98-2221-E-006-122. The authors gratefully acknowledge this support. The authors would also like to thank Taiwan Ministry of Interior, FAA Technical Center (NJ., USA), and Stanford GPS Research Laboratory of Stanford University for providing the GPS observation data sets and their thoughtful comments.</p></ack>
<ref-list>
<title>References and Notes</title>
<ref id="b1-sensors-10-02995"><label>1.</label><citation citation-type="book"><person-group person-group-type="author"><name><surname>Enge</surname><given-names>P.</given-names></name><name><surname>Misra</surname><given-names>P.</given-names></name></person-group><source>Global Positioning System: Signals, Measurements, and Performance</source><edition>2nd ed</edition><publisher-name>Ganga-Jamuna Press</publisher-name><publisher-loc>Lincoln, MA, USA</publisher-loc><year>2006</year></citation></ref>
<ref id="b2-sensors-10-02995"><label>2.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Enge</surname><given-names>P.</given-names></name></person-group><article-title>Local Area Augmentation of GPS for the Precision Approach of Aircraft</article-title><source>Proc. IEEE</source><year>1999</year><volume>87</volume><fpage>111</fpage><lpage>132</lpage><pub-id pub-id-type="doi">10.1109/5.736345</pub-id></citation></ref>
<ref id="b3-sensors-10-02995"><label>3.</label><citation citation-type="other"><person-group person-group-type="author"><name><surname>Kee</surname><given-names>C.</given-names></name></person-group><article-title>Wide Area Differential GPS (WADGPS)</article-title><comment>Ph.D. Thesis, Department of Aeronautics and Astronautics, Stanford University, CA, USA, 1993.</comment></citation></ref>
<ref id="b4-sensors-10-02995"><label>4.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Enge</surname><given-names>P.</given-names></name><name><surname>Walter</surname><given-names>T.</given-names></name><name><surname>Pullen</surname><given-names>S.</given-names></name><name><surname>Kee</surname><given-names>C.</given-names></name><name><surname>Chao</surname><given-names>Y.C.</given-names></name><name><surname>Tsai</surname><given-names>Y.J.</given-names></name></person-group><article-title>Wide Area Augmentation of the Global Positioning System</article-title><source>Proc. IEEE</source><year>1996</year><volume>84</volume><fpage>1063</fpage><lpage>1088</lpage><pub-id pub-id-type="doi">10.1109/5.533954</pub-id></citation></ref>
<ref id="b5-sensors-10-02995"><label>5.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Pringvanich</surname><given-names>N.</given-names></name><name><surname>Satirapod</surname><given-names>C.</given-names></name></person-group><article-title>SBAS Algorithm Performance in the Implementation of the ASIAPACIFIC GNSS Test Bed</article-title><source>J. Navig</source><year>2007</year><volume>60</volume><fpage>363</fpage><lpage>371</lpage><pub-id pub-id-type="doi">10.1017/S0373463307004274</pub-id></citation></ref>
<ref id="b6-sensors-10-02995"><label>6.</label><citation citation-type="book"><person-group person-group-type="author"><collab>International Civil Aviation Organization (ICAO)</collab></person-group><source>GNSS SARPs (Standards and Recommended Practices for the Global Navigation Satellite System)</source><publisher-name>ICAO</publisher-name><publisher-loc>Quebec, Canada</publisher-loc><year>1999</year></citation></ref>
<ref id="b7-sensors-10-02995"><label>7.</label><citation citation-type="book"><source>Navigation and Landing Transition Strategy</source><publisher-name>Federal Aviation Administration (FAA)</publisher-name><publisher-loc>Washington, DC, USA</publisher-loc><year>2002</year></citation></ref>
<ref id="b8-sensors-10-02995"><label>8.</label><citation citation-type="book"><person-group person-group-type="author"><collab>DO-229D</collab></person-group><source>WAAS MOPS (Minimum Operational Performance Standards for Global Positioning System/ Wide Area Augmentation System Airborne Equipment)</source><publisher-name>RTCA, Inc</publisher-name><publisher-loc>Washington, DC, USA</publisher-loc><year>2006</year></citation></ref>
<ref id="b9-sensors-10-02995"><label>9.</label><citation citation-type="web"><publisher-name>The Stanford GPS Research Laboratory Web Site of Stanford University</publisher-name><publisher-loc>Palo Alto, CA, USA</publisher-loc><comment>Available online: <ext-link xlink:href="http://waas.stanford.edu" ext-link-type="uri">http://waas.stanford.edu</ext-link> (accessed on 9 February 2010).</comment></citation></ref>
<ref id="b10-sensors-10-02995"><label>10.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Kelly</surname><given-names>R.J.</given-names></name><name><surname>Davis</surname><given-names>J.M.</given-names></name></person-group><article-title>Required Navigation Performance (RNP) for Precision Approach and Landing GNSS Application</article-title><source>J. Navig</source><year>1994</year><volume>41</volume><fpage>1</fpage><lpage>30</lpage></citation></ref>
<ref id="b11-sensors-10-02995"><label>11.</label><citation citation-type="other"><person-group person-group-type="author"><name><surname>Chao</surname><given-names>Y.C.</given-names></name></person-group><article-title>Real Time Implementation of the Wide Area Augmentation System for the Global Position System with an Emphasis on Ionospheric Modeling</article-title><comment>Ph.D. Thesis, Department of Aeronautics and Astronautics, Stanford University, Palo Alto, CA, USA, 1997.</comment></citation></ref>
<ref id="b12-sensors-10-02995"><label>12.</label><citation citation-type="other"><person-group person-group-type="author"><name><surname>Tsai</surname><given-names>Y.J.</given-names></name></person-group><article-title>Wide Area Differential Operation of the Global Positioning System: Ephemeris and Clock Algorithms</article-title><comment>Ph.D. Thesis, Department of Mechanical Engineering, Stanford University, Palo Alto, CA, USA, 1999.</comment></citation></ref>
<ref id="b13-sensors-10-02995"><label>13.</label><citation citation-type="confproc"><person-group person-group-type="author"><name><surname>Walter</surname><given-names>T.</given-names></name><name><surname>Enge</surname><given-names>P.</given-names></name><name><surname>Hansen</surname><given-names>A.</given-names></name></person-group><article-title>A Proposed Integrity Equation for WAAS MOPS</article-title><conf-name>Proceedings of ION GPS 1997</conf-name><conf-loc>Kansas City, MI, USA</conf-loc><conf-date>16–19 September, 1997</conf-date></citation></ref>
<ref id="b14-sensors-10-02995"><label>14.</label><citation citation-type="other"><person-group person-group-type="author"><name><surname>Jan</surname><given-names>S.S.</given-names></name></person-group><article-title>Aircraft Landing Using a Modernized Global Position System and the Wide Area Augmentation System</article-title><comment>Ph.D. Thesis, Department of Aeronautics and Astronautics, Stanford University, Palo Alto, CA, USA, 2003.</comment></citation></ref>
<ref id="b15-sensors-10-02995"><label>15.</label><citation citation-type="book"><person-group person-group-type="author"><collab>ICD-GPS-200C</collab></person-group><source>NAVSTAR GPS Space Segment /Navigation User Interface</source><publisher-loc>El Segundo, CA, USA</publisher-loc><day>10</day><month>October</month><year>1993</year></citation></ref>
<ref id="b16-sensors-10-02995"><label>16.</label><citation citation-type="confproc"><person-group person-group-type="author"><name><surname>Chao</surname><given-names>Y.C.</given-names></name><name><surname>Tsai</surname><given-names>Y.J.</given-names></name><name><surname>Walter</surname><given-names>T.</given-names></name><name><surname>Kee</surname><given-names>C.</given-names></name><name><surname>Enge</surname><given-names>P.</given-names></name><name><surname>Parkinson</surname><given-names>B.W.</given-names></name></person-group><article-title>The Ionospheric Delay Model Improvement for the Stanford WAAS Network</article-title><conf-name>Proceedings of ION NTM1995</conf-name><conf-loc>Anaheim, CA, USA</conf-loc><conf-date>18–20 January, 1995</conf-date></citation></ref>
<ref id="b17-sensors-10-02995"><label>17.</label><citation citation-type="confproc"><person-group person-group-type="author"><name><surname>Kee</surname><given-names>C.</given-names></name><name><surname>Yun</surname><given-names>Y.</given-names></name><name><surname>Kim</surname><given-names>D.</given-names></name></person-group><article-title>Simulation-based Performance Analysis of SBAS in Korea: Accuracy &amp; Availability</article-title><conf-name>Proceedings of ION GPS/GNSS 2003</conf-name><conf-loc>Portland, OR, USA</conf-loc><conf-date>9–12 September, 2003</conf-date></citation></ref>
<ref id="b18-sensors-10-02995"><label>18.</label><citation citation-type="web"><source>FreeBSD</source><comment>Available online: <ext-link xlink:href="http://www.tw.freebsd.org/" ext-link-type="uri">http://www.tw.freebsd.org/</ext-link> (accessed on 9 February 2010).</comment></citation></ref>
<ref id="b19-sensors-10-02995"><label>19.</label><citation citation-type="web"><source>Open Motif</source><comment>Available online: <ext-link xlink:href="http://www.opengroup.org/motif/" ext-link-type="uri">http://www.opengroup.org/motif/</ext-link> (accessed on 9 February 2010).</comment></citation></ref></ref-list>
<sec sec-type="display-objects">
<title>Figures and Tables</title>
<fig id="f1-sensors-10-02995" position="float">
<label>Figure 1.</label>
<caption>
<p>The Wide Area Differential GPS.</p></caption>
<graphic xlink:href="sensors-10-02995f1.gif"/></fig>
<fig id="f2-sensors-10-02995" position="float">
<label>Figure 2.</label>
<caption>
<p>The Stanford Chart.</p></caption>
<graphic xlink:href="sensors-10-02995f2.gif"/></fig>
<fig id="f3-sensors-10-02995" position="float">
<label>Figure 3.</label>
<caption>
<p>The WADGPS architecture.</p></caption>
<graphic xlink:href="sensors-10-02995f3.gif"/></fig>
<fig id="f4-sensors-10-02995" position="float">
<label>Figure 4.</label>
<caption>
<p>The dual-frequency smoothing of ionospheric delay and pseudorange.</p></caption>
<graphic xlink:href="sensors-10-02995f4.gif"/></fig>
<fig id="f5-sensors-10-02995" position="float">
<label>Figure 5.</label>
<caption>
<p>The WADGPS ionospheric vertical delay grid model flow chart.</p></caption>
<graphic xlink:href="sensors-10-02995f5.gif"/></fig>
<fig id="f6-sensors-10-02995" position="float">
<label>Figure 6.</label>
<caption>
<p>The feedback algorithm for GIVE.</p></caption>
<graphic xlink:href="sensors-10-02995f6.gif"/></fig>
<fig id="f7-sensors-10-02995" position="float">
<label>Figure 7.</label>
<caption>
<p>Ephemeris and clock errors estimation flow chart.</p></caption>
<graphic xlink:href="sensors-10-02995f7.gif"/></fig>
<fig id="f8-sensors-10-02995" position="float">
<label>Figure 8.</label>
<caption>
<p>The common view time transfer flow chart.</p></caption>
<graphic xlink:href="sensors-10-02995f8.gif"/></fig>
<fig id="f9-sensors-10-02995" position="float">
<label>Figure 9.</label>
<caption>
<p>Experiment setup.</p></caption>
<graphic xlink:href="sensors-10-02995f9.gif"/></fig>
<fig id="f10-sensors-10-02995" position="float">
<label>Figure 10.</label>
<caption>
<p>The procedures of the WADGPS user software.</p></caption>
<graphic xlink:href="sensors-10-02995f10.gif"/></fig>
<fig id="f11-sensors-10-02995" position="float">
<label>Figure 11.</label>
<caption>
<p>The WADGPS satellites corrections status window.</p></caption>
<graphic xlink:href="sensors-10-02995f11.gif"/></fig>
<fig id="f12-sensors-10-02995" position="float">
<label>Figure 12.</label>
<caption>
<p>The WADGPS ionospheric grid corrections status window.</p></caption>
<graphic xlink:href="sensors-10-02995f12.gif"/></fig>
<fig id="f13-sensors-10-02995" position="float">
<label>Figure 13.</label>
<caption>
<p>The WADGPS reference stations status window.</p></caption>
<graphic xlink:href="sensors-10-02995f13.gif"/></fig>
<fig id="f14-sensors-10-02995" position="float">
<label>Figure 14.</label>
<caption>
<p>The NSTB reference stations distribution.</p></caption>
<graphic xlink:href="sensors-10-02995f14.gif"/></fig>
<fig id="f15-sensors-10-02995" position="float">
<label>Figure 15.</label>
<caption>
<p>(a) The positioning error distribution and 95% error bound in east direction using NSTB data. (b) The positioning error distribution and 95% error bound in north direction using NSTB data.</p></caption>
<graphic xlink:href="sensors-10-02995f15.gif"/></fig>
<fig id="f16-sensors-10-02995" position="float">
<label>Figure 16.</label>
<caption>
<p>The vertical positioning error and 95% error bound using NSTB data.</p></caption>
<graphic xlink:href="sensors-10-02995f16.gif"/></fig>
<fig id="f17-sensors-10-02995" position="float">
<label>Figure 17.</label>
<caption>
<p>The HPL and horizontal positioning error (NSTB).</p></caption>
<graphic xlink:href="sensors-10-02995f17.gif"/></fig>
<fig id="f18-sensors-10-02995" position="float">
<label>Figure 18.</label>
<caption>
<p>The LNAV (NPA) performance of the implemented WADGPS with NSTB data.</p></caption>
<graphic xlink:href="sensors-10-02995f18.gif"/></fig>
<fig id="f19-sensors-10-02995" position="float">
<label>Figure 19.</label>
<caption>
<p>The number of satellites used in positioning solutions (NSTB).</p></caption>
<graphic xlink:href="sensors-10-02995f19.gif"/></fig>
<fig id="f20-sensors-10-02995" position="float">
<label>Figure 20.</label>
<caption>
<p>The e-GPS observation stations distribution map.</p></caption>
<graphic xlink:href="sensors-10-02995f20.gif"/></fig>
<fig id="f21-sensors-10-02995" position="float">
<label>Figure 21.</label>
<caption>
<p>(a) The positioning error distribution and 95% error bound in east direction in Taipei FIR (3 RSs). (b) The positioning error distribution and 95% error bound in north direction in Taipei FIR (3 RSs).</p></caption>
<graphic xlink:href="sensors-10-02995f21.gif"/></fig>
<fig id="f22-sensors-10-02995" position="float">
<label>Figure 22.</label>
<caption>
<p>Te vertical positioning error and 95% error bound in Taipei FIR (3 RSs).</p></caption>
<graphic xlink:href="sensors-10-02995f22.gif"/></fig>
<fig id="f23-sensors-10-02995" position="float">
<label>Figure 23.</label>
<caption>
<p>The HPL and horizontal position error in Taipei FIR (3 RSs).</p></caption>
<graphic xlink:href="sensors-10-02995f23.gif"/></fig>
<fig id="f24-sensors-10-02995" position="float">
<label>Figure 24.</label>
<caption>
<p>The LNAV (NPA) performance of the developed WADGPS with 3 RSs in Taipei FIR.</p></caption>
<graphic xlink:href="sensors-10-02995f24.gif"/></fig>
<fig id="f25-sensors-10-02995" position="float">
<label>Figure 25.</label>
<caption>
<p>The number of satellites used in positioning in Taipei FIR (3 RSs).</p></caption>
<graphic xlink:href="sensors-10-02995f25.gif"/></fig>
<fig id="f26-sensors-10-02995" position="float">
<label>Figure 26.</label>
<caption>
<p>The HPL and horizontal position error in Taipei FIR (4 RSs).</p></caption>
<graphic xlink:href="sensors-10-02995f26.gif"/></fig>
<fig id="f27-sensors-10-02995" position="float">
<label>Figure 27.</label>
<caption>
<p>The LNAV (NPA) performance of the developed WADGPS with 4 RSs in Taipei FIR.</p></caption>
<graphic xlink:href="sensors-10-02995f27.gif"/></fig>
<table-wrap id="t1-sensors-10-02995" position="float">
<label>Table 1.</label>
<caption>
<p>Required Navigation Performance (RNP) [<xref ref-type="bibr" rid="b6-sensors-10-02995">6</xref>,<xref ref-type="bibr" rid="b7-sensors-10-02995">7</xref>].</p></caption>
<table frame="box" rules="cols">
<thead>
<tr>
<th align="center" valign="middle" rowspan="2"><bold>Phase of Flight</bold></th>
<th align="center" valign="middle" rowspan="2"><bold>Accuracy (95% error)</bold></th>
<th colspan="2" align="center" valign="middle"><bold>Integrity</bold>
<hr/></th>
<th align="center" valign="middle" rowspan="2"><bold>Alert Limit (H: Horizontal V: Vertical)</bold></th>
<th align="center" valign="middle" rowspan="2"><bold>Continuity</bold></th>
<th align="center" valign="middle" rowspan="2"><bold>Availability</bold></th></tr>
<tr>
<th align="center" valign="middle"><bold>Time to Alarm</bold></th>
<th align="center" valign="middle"><bold>Pr(HMI)</bold></th></tr>
<tr>
<th align="center" valign="middle" colspan="7">
<hr/></th></tr></thead>
<tbody>
<tr>
<td align="center" valign="middle">En route (continental)</td>
<td align="center" valign="middle">H: 740 m<break/>V: NA</td>
<td align="center" valign="middle">15 s</td>
<td align="center" valign="middle">1 × 10<sup>−7</sup> /h</td>
<td align="center" valign="middle">H: 3,704 m<break/>V: NA</td>
<td align="center" valign="middle">1 × 10<sup>−5</sup>/hr</td>
<td align="center" valign="middle">0.99 to 0.99999</td></tr>
<tr>
<td align="center" valign="middle">Terminal</td>
<td align="center" valign="middle">H: 220 m<break/>V: NA</td>
<td align="center" valign="middle">15 s</td>
<td align="center" valign="middle">1 × 10<sup>−7</sup> /h</td>
<td align="center" valign="middle">H: 1,852 m<break/>V: NA</td>
<td align="center" valign="middle">1 × 10<sup>−5</sup>/h</td>
<td align="center" valign="middle">0.99 to 0.99999</td></tr>
<tr>
<td align="center" valign="middle">LNAV(NPA)</td>
<td align="center" valign="middle">H: 220 m<break/>V: NA</td>
<td align="center" valign="middle">10 s</td>
<td align="center" valign="middle">1 × 10<sup>−7</sup> /h</td>
<td align="center" valign="middle">H: 556 m<break/>V: NA</td>
<td align="center" valign="middle">1 × 10<sup>−5</sup>/h</td>
<td align="center" valign="middle">0.99 to 0.99999</td></tr>
<tr>
<td align="center" valign="middle">LNAV/VNAV</td>
<td align="center" valign="middle">H: 220 m<break/>V: 20 m</td>
<td align="center" valign="middle">10 s</td>
<td align="center" valign="middle">2 × 10<sup>−7</sup> /approach</td>
<td align="center" valign="middle">H: 556 m<break/>V: 50 m</td>
<td align="center" valign="middle">5.5 × 10<sup>−5</sup> /approach</td>
<td align="center" valign="middle">0.99 to 0.999</td></tr>
<tr>
<td align="center" valign="middle">LPV</td>
<td align="center" valign="middle">H: 16 m<break/>V: 20 m</td>
<td align="center" valign="middle">6 s</td>
<td align="center" valign="middle">2 × 10<sup>−7</sup> /approach</td>
<td align="center" valign="middle">H: 40 m<break/>V: 50 m</td>
<td align="center" valign="middle">5.5 × 10<sup>−5</sup> /approach</td>
<td align="center" valign="middle">0.99 to 0.99999</td></tr></tbody></table></table-wrap>
<table-wrap id="t2-sensors-10-02995" position="float">
<label>Table 2.</label>
<caption>
<p>Mean of the positioning error (NSTB).</p></caption>
<table frame="box" rules="cols">
<thead>
<tr>
<th align="center" valign="bottom"><bold>Mean</bold></th>
<th align="center" valign="bottom"><bold>Stand alone GPS</bold></th>
<th align="center" valign="bottom"><bold>WADGPS</bold></th></tr>
<tr>
<th align="center" valign="middle" colspan="3">
<hr/></th></tr></thead>
<tbody>
<tr>
<td align="center" valign="top"><bold>East (m)</bold></td>
<td align="center" valign="top">−0.506</td>
<td align="center" valign="top">0.090</td></tr>
<tr>
<td align="center" valign="top"><bold>North (m)</bold></td>
<td align="center" valign="top">0.436</td>
<td align="center" valign="top">−0.085</td></tr>
<tr>
<td align="center" valign="top"><bold>Vertical (m)</bold></td>
<td align="center" valign="top">15.707</td>
<td align="center" valign="top">−7.968</td></tr></tbody></table></table-wrap>
<table-wrap id="t3-sensors-10-02995" position="float">
<label>Table 3.</label>
<caption>
<p>Accuracy of the positioning performance (NSTB).</p></caption>
<table frame="box" rules="cols">
<thead>
<tr>
<th align="center" valign="middle"><bold>95% error bound (two-sigma)</bold></th>
<th align="center" valign="middle"><bold>Stand alone GPS</bold></th>
<th align="center" valign="middle"><bold>WADGPS</bold></th></tr>
<tr>
<th align="center" valign="middle" colspan="3">
<hr/></th></tr></thead>
<tbody>
<tr>
<td align="center" valign="top"><bold>Horizontal (m)</bold></td>
<td align="center" valign="top">7.10</td>
<td align="center" valign="top">3.55</td></tr>
<tr>
<td align="center" valign="top"><bold>Vertical (m)</bold></td>
<td align="center" valign="top">16.10</td>
<td align="center" valign="top">8.10</td></tr></tbody></table></table-wrap>
<table-wrap id="t4-sensors-10-02995" position="float">
<label>Table 4.</label>
<caption>
<p>The e-GPS observation stations’ names and locations.</p></caption>
<table frame="box" rules="cols">
<thead>
<tr>
<th align="center" valign="middle"><bold>Station No.</bold></th>
<th align="center" valign="middle"><bold>Station name</bold></th>
<th align="center" valign="middle"><bold>Latitude</bold></th>
<th align="center" valign="middle"><bold>Longitude</bold></th></tr>
<tr>
<th align="center" valign="middle" colspan="4">
<hr/></th></tr></thead>
<tbody>
<tr>
<td align="center" valign="top">1</td>
<td align="center" valign="top">Longdong</td>
<td align="center" valign="top">25° 5′50″N</td>
<td align="center" valign="top">121° 55′5″E</td></tr>
<tr>
<td align="center" valign="top">2</td>
<td align="center" valign="top">Shoufeng</td>
<td align="center" valign="top">23° 52′12″N</td>
<td align="center" valign="top">121° 36′53″E</td></tr>
<tr>
<td align="center" valign="top">3</td>
<td align="center" valign="top">Fugang</td>
<td align="center" valign="top">22° 47′26″N</td>
<td align="center" valign="top">121° 12′32″E</td></tr>
<tr>
<td align="center" valign="top">4</td>
<td align="center" valign="top">Kaohsiung</td>
<td align="center" valign="top">22° 37′52″N</td>
<td align="center" valign="top">120° 17′18″E</td></tr>
<tr>
<td align="center" valign="top">User</td>
<td align="center" valign="top">Taichung</td>
<td align="center" valign="top">24° 17′27″N</td>
<td align="center" valign="top">120° 32′6″E</td></tr></tbody></table></table-wrap>
<table-wrap id="t5-sensors-10-02995" position="float">
<label>Table 5.</label>
<caption>
<p>Mean of positioning error (Taipei FIR).</p></caption>
<table frame="box" rules="cols">
<thead>
<tr>
<th align="center" valign="middle"><bold>Mean error</bold></th>
<th align="center" valign="middle"><bold>Stand alone GPS</bold></th>
<th align="center" valign="middle"><bold>WADGPS with 3 RSs</bold></th>
<th align="center" valign="middle"><bold>WADGPS with 4 RSs</bold></th></tr>
<tr>
<th align="center" valign="middle" colspan="4">
<hr/></th></tr></thead>
<tbody>
<tr>
<td align="center" valign="top"><bold>East (m)</bold></td>
<td align="center" valign="top">0.182</td>
<td align="center" valign="top">0.220</td>
<td align="center" valign="top">0.169</td></tr>
<tr>
<td align="center" valign="top"><bold>North (m)</bold></td>
<td align="center" valign="top">1.785</td>
<td align="center" valign="top">1.362</td>
<td align="center" valign="top">1.498</td></tr>
<tr>
<td align="center" valign="top"><bold>Up (m)</bold></td>
<td align="center" valign="top">13.400</td>
<td align="center" valign="top">−2.431</td>
<td align="center" valign="top">−2.440</td></tr></tbody></table></table-wrap>
<table-wrap id="t6-sensors-10-02995" position="float">
<label>Table 6.</label>
<caption>
<p>Accuracy of positioning performance (Taipei FIR).</p></caption>
<table frame="box" rules="cols">
<thead>
<tr>
<th align="center" valign="top"><bold>95% error bound (two-sigma)</bold></th>
<th align="center" valign="top"><bold>Stand alone GPS</bold></th>
<th align="center" valign="top"><bold>WADGPS with 3 RSs</bold></th>
<th align="center" valign="top"><bold>WADGPS with 4 RSs</bold></th></tr>
<tr>
<th align="center" valign="middle" colspan="4">
<hr/></th></tr></thead>
<tbody>
<tr>
<td align="center" valign="top"><bold>Horizontal (m)</bold></td>
<td align="center" valign="top">10.970</td>
<td align="center" valign="top">5.587</td>
<td align="center" valign="top">4.0893</td></tr>
<tr>
<td align="center" valign="top"><bold>Vertical (m)</bold></td>
<td align="center" valign="top">19.360</td>
<td align="center" valign="top">11.248</td>
<td align="center" valign="top">11.485</td></tr></tbody></table></table-wrap></sec></back></article>
