The Takagi-Sugeno (T-S) fuzzy multiple-variable integral control system with fuzzy state observer is designed for the coordinated control of multi-input-multi-output (MIMO) nonlinear boilerturbine system whose operating points vary within a wide range. Linear models are first derived from the original nonlinear model on several operating points. Next the fuzzy multi-variable integral controller...

This paper presents a Closed Loop CLL-T (capacitor inductor inductor) Series Parallel Resonant Converter (SPRC) has been simulated and the performance is analysised. A three element CLL-T SPRC working under load independent operation (voltage type and current type load) is presented in this paper. The Steady state Stability Analysis of CLL-T SPRC has been developed using State Space technique a...

Most formal approaches to the veriication of temporal properties of reactive programs infer temporal conclusions from veriication conditions that are state formulas, i.e., contain no temporal operators. These proofs can often be eeectively presented by the use of veriica-tion diagrams. In this paper, we present a self-contained presentation of veriication diagrams for proving various temporal p...

This paper presents the fuzzy-model-based control approach to synchronize two chaotic systems subject to parameter uncertainties. A fuzzy state-feedback controller using the system state of response chaotic system and the time-delayed system state of drive chaotic system is employed to realize the synchronization. The time delay which complicates the system dynamics makes the analysis difficult...

In this paper, the philosophy of the heterogeneous control combined with landmark description is applied for controlling dc-dc converters. In our approach, there are combined fuzzy logic approach with some crisp information regarding the system evolution, the so called landmark based representation. On this structure seven behavioural items are defined, allowing delimiting the so called fundame...

Due to the existing of various kinds of uncertainties, predicting structural performance is always a great challenge in practical applications. The reliability of structure under the probabilistic uncertainty has been well studied in the past decade. However, the randomness is not the only attribute of reality. This paper attempts to investigate approach for the structural reliability analysis ...

An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, through evolution these diagrams get modified and can become inconsistent. To be able to preserve their consistency the formalism of description logics is used. Loom, a second generation reasoning tool, and RACER, a state-o...

This paper discusses the benefits of a temporal data model for debugging and run-time visualization of object-oriented software. Current debugging models generally only provide access to the current program state and support manual exploration of the state to uncover the cause of program errors. However, often the cause of an error lies in distant previous states, and a more comprehensive view ...

Diagrams (e.g., trees for hierarchical structures, or graphs for finite state machines) are often needed as part of advanced user interfaces, and are frequently specific to a user’s application. The implementation of editors for diagrams should be supported by a tool and based on a formal model. This paper gives an overview of DiaGen, our generator for diagram editors. An editor for a certain k...

We define a formal semantics of the combined use of UML 2 state machines, activities and interactions using Abstract State Machines. The behaviour of software models can henceforth be specified by composing these diagrams, choosing the most adequate formalism at each level of abstraction. We present several reasonable ways to link different kinds of diagrams and illustrate them by examples. We ...