389 research outputs found
Causality and Temporal Dependencies in the Design of Fault Management Systems
Reasoning about causes and effects naturally arises in the engineering of
safety-critical systems. A classical example is Fault Tree Analysis, a
deductive technique used for system safety assessment, whereby an undesired
state is reduced to the set of its immediate causes. The design of fault
management systems also requires reasoning on causality relationships. In
particular, a fail-operational system needs to ensure timely detection and
identification of faults, i.e. recognize the occurrence of run-time faults
through their observable effects on the system. Even more complex scenarios
arise when multiple faults are involved and may interact in subtle ways.
In this work, we propose a formal approach to fault management for complex
systems. We first introduce the notions of fault tree and minimal cut sets. We
then present a formal framework for the specification and analysis of
diagnosability, and for the design of fault detection and identification (FDI)
components. Finally, we review recent advances in fault propagation analysis,
based on the Timed Failure Propagation Graphs (TFPG) formalism.Comment: In Proceedings CREST 2017, arXiv:1710.0277
Our LIPS are sealed: interfacing logic and functional programming systems
technical reportWe report on a technique for interfacing an untyped logic language to a statically poly morphically typed functional language Our key insight is that polymorphic types can be interpreted as "need to know" specifications on function arguments. This leads to a criterion for liberally yet safely invoking the functional language to reduce application terms as required during unification in the logic language. This method called P unification enriches the capabilities of each language while retaining the integrity of their individual semantics and implementation technologies An experimental test has been successfully performed whereby a Horn clause logic programming (HCLP) interpreter written in Common Lisp was interfaced to the Standard ML of New Jersey system. The latter implementation was employed (i) on untyped or dynamically typed data, even though it is statically typed (ii) lazily, even though it is strict and (iii) on alien HCLP terms such as unbound variables - without the slightest modification
A Combinatorial Approach to Nonlocality and Contextuality
So far, most of the literature on (quantum) contextuality and the
Kochen-Specker theorem seems either to concern particular examples of
contextuality, or be considered as quantum logic. Here, we develop a general
formalism for contextuality scenarios based on the combinatorics of hypergraphs
which significantly refines a similar recent approach by Cabello, Severini and
Winter (CSW). In contrast to CSW, we explicitly include the normalization of
probabilities, which gives us a much finer control over the various sets of
probabilistic models like classical, quantum and generalized probabilistic. In
particular, our framework specializes to (quantum) nonlocality in the case of
Bell scenarios, which arise very naturally from a certain product of
contextuality scenarios due to Foulis and Randall. In the spirit of CSW, we
find close relationships to several graph invariants. The recently proposed
Local Orthogonality principle turns out to be a special case of a general
principle for contextuality scenarios related to the Shannon capacity of
graphs. Our results imply that it is strictly dominated by a low level of the
Navascu\'es-Pironio-Ac\'in hierarchy of semidefinite programs, which we also
apply to contextuality scenarios.
We derive a wealth of results in our framework, many of these relating to
quantum and supraquantum contextuality and nonlocality, and state numerous open
problems. For example, we show that the set of quantum models on a
contextuality scenario can in general not be characterized in terms of a graph
invariant.
In terms of graph theory, our main result is this: there exist two graphs
and with the properties \begin{align*} \alpha(G_1) &= \Theta(G_1),
& \alpha(G_2) &= \vartheta(G_2), \\[6pt] \Theta(G_1\boxtimes G_2) & >
\Theta(G_1)\cdot \Theta(G_2),& \Theta(G_1 + G_2) & > \Theta(G_1) + \Theta(G_2).
\end{align*}Comment: minor revision, same results as in v2, to appear in Comm. Math. Phy
- …