Systems dependability assessment : modeling with graphs and finite state automata / Jean-Francois Aubry, Nicolae Brinzei.

Format:

Book

Author/Creator:

Aubry, Jean-François, author.

Brînzei, Nicolae, author.

Series:

Risk management and dependability series.

Focus series (London, England)

Risk management and dependability series

Focus Series

Language:

English

Subjects (All):

Invariant sets.

System theory.

Computational complexity.

Physical Description:

1 online resource (198 p.)

Edition:

1st ed.

Place of Publication:

London, [England] ; Hoboken, New Jersey : John Wiley & Sons : ISTE Limited, 2015.

Language Note:

English

Summary:

Presents recent developments of probabilistic assessment of systems dependability based on stochastic models, including graph theory, finite state automaton and language theory, for both dynamic and hybrid contexts.

Contents:

""Cover""; ""Title Page""; ""Copyright""; ""Contents""; ""Preface""; ""Systems dependability assessment""; ""Dependability""; ""System""; ""Assessment""; ""Introduction""; ""PART 1: Predicted Reliability of Static Systems; a Graph-Theory Based Approach""; ""1: Static and Time Invariant Systems with Boolean Representation""; ""1.1. Notations""; ""1.2. Order relation on U""; ""1.3. Structure of a system""; ""1.3.1. State diagram of a system""; ""1.3.2. Monotony of an SF, coherence of a system""; ""1.4. Cut-set and tie-set of a system""; ""1.4.1. Tie-set""; ""1.4.2. Cut-set""

""2: Reliability of a Coherent System""""2.1. Demonstrating example""; ""2.2. The reliability block diagram (RBD)""; ""2.3. The fault tree (FT)""; ""2.4. The event tree""; ""2.5. The structure function as a minimal union of disjoint monomials""; ""2.5.1. Ordered graph of a monotone structure function""; ""2.5.2. Maxima and minima of the ordered graph""; ""2.5.3. Ordered subgraphs of the structure function""; ""2.5.4. Introductory example""; ""2.5.5. Construction of the minimal Boolean form""; ""2.5.6. Complexity""; ""2.5.7. Comparison with the BDD approach""

""2.6. Obtaining the reliability equation from the Boolean equation""""2.6.1. The traditional approach""; ""2.6.2. Comparison with the structure function by Kaufmann""; ""2.7. Obtain directly the reliability from the ordered graph""; ""2.7.1. Ordered weighted graph""; ""2.7.2. Algorithm""; ""2.7.3. Performances of the algorithm""; ""3: What About Non-coherent Systems?""; ""3.1. Example of a non-coherent supposed system""; ""3.2. How to characterize the non-coherence of a system?""; ""3.3. Extension of the ordered graph method""; ""3.3.1. Decomposition algorithm""

""3.4. Generalization of the weighted graph algorithm""""Conclusion to Part 1""; ""PART 2: Predicted Dependability of Systems in a Dynamic Context""; ""Introduction to Part 2""; ""4: Finite State Automaton""; ""4.1. The context of discrete event system""; ""4.2. The basic model""; ""5: Stochastic FSA""; ""5.1. Basic definition""; ""5.2. Particular case: Markov and semi-Markov processes""; ""5.3. Interest of the FSA model""; ""5.4. Example of stochastic FSA""; ""5.5. Probability of a sequence""; ""5.6. Simulation with Scilab""; ""5.7. State/event duality""

""5.8. Construction of a stochastic SFA""""6: Generalized Stochastic FSA""; ""7: Stochastic Hybrid Automaton""; ""7.1. Motivation""; ""7.2. Formal definition of the model""; ""7.3. Implementation""; ""7.4. Example""; ""7.5. Other examples""; ""7.5.1. Control temperature of an oven""; ""7.5.2. Steam generator of a nuclear power plant""; ""7.6. Conclusion""; ""8: Other Models/Tools for Dynamic Dependability versus SHA""; ""8.1. The dynamic fault trees""; ""8.1.1. Principle""; ""8.1.1.1. The “PAND� gate""; ""8.1.1.2. The sequence enforcer “SEQ� gate""

""8.1.1.3. The functional dependency “FDEP� gate""

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

Description based on print version record.

ISBN:

9781119053927

1119053927

9781119053958

1119053951

9781119053996

1119053994

OCLC:

902804403