Overbounding revisited: Discrete error-distribution modeling for safety-critical GPS navigation

IEEE Transactions on Aerospace and Electronic Systems

Volumn 48, Issue 2, 2012, Pages 1537-1551

  Rife, Jason ^a   Pervan, Boris ^b  

^a Tufts University   (United States)

^b Illinois Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIATION APPLICATION; BOUNDING METHOD; CLOSED-FORM EXPRESSION; CONTINUOUS MODELS; CORE REGION; DISCRETE MODELS; ERROR DISTRIBUTIONS; ERROR MODEL; GAUSSIAN MODEL; GAUSSIANS; GLOBAL NAVIGATION SATELLITE SYSTEMS; GLOBAL POSITIONING SYSTEM (GPS); GPS DATA; GPS NAVIGATION; HEAVY-TAILS; MULTIPLE DISTRIBUTION; NON-GAUSSIAN; PROTECTION LEVEL; SAFETY-CRITICAL; STATISTICAL DATAS;

AEROSPACE ENGINEERING; ELECTRICAL ENGINEERING;

GLOBAL POSITIONING SYSTEM;

EID: 84859819164     PISSN: 00189251     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAES.2012.6178077     Document Type: Article

References (31)

1. Joint Program and Development Office (JPDO) Integrated Work Plan for the Next Generation Air Transportation System Version 1.0, Sept. 2008. Available: http://www.jpdo.gov/iwp.asp.
2. SESAR Consortium SESAR Master Plan, Apr. 2008. Available: http://www.eurocontrol.int/sesar/gallery/content/public/docs/ European%20ATM%20Master%20Plan.pdf.
3. Erzberger, H. Transforming the NAS: The next generation air traffic control system. In Proceedings of the International Congress of the Aeronautical Sciences (ICAS), 2004.
4. van Gool, M. and Schroter, H. PHARE final report, PHARE Report DOC 99-70-09, 1999. Available: http://www.eurocontrol.int/phare/gallery/content/ public/documents/99-70-09pharefinal10.pdf.
5. Rife, J. and Pullen, S. Aviation applications. In S. Gleason and D. Gebre-Egziabher (Eds.), GNSS Applications and Methods, Norwood, MA: Artech House, 2009.
6. Murphy, T. and Imrich, T. Implementation and operational use of ground-based augmentation systems (GBAS)-A component of the future air traffic management system. Proceedings of the IEEE, 96, 12 (2008), 1936-1957.
7. Braff, R. and Shively, C. A method of over bounding ground based augmentation system (GBAS) heavy tail error distributions. Journal of Navigation, 2005, 58 1, 83-103.
8. Lee, J., Pullen, S., and Enge, P. Sigma overbounding using a position domain method for the local area augmentation of GPS. IEEE Transactions on Aerospace and Electronic Systems, 45, 4 (2009), 1262-1274.
9. Rife, J., Pullen, S., and Pervan, B. Core overbounding and its implications for LAAS integrity. In Proceedings of the ION-GNSS, 2004, 2810-2821.
10. Walter, T., Blanch, J., and Enge, P. Evaluation of signal in space error bounds to support aviation integrity. NAVIGATION, 57, 2 (2010), 101-113.
11. Rife, J., et al. Paired overbounding for nonideal LAAS and WAAS error distributions. IEEE Transactions on Aerospace and Electronic Systems, 42, 4 (2006), 1386-1395.
12. DeCleene, B. Defining pseudorange integrity-Overbounding. In Proceedings of the ION-GPS, 2000, 1916-1924.
13. Walter, T., Blanch, J., and Rife, J. Treatment of biased error distributions in SBAS. Journal of Global Positioning Systems, 3, 1-2 (2004), 265-272.
14. Warburton, J. LGF sigma pseudorange ground establishment, overbounding and monitoring: Support data. Presented by the FAA William J. Hughes Technical Center to RTCA SC-159, 2002.
15. Williamson, R. C. and Downs, T. Probabilistic arithmetic. I. Numerical methods for calculating convolution and dependency bounds. International Journal of Approximate Reasoning, 4, 2 (1990), 89-158.
16. Tonon, F., Bernardini, A., and Mammino, A. Reliability analysis of rock mass response by means of random set theory. Reliability Engineering & System Safety, 70, 3 (2000), 263-282.
17. Berleant, D., Xie, L., and Zhang, J. Statool: A tool for distribution envelope determination (DEnv), an interval-based algorithm for arithmetic on random variables. Reliable Computing, 9, 2 (2003), 91-108.
18. Berleant, D. and Zhang, J. Using Pearson correlation to improve envelopes around the distributions of functions. Reliable Computing, 10, 2 (2004), 139-161.
19. Rife, J. and Gebre-Egziabher, D. Symmetric overbounding of correlated errors. NAVIGATION, 54 (2007), 109-124.
20. Pulford, G. A proof of the spherically symmetric overbounding theorem for linear systems. NAVIGATION, 55, 4 (2008), 283-292.
21. Pervan, B. and Sayim, I. Sigma inflation for the local area augmentation of GPS. IEEE Transactions on Aerospace and Electronic Systems, 37, 4 (2001), 1301-1311.
22. Rife, J., Walter, T., and Blanch, J. Overbounding SBAS and GBAS error distributions with excess-mass functions. In Proceedings of IGNSS, 2004.
23. Raytheon Algorithm Contribution to HMI for the Wide Area Augmentation System. Raytheon Company, unpublished work, 2002.
24. Azais, J-M., et al. GNSS integrity achievement by using extreme value theory. In Proceedings of the ION-GNSS, 2009, 1281-1287.
25. RTCA, Inc. Minimum Operational Performance Standards for GPS/Wide Area Augmentation System Airborne Equipment. RTCA/DO-229D, 2006.
26. RTCA, Inc. GNSS-Based Precision Approach Local Area Augmentation System (LAAS) Signal-In-Space Interface Control Document (ICD). RTCA/DO-246B, 2001.
27. Misra, P. and Enge, P. Global Position System: Signals, Measurements, and Performance. Lincoln, MA: Ganga-Jamuna Press, 2006.
28. Shively, C. and Hsiao, T. Availability enhancements for Cat IIIB LAAS. NAVIGATION, 51, 1 (2004), 45-58.
29. Rife, J. and Pullen, S. The impact of measurement biases on availability for category III LAAS. NAVIGATION, 52, 4 (2005), 215-228
30. Xie, G., et al. Integrity design and updated test results for the Stanford LAAS integrity monitor testbed. In Proceedings of ION Annual Meeting, 2001, 681-693.
31. Wright, T. Exact Confidence Bounds when Sampling from Small Finite Universes: An Easy Reference Based on the Hypergeometric Distribution. New York: Springer, 1991.