Logic Alert Cost Pr(NMAC) Pr(Alert)
TCAS N/A
DP 0.01
8.75 · 10.4 9.32 · 10.1 RDP 0.01 RDP 0.10
4.6 STATE-BASED ROBUSTNESS ANALYSIS
The results in this section have been using Monte Carlo to estimate the NMAC and alert rates assuming a distribution over initial states. Each run of one million encounters took approximately 10min on a 3GHz processor, which is manageable when evaluating overall performance. However, one might be interested in estimating performance for a large collection of individual initial states. This is useful, for example, when identifying regions of the state space where the logic has di.culty resolving NMAC. Monte Carlo simulation may not, in such situations, be feasible. This section presents an alternative approach based on dynamic programming for e.ciently evaluating metrics on the full state space. This approach can be used to identify regions of the state space where safety is degraded due to modeling error.
The objective is to compute M(s), the expected value of some metric, for every starting state s in the discrete state space. The metric evaluated on a trajectory given by the state-action sequence s1,a1,...,sN ,aN is calculated by
N
m(sn,an), (19)
n=1
where m is the immediate metric function. For example, to estimate the probability of NMAC, m(s, a) would be one if s is an NMAC state and zero otherwise.
Let π be the policy to be evaluated and T be the transition model used for evaluation. When evaluating the robustness of π, the transition model T need not be the model used for deriving π. An iterative process, similar to value iteration, is used to compute M from every discrete state. First, M0 is set to zero for all states. The values for Mk are determined from Mk.1 as follows:
Mk(s)= m(s, π(s)) + T (s, π(s),s )Mk.1(s ). (20)
s
This iteration, as with value iteration, is repeated to the desired horizon.
Computing the probability of NMAC for the full discrete state space requires eight seconds on a single processor. Running Monte Carlo on the 8.7 million states would require 17 years, even if each state only required one minute instead of ten.
Figure
13
shows
the
probability
of
NMAC
across
the
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址:Robust Airborne Collision Avoidance through Dynamic Programm(24)