! "
#$ %
&
"
'
(
(
!
#
$ (
%
)
*
(&
&
+
&
, ) ! ! &-- .
• /
!
'
(-"
'
(
• (
$ (
%
) 0 $% 1
–
– /
• " #$ %
–
!
– /
(
*
0 * 1
$%
• /
(
, ) ! ! &-- 2
"
'
(
•
–
3
!
'
! ' !
!
(
!(
–
( '
4
•
–
'
!
(
–
!
(
–
'
!
'5
(
–
• /
'
• +
'
• 6
!
, ) ! ! &-- 7
/
'
• ! (
!
!
(
)
0
1
'
!
(
0
1
•
8"
'
( $
)
8"
'
( 9
!
• : (
8
8
(
(
'
• ;
, ) ! ! &-- <
+
'
• ! (
!
!
(
–
86
)
8
%
– +
( '
!
!
– (
' !
!
(
(
!
4
!
=
, ) ! ! &-- >
?
$ (
0
$
1 %
)
0$% 1
(
)
' '
(
8
(
'
?
$%
'(
(
!
! !
'
!
8
!
!
!
!
0/
' '
( '
0/ 11
?
"
!
8
' '
!
6
!
, ) ! ! &-- @
$ (
%
)
•
– 0
A
1
•
0+
)
A B
1
•
0/
( A B
1
• /
– 0
A
1
•
0B
A /
(1
•
0B
A +
)
1
• C
• :4
!
0
8
0*
18C1
4
!
0
1
$%
, ) ! ! &-- D
$%
• *
0, E3 A :E 1
• ,
! 3
(
'
• :
!
'
• F 8C8F
)
'
4
, 8:
• # 8C8#
)
'
4
:
=
=
=
, ) ! ! &-- G
!
"
"
=
=
=
=
=
=
=
⋅
⋅
⋅
=
=
+
+
+
+
=
=
#
4
, ) ! ! &-- H
(
$ (
%
)
?
$%
&
– ! (
– /
'
8
!
–
& (
( .
0 8 I
∆1
$% & 6
)
$
$%&
SLICE 0
SLICE 1
Prior probability (at t=0)
Inter-slice (temporal)
conditional probability
(CPT)
, ) ! !
&--$%
!
&
– +
J
0:4
1
– $ (
K
0
4
1
– C
observationst
filtering
observationst
prediction
t
t+τ
observationssmoothing
t
t-τ
, ) ! ! &-- .
$%
(
'
!
)
'
(
≤ ()*
#+,
#+, -#+..
'
(
≥ ()/
#+..
#+.. -#+,
'
0
$
(1()-'
+23
4 (5()
, ) !
! &-- 2
, ) ! ! &-- 7
"
#$ %
!
0 1
0/, 67
83
$
, ) ! ! &-- <
"
#$ %
!
0.1
0.9 67
0/, 67
83
$
0/, 67
, ) ! ! &-- >
"
#$ %
!
021
0.9 67
0/, 67
83
$
0/, 67
, ) ! ! &-- @
83
: $ *
4 $
0; 7 </* 3
,3$4
"
#$ %
% :; % ; /II '
$%
!
&--
-
5
-
-Draw-Net GUI
http://www.draw-net.com
, ) ! ! &-- D
*
4
• *
'(
&
– :
'
(
'
0
)
-
1
– '
(
–
( $
• :4
! *
!
&
–
!
"
0 * 1
–
0 * 1
–
#
!
"
0"* 1
–
#
!
"
0% "* 1
–
, ) ! ! &-- G
=
(
*
•
(
!
!
' !
!
!
0
8 ' (
8 (
1
• *
!
=
'( !
(
– *
0* :
1
–
0
%
8+:,
1
– 0B
1
0B +
1&
.0>
*,0
=>
, ) ! ! &-- .H
+
• 6
!
L+
• +
+&
– +
'( 0
1&
α λ
– B
)
&
λ
– *
•
λ
!
•
α
!
(
• B
& H M
α M
• /
&
α E H
• N
&
α E
, ) ! ! &-- .
/
+(
• 9 3
3
3 $ 3
3
$ 3 7 ? 3 <
3 $ 3 4
3
$37
3#
– 9 3 @ A 7 ? 3 <
$
$ 3
7
<
? 4 7
3
/#
• / $
?/
3
<$
?3 3 ?3 $
<
4 $< @=
?
$37
3 2
==
• / $
?/
3 <
?3 3?
3
:3
– 9 3 B $ 7 ? 3 <
$
$ 3
7
7 $
B *
? < ?
3 B /#
• B/ $
$
3 $
4 3 $ 3 B*
:3<
3
7 $
4 $<
C
< 7
3 $ B=
–
B =
:3
3 B * $ 3 $ 3
3 <
$ :3< 73
3 $
– 9 3
7 7 ? 3
< 7
3?: $4
7
7
*
? /
C
3
? < ?
3 =
, ) ! ! &-- ..
*
!
(
H <
H
H
H <H: 2
H <H: 2
H .H: 2
H .H: 2
HH: 2
HH: 2
H H : 2
HH: 2
HH: 2
HH: 2
$
/+
++
6
6 $
6 +
$
+
αααα
λλλλ
WSP+FDEP
WSP+PAND
, ) ! ! &-- .2
*
(
• *
4
!
*
• *
(
!
(
!
+
&
– *
$
I / 6 / 0
!1
• (
/
6
)
/!
0/ 6 /1
–
O
• (
0/
1 +
!
%
/ 6 /
–
– *
'
– :% + / !
– *
-
6
)
/!
–
– !
! "
# "
$
%
! #$
, ) ! ! &-- .7
$%
*
(
?
$%
!
'
(
?
6
?
$%
!
?
:
(
?
$%
!
$
0 % 8 "1
?
%
( "8
( %
?
(
?
$%
4 '
'
)
(
8
' (
'
'
?
*
0
1
(
&
0 :18 0+ '18 0 :A 18 0+ 'A 1
?
$
)
0
1
(
&
0 A :18 0+ 'A :18C
?
$%
!
• !
!
(
, ) ! ! &-- .<
*
$%
• 6
!&
– *
8
(
$%
– ! 8 !
$%
!
!
! ( !
• /
$%
! $% .
•
5
! /
3
!
!
&
–
!
$%
$% .
!
/ L
–
(
(
!
' 8
!
' '
(
!
!
4
'
!
! /
$%
$% .
• !
!
$%
!
8
!
$% 4
!
*
, ) ! ! &-- .>
B
+
D* $%
∆ E * $ E FE
D* $%
∆ E * $ E FE 3
λ* ∆D= $%
∆ E = $ E FE
D= $%
∆ E * $ E = $ E FE 3
αλ= ∆D= $%
∆ E * $ E = $ E FE 3
λ= ∆D= $%
∆ E = $ E FE
D= $%
∆ E * $ E = $ E = $ E FE 3
αλ= ∆D= $%
∆ E * $ E = $ E = $ E FE 3
αλ= ∆D= $%
∆ E * $ E = $ E = $ E FE 3
αλ= ∆D= $%
∆ E * $ E = $ E = $ E FE 3
λ= ∆'
*
$ 3 7
< 7
3 $
'
3
$3#
λ
' = =
3 $ 3 4 7
3 < 7
3 $
' $ ?:
αλ α $ 3 ? 7 < <$
1
α1
' 4
C
λ
, ) ! ! &-- .@
*
(
D9 $%
∆ E 9 $ E FE
D9 $%
∆ E 9 $ E FE 3
λ9 ∆$D* $%
∆ E * $ E FE
D* $%
∆ E * $ E 9 $% E FE 3
λ*∆$D* $%
∆ E * $ E 9 $% E FE
?3E
' 9
$ 3 $ CC3 323 $
'
3
$3#
λ
9' * /
3 $ 3 ?3 3 ?3 $ 323 $
'
3
$3#
λ
*λ
/$
$%&
, ) ! ! &-- .D
( %
D* $% E * $ E FE
D* $% E * $ E FE 3
λ*∆$D/ $% E / $ E FE
D/ $% E / $ E FE 3
λ/∆$D . $% E G . $ E FE
D . $% E * $ E
/ $ E
. $ E FE
D . $% E * $ E
/ $ E
. $ E FE
D . $% E * $ E
/ $ E
. $ E FE
D . $% E * $ E
/ $ E
. $ E FE
$
$%&
, ) !
! &-- .G
, ) !
! &-- 2H
/
!
'
, ) !
! &-- 2
, ) ! ! &-- 2.
! '
•
/ @= == 3 3
:3
• 9 3
$37 4
: 3 23?
•
3 $
$ $ E
•
3? $ $ E
•
3 $
$
E"
, ) !
! &-- 22
J
' '
, ) ! ! &-- 27
/
• +
'
!
'
(-"
'
(
• $% 4
$%
– +
)
&
8
8
!
• " #$ %
– :
(=
$%
– :
(=
* !
!
$%
•
'
(
'( '
• $%
!
• *
'
! !
$%
, ) ! ! &-- 2<
*
)
•
"
#$ % !
'
(
!
' (
!
*
– +
(
8
!
! !
*
$%
• O * 6
5
&
'
!
8:+
–
$%
(=
'
J
0J 1
! 8
'
'
• 9
&
8
(
!
!
'
!
P
– !
$% 0
! J 1
'
!
*
!
'(
"
#$ % 0
'
1
, ) !
! &-- 2>
":*:":% /:+
DBN P. Weber, L. Jouffe, “Reliability modelling with dynamic Bayesian networks”, Proc. SAFEPROCESS 2003, Washington D.C., 2003.
DBN Murphy K. Dynamic Bayesian networks: representation, inference and learning. PhD thesis, UC Berkley; 2002.
DFT J. B. Dugan, S. J. Bavuso, M. A. Boyd, Dynamic Fault-Tree Models for Fault-Tolerant Computer Systems , IEEE Trans. on Reliability, vol 41, 1992, pp 363-377.
DFT R. Manian, D. W. Coppit, K. J. Sullivan, J. B. Dugan, Bridging the Gap Between Systems and Dynamic Fault Tree Models , Proc. Annual Reliability and Maintainability Symposium, 1999, pp 105-111.
~ ~ ~
DFT DBN S. Montani, L. Portinale, A. Bobbio, D. Codetta Raiteri, $RADYBAN: a tool for Reliability Analysis of Dynamic Fault
Trees through Conversion into Dynamic Bayesian Networks , Reliability Engineering and System Safety, vol. 93(7),
pages 922-932, Elsevier, July 2008
DFT DBN L. Portinale, D. Codetta-Raiteri, S. Montani, "Supporting Reliability Engineers in Exploiting the Power of Dynamic
Bayesian Networks%, International Journal of Approximate Reasoning, vol. 51(2), pages 179-195, Elsevier, Jan. 2010.
DBN applications D. Codetta-Raiteri, A. Bobbio, S. Montani, L. Portinale, "A dynamic Bayesian network based framework to
, ) !
! &-- 2@