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 In previous work, the authors developed and demonstrated the concept of an image reconstruction procedure aimed to unify gated and dynamic nuclear cardiac imaging, which the authors have termed five-dimensional (5D) SPECT. Gated imaging permits the clinician to evaluate wall motion and, through the use of stress and rest scans, allows perfusion defects to be observed. Dynamic imaging de...

Fibre metal laminates (FML) are hybrid materials perspective for wind-turbine, containers and marine objects, besides the aerospace industry. During manufacturing process some faults can occur be hazardous reliability of FML structures. One most critical defects kissing bonding due to their lack detectability strength compared traditional delamination defect. The quantitative explanation were u...

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...