1. This paper describes a method for overbounding outputs of linear systems, which can be used to compute conservative navigation-error bounds during precision approach and landing.
2. The methods developed in this paper handle samples with correlations between them, unlike earlier overbounding methods which only applied to sets of independent samples.
3. The paper provides an example of the application of the proposed method to aviation navigation systems such as GBAS and SBAS for GPS.
The article is generally reliable and trustworthy, as it provides a detailed description of the proposed method for overbounding outputs of linear systems, including an example of its application to aviation navigation systems such as GBAS and SBAS for GPS. The article also cites 15 references from other sources, providing evidence for the claims made in the paper. However, there are some potential biases that should be noted. For example, the authors may have a vested interest in promoting their own method over existing ones, which could lead to one-sided reporting or promotional content in the article. Additionally, there may be unexplored counterarguments or missing points of consideration that could weaken the argument presented in the paper. Finally, it is important to note that possible risks associated with using this method should be discussed in order to ensure that readers are aware of any potential drawbacks before implementing it in practice.