Committee login






Small thumbnail

Secure Connected Objects

Small thumbnail

Banach, Fréchet, Hilbert and Neumann Spaces

Analysis for PDEs Set Volume 1

Small thumbnail

Semi-Markov Migration Models for Credit Risk

Stochastic Models for Insurance Set Volume 1

Small thumbnail

Human Exposure to Electromagnetic Fields

From Extremely Low Frequency (ELF) to Radio Frequency

Small thumbnail

Enterprise Interoperability


Small thumbnail

Data Treatment in Environmental Sciences

Multivaried Approach

Small thumbnail

From Pinch Methodology to Pinch-Exergy Integration of Flexible Systems

Thermodynamics Energy, Environment, Economy Set

Small thumbnail

Exterior Algebras

Elementary Tribute to Grassmann's Ideas

Small thumbnail

Nonlinear Theory of Elastic Plates

Small thumbnail

Cognitive Approach to Natural Language Processing

Small thumbnail

Systems Dependability Assessment

Modeling with Graphs and Finite State Automata

Jean-François Aubry and Nicolae Brinzei, University of Lorraine, France

ISBN: 9781848217652

Publication Date: February 2015   Hardback   196 pp.

75.00 USD

Add to cart


Ebook Ebook


This book presents the recent developments in probabilistic assessment of systems dependability based on stochastic models from graph theory, finite state automaton and language theory, to be applied across static, dynamic and hybrid contexts.
The first part of the book presents the foundations of coherence property represented by a state graph model to show how the reliability of a system may be determined. An algorithm with lower complexity than the classical approach (BDD decomposition for example) is proposed and extended to apply to non-coherent systems by introducing the concept of terminal tie-set.
In the second part, the authors introduce the model of finite state automaton to generally represent systems and replace the concepts of cut-sets and tie-sets by the concept of event sequences. The model is enriched progressively to define hybrid stochastic automaton that allows us to consider all of the problems usually assembled around the concept of dynamic reliability. Examples of Monte Carlo simulations are also presented.
This book targets engineering students interested in risk and dependability assessment and engineers working in aeronautics, space, energy, transportation and safety fields, as well as individuals with knowledge in applied mathematics and probability theory, and professionals in safety management.


Part 1. Predicted Reliability of Static Systems; A Graph-Theory Based Approach
1. Static and Time Invariant Systems with Boolean Representation.
2. Reliability of a Coherent System.
3. What About Non-Coherent Systems?
Part 2. Predicted Dependability of Systems in a Dynamic Context
4. Finite State Automaton.
5. Stochastic FSA.
6. Generalized Stochastic FSA.
7. Stochastic Hybrid Automaton.
8. Other Models/Tools for Dynamic Dependability versus SHA.

About the Authors

Jean-François Aubry is Professor Emeritus at the University of Lorraine, France. His research interests include control systems and safety engineering, dynamic reliability and reliability assessments.
Nicolae Brinzei is Associate Professor at the University of Lorraine, France. His research interests include probabilistic models, applied probability, stochastic modeling and hybrid systems.


DownloadTable of Contents - PDF File - 43 Kb

Related Titles

0.06436 s.