<< atkTr_loadDist Attack Tree atkTr_merge >>
Attack Tree >> Attack Tree > atkTr_lowerBound

atkTr_lowerBound

lowerBound with a limited number of states

Calling Sequence

lowerBound=atkTr_lowerBound(dist,lowerBoundSize)

Parameters

dist :

a sorted distribution tlist

lowerBoundSize :

number of states wanted in the lower bound distribution

Description

returns lowerBound, a lower bound sorted distribution tlist of dist with lowerBoundSize states.

Examples

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

Report an issue
<< atkTr_loadDist Attack Tree atkTr_merge >>