Cargando…

Systems dependability assessment : modeling with graphs and finite state automata /

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Aubry, Jean-François (Autor), Brînzei, Nicolae (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Hoboken, NJ : ISTE ; Wiley, 2015.
Colección:Risk management and dependability series.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Static and time invariant systems with Boolean representation
  • Reliability of a coherent system
  • What about non-coherent systems?
  • Finite state automaton
  • Stochastic FSA
  • Generalized stochastic FSA
  • Stochastic hybrid automaton
  • Other models/tools for dynamic dependability versus SHA
  • Conclusions and perspectives.