<< atkTr_sortState Attack Tree
Attack Tree >> Attack Tree > atkTr_upperBound

atkTr_upperBound

upperBound with a limited number of states

Calling Sequence

upperBound=atkTr_upperBound(dist,upperBoundSize)

Parameters

dist :

a sorted distribution tlist

upperBoundSize :

number of states wanted in the upper bound distribution

Description

returns upperBound, an upper bound sorted distribution tlist of dist with upperBoundSize states.

Examples

[d1_inf50,d1_sup50]=atkTr_erlangBounds(2,1,12.5,4)
d1_upper20=atkTr_upperBound(d1_sup50,20)
clf()
plot2d2(d1_sup50.state,cumsum(d1_sup50.probability),color('red'));
plot2d2(d1_upper20.state,cumsum(d1_upper20.probability),color('green'));
legends(['original';'upper bound'],[color('red') color('green')],opt="lr")

Report an issue
<< atkTr_sortState Attack Tree