Search
Search Results
-
Arborescent architecture for decentralized diagnosis of discrete event systems
We study decentralized diagnosis whose objective is fault detection in discrete event systems using decentralized architectures. We first identify a...
-
Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets
In this paper, we consider the on-line estimation of optimal current subsequences in Partially Observable Untimed Petri Nets. Applying the counter...
-
Shannon Function of the Test Length with Respect to Gate Input Identification
We examine the source of gate-input identification faults. An upper bound is proved on the Shannon function of the length of a single detection test...
-
A necessary and sufficient condition for diagnosability of stochastic discrete event systems
Stochastic discrete event systems (SDES) are systems whose evolution is described by the occurrence of a sequence of events, where each event has a...
-
Formalizing the Development of Diagnostic Support for Radio-Electronic Equipment
The authors analyze modern achievements in technical diagnostics and methodology and determine their possibility to improve the quality of diagnostic...
-
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
Checking the diagnosability of a discrete event system aims at determining whether a fault can always be identified with certainty after the...
-
Synergy of Engineering and Statistics: Multimodal Data Fusion for Quality Improvement
This chapter outlines the synergies achieved through the fusion of engineering and statistical approaches for quality improvement. It emphasizes the...
-
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
This paper is about state estimation in a timed probabilistic setting. The main contribution is a general procedure to design an observer for...
-
Generation of mathematical programming representations for discrete event simulation models of timed petri nets
This work proposes a mathematical programming (MP) representation of discrete event simulation of timed Petri nets (TPN). Currently, mathematical...
-
Implementation of Point of Care System Using Bio-medical Signal Steganography
Due to the gargantuan development of technology in medicine, transmission of medical data securely through multimedia has become possible. The...
-
A Formal Method for Determining the State of Processors in a Multiprocessor System under Testing
AbstractThe paper deals with the problem of self-testing of multiprocessor systems within the framework of the Preparata–Metze–Chien model. A method...
-
On detectability of labeled Petri nets and finite automata
Detectability is a basic property of dynamic systems: when it holds an observer can use the current and past values of the observed output signal...
-
Implementation of Scan Logic and Pattern Generation for RTL Design
This paper presents test logic insertion and pattern generation for RTL designs. Test logic is the circuitry that the tool adds to improve the...
-
Predictability of fuzzy discrete event systems
This paper studies the problem of predictability in fuzzy discrete event systems (FDESs). FDESs combine fuzzy set theory with discrete events systems...
-
The Length of a Single Fault Detection Test for Constant-Nonpreserving Element Insertions
We prove that every Boolean function other than the constant and the identity function can be realized by an irredundant combinational circuit in the...
-
Diagnosability of digital systems structured as minimal quasicomplete 7 × 7 graph
An approach was developed to estimate the values of diagnosability of digital systems with the novel structure of the minimal quasicomplete 7 × 7...
-
-
Necessary and sufficient conditions for t-diagnosability of multiprocessor computer systems for various models of nonreliable testing established using the system graph-theoretical model
Consideration was given to the graph-theoretical model of self-diagnosis at the system level under multiple permanent faults. A group of testing...
-
Decentralized state estimation and diagnosis of p-time labeled Petri nets systems
This paper proposes a state estimation technique in a decentralized context for time dependent systems. The plant of the studied system is modeled by...
-
Information control in networked discrete event systems and its application to battery management systems
Opacity is an important property in control of information flow among networked agents. In this paper, we investigate information control problems in...
