|
Algorithm 2: The paths()algorithm to find possible intruder paths. |
|
|
Data: s,p,tmin,tmax,TU,NU,tf,S,P(S) |
1 |
Γ ← adjacentNodes(s(|s|), G)); l ← |Γ| |
2 |
while
l > 0 do
|
3 |
|
4 |
for (tU, nU) ∈ (TU, NU) do
|
5 |
if Γ(l) = nU
then
|
6 |
if
then
|
7 |
Γ ← Γ \ {Γ(l)} |
8 |
|
9 |
break
|
10 |
l ← (l — 1) |
11 |
for
l ← 1 to |Γ| do
|
12 |
|
13 |
|
14 |
if
then
|
15 |
S ← S ∪ {s′}; P(S = s′) ← p′
|
16 |
else
|
17 |
(S,P(S)) ← paths
|
|
Result: S,P(S) |
|