Download presentation

Presentation is loading. Please wait.

Published byJoseph Harrington Modified over 3 years ago

1
A. BobbioBertinoro, March 10-14, 20031 Dependability Theory and Methods 3. State Enumeration Andrea Bobbio Dipartimento di Informatica Università del Piemonte Orientale, A. Avogadro 15100 Alessandria (Italy) bobbio@unipmn.itbobbio@unipmn.it - http://www.mfn.unipmn.it/~bobbio Bertinoro, March 10-14, 2003

2
A. BobbioBertinoro, March 10-14, 20032 State space Consider a system with n binary components. 1 component i up 0 component i down We introduce an indicator variable x i : x i = The state of the system can be identified as a vector x = (x 1, x 2,.... x n). The state space (of cardinality 2 n ) is the set of all the possible values of x.

3
A. BobbioBertinoro, March 10-14, 20033 2-component system

4
A. BobbioBertinoro, March 10-14, 20034 3-component system

5
Characterization of system states The system has a binary behavior. 1 system up 0 system down We introduce an indicator variable for the system y : y = For each state s corresponding to a single value of the vector x = (x 1, x 2,.... x n). 1 system up 0 system down y = (x) = y = (x) is the structure function

6
Characterization of system states The state space can be partitioned in 2 subsets: The structure function y = (x) depends on the system configuration

7
A. BobbioBertinoro, March 10-14, 20037 2-component system A1A1 A2 A1A1

8
A. BobbioBertinoro, March 10-14, 20038 3-component system A1A1 A2 A3 A1A1A2 A3 a) b)

9
A. BobbioBertinoro, March 10-14, 20039 State probability Define: Pr{x i (t) = 1} = R i (t) Pr{x i (t) = 0} = 1 - R i (t) Suppose components are statistically independent; The probability of the system to be in a given state x = (x 1, x 2,...., x n ) at time t is given by the product of the probability of each individual component of being up or down. P {x(t)} = Pr{x 1 (t)} · Pr{x 2 (t)} · … ·Pr{x n (t)}

10
A. BobbioBertinoro, March 10-14, 200310 2-component system A1A1 A2 A1A1

11
A. BobbioBertinoro, March 10-14, 200311 3-component system

12
A. BobbioBertinoro, March 10-14, 200312 Dependability measures

13
A. BobbioBertinoro, March 10-14, 200313 Dependability measures

14
A. BobbioBertinoro, March 10-14, 200314 2-component series system A1A1A2

15
A. BobbioBertinoro, March 10-14, 200315 2-component parallel system A1A1 A2

16
A. BobbioBertinoro, March 10-14, 200316 3-component system A1A1 A2 A3 A1A1A2 A3 a) b)

17
17 3-component system 2:3 majority voting A1A1 A2 A3 Voter

18
18 5 component systems

19
A. BobbioBertinoro, March 10-14, 200319 Non series-parallel systems with 5 components A1A1 A2 A3 A4 A5 Independent identically distributed components

Similar presentations

OK

A. BobbioReggio Emilia, June 17-18, 20031 Dependability & Maintainability Theory and Methods 5. Markov Models Andrea Bobbio Dipartimento di Informatica.

A. BobbioReggio Emilia, June 17-18, 20031 Dependability & Maintainability Theory and Methods 5. Markov Models Andrea Bobbio Dipartimento di Informatica.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on professional development Ppt on cleanliness in schools Ppt on ufo and aliens on the moon Ppt on corruption in indian politics Ppt on domestic robots definition Ppt on linear equations in two variables 6th Ppt on content development standards Ppt on cost accounting standard Ppt on regular expressions Ppt on ecology and environment