The relevance of bifurcation analysis in Takagi–Sugeno (T–S) fuzzy systems is emphasized mainly through examples. It is demonstrated that even the most simple cases can show a great variety of behaviors. To understand the richness of asymptotic dynamics, one can find in T–S systems, a methodology is proposed by invoking bifurcation theory. Several local and global bifurcations (some of them, de...

Numerous research projects are done in academia as well as in industry aimed to support the design process based on UML and Model Driven Architecture with new methods and tools that would help to verify both static and dynamic aspects of UML model, to generate the code from it etc. Much attention is paid to the verification of system’s behavior by model checking. In a research project done in t...

a fuzzy observer based scheme for synchronizing two hyperchaoticoscillators via a scalar transmitted signal for cryptographic application isproposed. the takagi-sugeno fuzzy model exactly represents chaotic systems.based on the general fuzzy model, the fuzzy observer of a chaotic system isdesigned on the basis of the n-shift multiple state based key encryption algorithm.the scalar transmitted s...

We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discrete-event systems, such as multi-computer real-time systems, communication protocols and digital control units. Our diagrams, which we call statecharts, extend conventional state-transition diagrams with essentially three elements, dea...

In this paper, we present a general concept of state transition diagrams well-suited for various modeling purposes. Our notation is tailored for the description of asynchronous time-independent agents. We start by proposing a graphical and textual syntax, and deene an abstract syntax for both notations. The semantics of state transition diagrams deened by translating the abstract syntax into ti...

It has been proposed that the noncommutative geometry of the “fuzzy” 2-sphere provides a nonperturbative regularization of scalar field theories. This generalizes to compact Kähler manifolds where simple field theories are regularized by the geometric quantization of the manifold. In order to permit actual calculations and the comparison with other regularizations, I describe the perturbation t...

In this paper, we introduce and study notions like state-\linebreak distinguishability, input-distinguishability and output completeness of states of a crisp deterministic fuzzy automaton. We show that for each crisp deterministic fuzzy automaton there corresponds a unique (up to isomorphism), equivalent distinguished crisp deterministic fuzzy automaton. Finally, we introduce two axioms related...

In this study, two CCCT diagrams are drawn to be compared with a CCT diagram. The CCCT diagrams represent continuous cooling transformations in stress assisted state. The increased Md and Bd temperatures of CCCT diagrams were also compared with those of the CCT diagrams and the cause was investigated from both thermodynamic and metallurgical viewpoints. Thermodynamic examinations revealed that ...