English
Related papers

Related papers: Quantum Fault Trees

200 papers

Quantum computers (QCs) must implement quantum error correcting codes (QECCs) to protect their logical qubits from errors, and modeling the effectiveness of QECCs on QCs is an important problem for evaluating the QC architecture. The…

Quantum Physics · Physics 2009-11-13 Eric Chi , Stephen A. Lyon , Margaret Martonosi

This paper considers the design-phase safety analysis of vehicle guidance systems. The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts and E/E architectures for drive automation. The fault trees…

Software Engineering · Computer Science 2019-03-14 Majdi Ghadhab , Sebastian Junges , Joost-Pieter Katoen , Matthias Kuntz , Matthias Volk

The so-called welded tree problem provides an example of a black-box problem that can be solved exponentially faster by a quantum walk than by any classical algorithm. Given the name of a special ENTRANCE vertex, a quantum walk can find…

Quantum Physics · Physics 2023-02-02 Andrew M. Childs , Matthew Coudron , Amin Shiraz Gilani

Application-specific quantum computers offer the most efficient means to tackle problems intractable by classical computers. Realizing these architectures necessitates a deep understanding of quantum circuit properties and their…

Quantum technology has led to increasingly sophisticated and complex quantum devices. Assessing their reliability (quantum reliability) is an important issue. Although reliability theory for classical devices has been well developed in…

Quantum Physics · Physics 2023-10-24 L. X. Cui , Y-M. Du , C. P. Sun

Quantum computing is a new way of data processing based on the concept of quantum mechanics. Quantum circuit design is a process of converting a quantum gate to a series of basic gates and is divided into two general categories based on the…

Emerging Technologies · Computer Science 2017-03-16 Moein Sarvaghad-Moghaddam

An approach is presented treating decision theory as a probabilistic theory based on quantum techniques. Accurate definitions are given and thorough analysis is accomplished for the quantum probabilities describing the choice between…

Artificial Intelligence · Computer Science 2022-06-06 V. I. Yukalov

Traditionally, fault- or event-tree analyses or FMEAs have been used to estimate the probability of a safety-critical device creating a dangerous condition. However, these analysis techniques are less effective for systems primarily reliant…

Software Engineering · Computer Science 2021-02-02 Chris Hobbs , Waqar Ahmed

In the foreseeable future, toolchains for quantum computing should offer automatic means of transforming a high level problem formulation down to a hardware executable form. Thereby, it is crucial to find (multiple) transformation paths…

Quantum Physics · Physics 2025-10-13 Lukas Schmidbauer , Wolfgang Mauerer

Fault tree analysis is a well-known technique in reliability engineering and risk assessment, which supports decision-making processes and the management of complex systems. Traditionally, fault tree (FT) models are built manually together…

Neural and Evolutionary Computing · Computer Science 2022-04-11 Lisandro A. Jimenez-Roa , Tom Heskes , Tiedo Tinga , Marielle Stoelinga

Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD). State-based techniques are favorable for the more expressive dynamic fault trees (DFT). This…

Software Engineering · Computer Science 2022-03-29 Daniel Basgöze , Matthias Volk , Joost-Pieter Katoen , Shahid Khan , Marielle Stoelinga

Quantum decision theory (QDT) is a recently developed theory of decision making based on the mathematics of Hilbert spaces, a framework known in physics for its application to quantum mechanics. This framework formalizes the concept of…

Physics and Society · Physics 2016-12-28 M. Favre , A. Wittwer , H. R. Heinimann , V. I. Yukalov , D. Sornette

A Behavior Tree (BT) is a way to structure the switching between different tasks in an autonomous agent, such as a robot or a virtual entity in a computer game. BTs are a very efficient way of creating complex systems that are both modular…

Robotics · Computer Science 2022-10-26 Michele Colledanchise , Petter Ögren

The quantum fluctuations of a physical property can be observed in the measurement statistics of any measurement that is at least partially sensitive to that physical property. Quantum theory indicates that the effective distribution of…

Quantum Physics · Physics 2020-12-25 Holger F. Hofmann

From biotechnology to cyber-risks, most extreme technological risks cannot be reliably estimated from historical statistics. Therefore, engineers resort to predictive methods, such as fault/event trees in the framework of probabilistic…

Physics and Society · Physics 2014-08-26 D. Sornette , T. Maillart , W. Kroeger

Quantum theory is a mathematical formalism to compute probabilities for outcomes happenning in physical experiments. These outcomes constitute events happening in space-time. One of these events represents the fact that a system located in…

Quantum Physics · Physics 2012-06-07 Marco Zaopo

Quantum theory (QT) provides statistical predictions for various physical phenomena. The outcomes of these measurements are in general some numerical time series registered by some macroscopic instruments. The various empirical probability…

Quantum Physics · Physics 2015-05-13 Marian Kupczynski

In reliability engineering, we need to understand system dependencies, cause-effect relations, identify critical components, and analyze how they trigger failures. Three prominent graph models commonly used for these purposes are fault…

Other Computer Science · Computer Science 2023-10-10 L. A. Jimenez-Roa , T. Heskes , M. Stoelinga

The main contribution of this paper is the development of a new decision tree algorithm. The proposed approach allows users to guide the algorithm through the data partitioning process. We believe this feature has many applications but in…

Machine Learning · Statistics 2020-10-27 Cédric Beaulac , Jeffrey S. Rosenthal

We show that quantum theory allows for transformations of black boxes that cannot be realized by inserting the input black boxes within a circuit in a pre-defined causal order. The simplest example of such a transformation is the classical…

Quantum Physics · Physics 2013-10-29 G. Chiribella , G. M. D'Ariano , P. Perinotti , B. Valiron