Detectability of discrete event systems (DESs) is a property to determine a priori whether the current and subsequent states can be determined based on observations. In this paper, we investigate the verification of two detectability properties – strong detectability and weak detectability – for DESs modeled by labeled Petri nets. Strong detectability requires that we can always determine, afte...

objective(s): use of a positron emission tomography (pet)/single-photonemission computed tomography (spect) system facilitates the simultaneousacquisition of images with fluorine-18 fluorodeoxyglucose (18f-fdg) andtechnetium (99mtc)-tetrofosmin. however, 18f has a short half-life, and 511kev compton-scattered photons are detected in the 99mtc energy window.therefore, in this study, we aimed to ...

This paper introduces a concept of detectability for discrete-time infinite Markov jump linear systems that relates the stochastic convergence of the output with the stochastic convergence of the state. It is shown that the new concept generalizes a known stochastic detectability concept and, in the finite dimension scenario, it is reduced to the weak detectability concept. It is also shown tha...

Objective(s): Use of a positron emission tomography (PET)/single-photonemission computed tomography (SPECT) system facilitates the simultaneousacquisition of images with fluorine-18 fluorodeoxyglucose (18F-FDG) andtechnetium (99mTc)-tetrofosmin. However, 18F has a short half-life, and 511keV Compton-scattered photons are detected in the 99mTc energy window.Therefore, in this study, we aimed to ...

In this paper we define and analyze notions of detectability in stochastic discrete event systems (SDES). More specifically, we introduce the notions of A-detectability and AA-detectability which focus on characterizing our ability to estimate the true current state of a given SDES with increasing certainty as we observe more output symbols. We discuss observer-based techniques that can be used...

Partial detectability profiles are formed by randomly sampling each fault's detectability and are used in estimating the fault coverage of random input test vectors on combinational circuits. Partial detectability profiles are particularly useful for predicting fault coverage for large circuits with a large number of inputs. Predictions made using full and partial detectability profiles are com...

A fault is (strongly) detectable if it is possible to construct a residual generator that is sensitive to the (constant) fault while decoupling all disturbances. Two new fault detectability criterions and three new strong fault detectability criterions are presented. For comparison, existing fault detectability criterions are reviewed. To prove the criterions, a framework of polynomial bases is...

It has recently been suggested that the familiarity ofa stimuluscanaffect early sensory processesinvolved in their detection. Thishypothesis was tested in a detection task using fragmented forms varying in familiarity and their structural properties but equivalent in their spatial frequency content. No effect of familiarity or structurewas found on the detectability of the stimuli. Possible rea...

It is well known that as a consequence of local nature of general relativity, the global topology of space-time remains undetermined by the Einstein’s field equations. This coupled with the enormous recent increase in high resolution cosmological observations has led to a great deal of interest in the possibility that the universe may possess compact spatial sections with a non-trivial topology...

Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicability. We introduce a taxonomy of detectability specifications expressed in temporal-epistemic logic. We illustrate the practical relevance of attack detectability in a case study applied to a variant of Kerberos protoco...