Search
Search Results
-
Diagnosability and attack detection for discrete event systems under sensor attacks
This paper extends the theory of diagnosability by investigating fault diagnosis in discrete event systems under sensor attacks using finite-state...
-
Pancake graphs: Structural properties and conditional diagnosability
Because of the increasing size of multi-processor systems, processor-fault diagnosis has played critical role in measuring reliability. The...
-
Diagnosability verification using LTL model checking
One of the challenges of fault diagnosis is to verify diagnosability of systems with huge state space efficiently. Model checking approaches have the...
-
The Non-inclusion Diagnosability of Hypercubes Under the PMC Model
Diagnosability of a multiprocessor system is an important measure of the reliability of interconnection networks. System-level diagnosis is a primary...
-
The Non-Inclusive Diagnosability of Regular Graphs
Fault diagnosis is an important area of study with regard to the design and maintenance of multiprocessor systems. A new measure for fault diagnosis...
-
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
Real life experience has shown that intermittent faults are among the most challenging kinds of faults to detect and isolate, being present in the...
-
t/t-Diagnosability of BCube Network
BCube network is one of the most classical structures in the server-centered data center networks. The diagnosability of BCube is very important for... -
Diagnosis and Degradation Control for Probabilistic Systems
Systems prone to faults are often equipped with a controller whose aim consists in restricting the behaviour of the system in order to perform a...
-
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
Various aspects of privacy and safety in many application domains can be assessed based on proper analysis of successive measurements that are...
-
Diagnosability of repairable faults
The diagnosis problem for discrete event systems consists in deciding whether some fault event occurred or not in the system, given partial...
-
Supervisory control to maximize mean time to failure in discrete event systems
In this paper, we investigate the use of supervisory control to maximize mean time to failure in a discrete event system framework. A complex...
-
-
Robustness of subsystem-based reliability for complete-transposition network
System reliability assessment is of great significance since it determines whether the system can perform properly or not. As an effective metric,...
-
On the Extraconnectivity of Arrangement Graphs
Extraconnectivity generalizes the concept of connectivity of a graph but it is more difficult to compute. In this note, we compute the... -
g-good-neighbor conditional diagnosability of star graph networks under PMC model and MM* model
Diagnosability of a multiprocessor system is an important study topic. S. L. Peng, C. K. Lin, J. J. M. Tan, and L. H. Hsu [Appl. Math. Comput., 2012,...
-
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
Diagnosability is an intrinsic property of the language generated by discrete event systems (DES) and the computational procedure to determine...
-
Detectability of labeled weighted automata over monoids
In this paper, by develo** appropriate methods, we for the first time obtain characterization of four fundamental notions of detectability for...
-
The g-Good-Neighbor Conditional Diagnosability of Locally Twisted Cubes
In the work of Peng et al. (Appl Math Comput 218(21):10406–10412,
2012 ), a new measure was proposed for fault diagnosis of systems: namely g -good-neig... -
Offline analysis of the relaxed upper boundedness for online estimation ofoptimal event sequences in Partially Observable Petri Nets
The aim of this paper is the analysis of the property of the relaxed structurally boundedness of the unobservable subnet of the Petri net which...
-
Decentralized diagnosis of discrete event systems subject to permanent sensor failures
In this paper, we consider a decentralized failure diagnosis problem for discrete event systems. Each local diagnoser makes a diagnosis decision...