116 ◾ System Instantaneous Availability
In other words, it is a status solution of systems (5.15 and 5.16).
eorem 5.19: Characteristic roots of matrix B are in a unit circle; that is,
ρ(B)≤ 1.
Prove: Matrix
−γ =
−γ µµ
−λ −γ
−λ
−λ −−γ
λλ λ− λ−γ
−µ −γ
−µ
−λ
µ− µµ µ−
−µ −−γ
−γ
−µ −γ
−µ
−µ −−γ
BI
n
nn
n
n
n
000(0) (0)
1(0) 00
01(1)0000
00 1( 1)
(0)(1) (1)(
00 001(0)
00 0001(1)
00 00
00 01()
00 00
00 00
00 00
(1)1 (0)(1) (1)1
0000
0000
0000
0000
0000
0000
1(1) 00
00
0
001(0)
0001(1)00
0000 1(1)
.
1
11
1
1
1
12 22 23
12
2
2
23