This paper emphasizes on the use of fuzzy approach in dealing with the incipient fault conditions of power transformer. DGA (Dissolved Gas in Oil Analysis) cannot provide better fault diagnosis results when multiple faults are involved. The boundary values specified by the ratio methods are of limited concern .Considering the limitations of convergence of the conventional neural networks in the...

Predicate abstraction is a technique employed in software model checking to produce abstract models that can be conservatively checked for property violations in reasonable time. The precision degree of different abstractions of the same program may differ based on (i) the set of predicates used; or (ii) the algorithmic technique employed to generate the model. In this paper we explain how we h...

This paper has two goals. The first is to present a formalization in Nuprl type theory of a very general methodology for system description, specification and verification. The method is especially suitable for describing distributed systems, and is based on a modification of the I/O automata of Lynch & Tuttle. By using infinite extendible records as the state spaces of automata we gain a key i...

We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs à la Krivine-Parigot by means of primitive (co)recursion principles. Our logic includes primitive constructors of least and greatest fixed points of predicate transformers, but contrary to the common approach, we do not restrict ourselv...

Most discrete event system models are based on defining the alphabet set or the set of events as a fundamental concept. In this paper, we take an alternative view of treating the state space as the fundamental concept. We approach the problem of controlling discrete event systems by using predicates and predicate transformers. Predicates have the advantage that they can concisely characterize a...

The gases generated in oil filled transformer can be used for determination of incipient faults. Dissolved gas analysis (DGA) of transformer oil has been one of the most power full methods to detect the faults. The various methods such as liquid chromatography, acoustic analysis, and transformer function techniques are require some experience to interpret observations. The researchers have used...

In transformer fault diagnosis, dissolved gas analysis (DGA) is been widely employed for a long period and numerous methods have been innovated to interpret its results. Still in some cases it fails to identify the corresponding faults. Due to the limitation of training data and non-linearity, the estimation of key-gas ratio in the transformer oil becomes more complicated. This paper presents I...