We review the characterization of communicating finite-state machines whose behaviors have universally or existentially bounded channels. These results rely on the theory of Mazurkiewicz traces. We investigate the question whether channel bound conditions are decidable for a given communicating finite-state machine.

In this paper the notion of a N -finite state machine is introduced, as well as the concepts of a N -(immediate) successor, a N -exchange property and a N -subsystem are introduced. Some related properties are discussed. A condition for a N -finite state machine to satisfy the N -exchange property is established. A characterization of a N -subsystem is initiated. We prove that the isomorphism b...

Fuzzy semigroup theory concentrates on theoretical aspects, but also includes applications in the areas of fuzzy coding theory, fuzzy finite state machines, and fuzzy languages. In this paper, we introduce the concept of an ( , )-fuzzy filter of an ordered semigroup , where , , , , with . Since the concept of ( , )-fuzzy filter is an important and useful generalization of ordinary fuzzy filter,...

Scenario models and hierarchical state machines play key roles in current object-oriented modeling methodologies. Our work maily focuses on a systematic transition between these two models. In this paper, we argue for the need to develop a catalog of design patterns [18,19] for state machine implementation. The originality of our proposal stems from having these patterns rooted in specific beha...

In several advanced fields like control engineering, computer science, fuzzy automata, finite state machine, and error correcting codes, the use of fuzzified algebraic structures especially ordered semigroups plays a central role. In this paper, we introduced a new and advanced generalization of fuzzy generalized bi-ideals of ordered semigroups. These new concepts are supported by suitable exam...

An adaptive-resonance theory (ART)-based fuzzy controller is presented for the adaptive navigation of a quadruped robot in cluttered environments, by incorporating the capability of ART in stable category recognition into fuzzy-logic control for selecting the adequate rule base. The environment category and the navigation mechanism are first described for the quadruped robot. The ART-based fuzz...

Recently, it has become important to control massive agents in games and graphics. There are some problems in controlling massive agents. The more agents are, the longer it takes to control. There have been researches of massive agents either on the number or on the behaviors of the agents. But there has been rare research to improve both the number and the behavior of massive agents at the sam...

A new method is proposed to measure software system security. Each component can be characterized by a composite net which combines the features of Finite State Machine and Operation Diagram. A fuzzy number is introduced to this net to represent uncertain elements that might affect the software security, and thus we construct Security Function for each component. The whole system Security Index...

In our recent paper we have established close relationships between state reduction of a fuzzy recognizer and resolution of a particular system of fuzzy relation equations. In that paper we have also studied reductions by means of those solutions which are fuzzy equivalences. In this paper we will see that in some cases better reductions can be obtained using the solutions of this system that a...

Applying the methods of Artificial Intelligence to clinical monitoring requires some kind of signal-to-symbol conversion as a prior step. Subsequent processing of the derived symbolic information must also be sensitive to history and development, as the failure to address temporal relationships between findings invariably leads to inferior results. DIAMON-1, a framework for the design of diagno...