Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems

2013-09-01
In this paper, we study the diagnosability verification for modular discrete-event systems (DESs), i.e., DESs that are composed of multiple components. We focus on a particular modular architecture, where each fault in the system must be uniquely identified by the modular component where it occurs and solely based on event observations of that component. Hence, all diagnostic computations for faults to be detected in this architecture can be performed locally on the respective modular component, and the obtained diagnosis information is only relevant for that component. We define the condition of modular language diagnosability with local specifications (MDLS) in order to capture that each fault can indeed be detected in this modular architecture. Then, we show that MDLS can be formulated as a specific language-diagnosability problem. As the main contribution of this paper, we develop an incremental abstraction-based approach for the verification of MDLS, which is based on projections that fulfill the loop-preserving observer condition. In particular, our approach efficiently avoids the construction of a global system model, which is infeasible for systems of realistic size. Furthermore, we do not rely on the assumption of a live global plant, which is prevalent in previous diagnosability methods for modular DESs. We illustrate our approach and its computational savings by a manufacturing system example.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS

Suggestions

A finite field framework for modeling, analysis and control of finite state automata
Reger, Johann; Schmidt, Klaus Verner (Informa UK Limited, 2004-09-01)
In this paper, we address the modeling, analysis and control of finite state automata, which represent a standard class of discrete event systems. As opposed to graph theoretical methods, we consider an algebraic framework that resides on the finite field F-2 which is defined on a set of two elements with the operations addition and multiplication, both carried out modulo 2. The key characteristic of the model is its functional completeness in the sense that it is capable of describing most of the finite st...
Exhaustive study on the commutativity of time-varying systems
KÖKSAL, MUHAMMET (Informa UK Limited, 1988-5)
This paper, which is a survey and a compact reference on the commutativity of time-varying systems, gives the complete set of necessary and sufficient commutativity conditions for systems of any order. Original results are derived on Euler's systems, and explicit commutativity conditions are presented for fourth-order systems, which have not yet appeared in the literature.
Verification and transformation of complex and uncertain conceptual schemas
Yazıcı, Adnan (World Scientific Pub Co Pte Lt, 1997-12-01)
In database environment it is necessary to represent complex and uncertain information at conceptual level and then transform the conceptual schema into the logical one for ultimate implementation. It is also important to verify the conceptual schema with respect to the constraints imposed on the schema definition. In this paper we primarily focus on the verification and transformation of the conceptual schema For the purpose of verification of the conceptual schema represented by the ExIFO data model (the ...
System identification with generalized orthonormal basis functions: an application to flexible structures
Nalbantoglu, V; Bokor, J; Balas, G; Gaspar, P (Elsevier BV, 2003-03-01)
This paper presents an application of a multi-input/multi-output identification technique based on system-generated orthonormal basis functions to a flexible structure. A priori information about the poles of the system, part of which corresponds to the natural frequencies of the structure, is used to generate the orthonormal basis functions. A multivariable model is identified for the experimental flexible structure by using these orthonormal basis functions. It is shown that including a priori knowledge o...
An improved method for inference of piecewise linear systems by detecting jumps using derivative estimation
Selcuk, A. M.; Öktem, Hüseyin Avni (Elsevier BV, 2009-08-01)
Inference of dynamical systems using piecewise linear models is a promising active research area. Most of the investigations in this field have been stimulated by the research in functional genomics. In this article we study the inference problem in piecewise linear systems. We propose first identifying the state transitions by detecting the jumps of the derivative estimates, then finding the guard conditions of the state transitions (thresholds) from the values of the state variables at the state transitio...
Citation Formats
K. V. Schmidt, “Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems,” IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, pp. 1130–1140, 2013, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/34393.