Eddy Current Testing (ECT) is used for in-service inspection of tubes in steam generators, heat exchangers and condensers in nuclear or conventional power plants as well as in chemical installations. ECT is particularly attractive because it offers both very high detectability and high scanning speeds. Direct contact with test material or a coupling medium is not necessary and the test is easil...

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

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

Precast double walls are frequently used for building applications and consist of a pair precast reinforced concrete shells connected by lattice girder creating an inner cavity. Once placed at its final position this cavity is filled with freshly cast compacted concrete. Aside from benefits such as increased ease in installation, reduced cost shorter construction time also some pitfalls recogni...

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

Risk assessment methods are widely used in aviation, but have not been demonstrated for visual inspection of aircraft engine components. The complexity this field arises from the variety defect types and different manifestation thereof with each level disassembly. A new risk framework was designed to include contextual factors. Those factors were identified using Bowtie analysis be criticality,...

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

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