Search
Search Results
-
Analysis of the possibility of local diagnosis in computer systems with circulant structure based on redundancy in the number of analyzed testing results
Local diagnosis at multiple faults when a faultless/faulty state for each module is identified only by the results of comparative analysis of testing...
-
Prognosis of ω-Languages for the Diagnosis of
* -Languages: A Topological PerspectiveThis article offers a novel perspective on the diagnosis of *-languages via a topological characterization of ω -languages. This allows for the...
-
Event Counting of Partially-Observed Discrete-Event Systems with Uniformly and Nonuniformly Bounded Diagnosis Delays
We present an approach dealing with repeated fault events in the framework of model-based monitoring of discrete-event systems (DES). Various notions...
-
Diagnosability Analysis of a Class of Hierarchical State Machines
This paper addresses the problem of fault detection and isolation for a particular class of discrete event dynamical systems called hierarchical...
-
Engineering Applications of Matroids - A Survey
The aim of the present contribution is twofold. First, we sketch some engineering problems where matroids can be applied to obtain nontrivial...
-
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
In this paper, we study fault diagnosis in discrete event systems modeled by partially observed Petri nets, i.e., Petri nets equipped with sensors...
-
Partial and complete local diagnosis in computer systems with circulant structure
System diagnosis at multiple faults of multiplicity not greater than t is considered. The conditions when the state of each system module is only...
-
Organization of self-diagnosis of the discrete multicomponent systems a structure like bipartite quasicomplete graphs
Organization of an efficient self-diagnosis of the multicomponent computer and communication systems of diverse structures always attracted attention...
-
On the Computation of Natural Observers in Discrete-Event Systems
Natural projections with the observer property have proved effective in reducing the computational complexity of nonblocking supervisory control...
-
State Observer for DES Under Partial Observation with Time Petri Nets
This paper deals with a state observation approach for Discrete Event Systems with a known behavior. The system behavior is modeled using a Time...
-
Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems
This paper considers the problems of fault diagnosis and supervisory control in discrete event systems through the context of a new observation...
-
On-Line Monitoring of Large Petri Net Models Under Partial Observation
We consider a Petri Net model of the plant. The observation is given by a subset of transitions whose occurrence is always and immediately sensed by...
-
On the Minimization of Communication in Networked Systems with a Central Station
The problem of minimizing communication in a distributed networked system is considered in a discrete-event formalism where the system is modeled as...
-
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Decentralized diagnosis of discrete event systems has received a lot of attention to deal with distributed systems or with systems that may be too...
-
Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models
Discretely controlled continuous systems consist of continuous plants whose operation mode is switched by a feedback controller. Fault diagnosis has...
-
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the...
-
Local diagnostication in computer systems with the circulant structure
Studies are made of the possibility of diagnostication at the system level. The objects of the investigation are multiprocess fail-safe systems with...
-
Diagnosability of Discrete Event Systems with Modular Structure
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular...
-
Centralized Modular Diagnosis and the Phenomenon of Coupling
This paper studies modular decomposition as an approach for failure diagnosis based on Discrete Event Systems. This paper also analyses the problem...