Synthesis and analysis of temporal fault trees with PANDORA : The time of Priority AND gates

descriptionPublicationkeyboard_double_arrow_right Article 01 Jun 2008 United Kingdom English Publisher:Elsevier BVJournal:Nonlinear Analysis: Hybrid Systems, volume 2, pages 368-382 (issn: 1751-570X,

Copyright policy )

Authors: Walker, Martin; Papadopoulos, Yiannis;

doi: 10.1016/j.nahs.2006.05.003

Synthesis and analysis of temporal fault trees with PANDORA : The time of Priority AND gates

- Summary
- Subjects
- Metrics

Abstract

zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Country

United Kingdom

Related Organizations

University of Hull
United Kingdom

Keywords

HiP-HOPS, hip-HOPS, Temporal logic, Fault tree synthesis, safety analysis, Discrete event control/observation systems, 004, temporal fault trees, Reliability, availability, maintenance, inspection in operations research, temporal logic, Temporal fault trees, fault tree synthesis, reliability analysis, Safety analysis, Reliability analysis

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	15
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average