In this paper we introduce some notions of stabilizability and detectability for discrete time-varying systems. These concepts are introduced by making state-space decompositions of the system. This allows an intuitive interpretation and shows the difficulties which occur if one tries to derive general stabilizability and detectability properties. Moreover, we show by means of a counterexample ...

Detectability of discrete event systems (DESs) is a question whether the current and subsequent states can be determined based on observations. Shu and Lin designed a polynomial-time algorithm to check strong (periodic) detectability and an exponential-time (polynomialspace) algorithm to check weak (periodic) detectability. Zhang showed that checking weak (periodic) detectability is PSpace-comp...

Purpose: The aim of this study was to relate lesion detectability to image contrast and noise for fi ve diff erent PET scanners, by performing an observer study of thorax phantom images. Methods: A thorax phantom containing four fi llable spheres with diameters of 10, 13, 17 and 23 mm in the mediastinal region, as well as cold lung, liver and spine inserts, was fi lled with 20 MBq F. The activi...

Carcass persistence time and detectability are two main sources of uncertainty on roadkill surveys. In this study, we evaluate the influence of these uncertainties on roadkill surveys and estimates. To estimate carcass persistence time, three observers (including the driver) surveyed 114km by car on a monthly basis for two years, searching for wildlife-vehicle collisions (WVC). Each survey cons...

We propose here a new concept of peptide detectability which could be an important factor in explaining the relationship between a protein's quantity and the peptides identified from it in a high-throughput proteomics experiment. We define peptide detectability as the probability of observing a peptide in a standard sample analyzed by a standard proteomics routine and argue that it is an intrin...

OBJECTIVES To use the superparamagnetic iron oxide (SPIO) contrast agent Resovist (±transfection agent) to label human melanoma cells and determine its effects on cellular viability, microstructure, iron quantity, and magnetic resonance imaging (MRI) detectability. MATERIALS AND METHODS Human SK-Mel28 melanoma cells were incubated with Resovist (±liposomal transfection agent DOSPER). The cell...

Peptide detectability is defined as the probability that a peptide is identified in an LC-MS/MS experiment and has been useful in providing solutions to protein inference and label-free quantification. Previously, predictors for peptide detectability trained on standard or complex samples were proposed. Although the models trained on complex samples may benefit from the large training data sets...

We study the complexity of deciding whether a modular discrete event system is detectable (resp. opaque, A-diagnosable). Detectability arises in the state estimation of discrete event systems, opacity is related to the privacy and security analysis, and A-diagnosability appears in the fault diagnosis of stochastic discrete event systems. Previously, deciding weak detectability (opacity, A-diagn...