UNLABELLED Chemical reaction network theory is widely used in modeling and analyzing complex biochemical systems such as metabolic networks and cell signalling pathways. Being able to produce all the biologically and chemically important qualitative dynamical features, chemical reaction networks (CRNs) have attracted significant attention in the systems biology community. It is well-known that ...

In this paper we investigate the problem of configuration distinguishability for the EFSM model, specifically, given a configuration and an arbitrary set of configurations, determine an input sequence such that the EFSM in the given configuration produces an output sequence different from that of the configurations in the given set or at least in a maximal proper subset. Such a sequence can be ...

General wisdom tells us that if two quantum states are "macroscopically distinguishable" then their superposition should be hard to observe. We make this intuition precise and general by quantifying the difficulty to observe the quantum nature of a superposition of two states that can be distinguished without microscopic accuracy. First, we quantify the distinguishability of any given pair of q...

Analyzing fault diagnosability performance for a given model, before developing a diagnosis algorithm, can be used to answer questions like “How difficult is it to detect a fault fi?” or “How difficult is it to isolate a fault fi from a fault fj?”. The main contributions are the derivation of a measure, distinguishability, and a method for analyzing fault diagnosability performance of discrete-...

Abstract One of the basic observations classical world is that physical entities are real and can be distinguished from each other. However, within quantum theory, idea realism not well established. A framework to analyse how in experiments described using some states reality was recently developed, known as ontological models framework. Different principles when imposed on level give rise diff...