3 Mise en forme d'un algorithme d'élagage sur l'espace des variables internes a et b

L'élagage est réalisé suivant l'algorithme 3.1. Les valeurs de h,i et l sont choisies grâce à l'algorithme d'adaptation 2.3, page . Pour l'implémenter, nous avons divisé finement et régulièrement l'espace des variables internes a et b en un ensemble de carrés. Dans chacun de ceux-ci, nous considérons un unique couple (a,b) (centre du carré). Ainsi, l'ensemble UP_init est, en fait, un ensemble fini de couples (a,b), qui est réduit par le processus d'élagage au bout de h pas de temps. Dans ce cas, la surface S_init(t) occupée par cet ensemble est égale à n.s, avec n, nombre de couples (a,b) de UP_init et s, surface d'un carré.
Pour tout instant t, le processus d'élagage délivre un signal binaire de certitude qui, s'il vaut 1, indique qu'au moins un scenario issu d'un ensemble UP_init(t - h) vient d'être validé. Notons que ce délai de h pas de temps dépend de la nature du signal et est déterminé à partir de l'algorithme d'adaptation 2.3, choisissant arbitrairement la valeur de h minimum.