In this paper, a simple and effective scheme for tuning of fuzzy PI-PD controller based on fuzzy logic is proposed. Here the input scaling factors are tuned online by gain updating factors where values are determined by rule base with error and change in error as inputs according to the required controlled process. The performance comparison of conventional fuzzy logic controller, auto-tuned fu...

In this article, we identify that partial, vague and conflicting information can severely limit the effectiveness of approaches that derive feature trees from textual requirement specifications. We examine the impact such imperfect information has on feature tree extraction and we propose the use of fuzzy feature diagrams to address the problem more effectively. This approach is then discussed ...

We define a class of predicate diagrams that represent abstractions of—possibly infinite-state—reactive systems. Our diagrams support the verification of safety as well as liveness properties. Non-temporal proof obligations establish the correspondence between the original specification, whereas model checking can be used to verify behavioral properties. We define a notion of refinement between...

Fuzzy sets refer to the datasets which do not have separate, distinct clusters, and they contain data elements whose membership values are between 0 and 1. Often each element belongs to several groups. We design a disk diagram with an augmented frequency graph to visualize elements in a fuzzy set. It shows the distribution of the elements within the set with respect to the membership function v...

A decision maker is frequently confronted with fuzzy constraints, fuzzy utility maximization, and fuzziness about the state of competitors. In this paper we present a framework for fuzzy decision-making, using techniques from fuzzy logic, game theory, and micro-economics. In the first part, we study the rationality of fuzzy choice. We introduce fuzzy constraints, and show that this can easily b...

We propose an automatic translation of UML specifications made up of sequence and state diagrams into π-calculus processes. The central point of the proposed translation is the coherence of the two types of diagrams. An implicit result of the paper is also the definition of a formal semantics for UML sequence diagrams.

process capability indices (pcis) can be used as an effective tool for measuring product quality and process performance. in classic quality control there are some limitations which prevent a deep and flexible analysis because of the crisp definition of pca‟s parameters. fuzzy set theory can be used to add more flexibility to process capability analyses. in this study, the fuzzy x ba and mrx ba...

Neuro-fuzzy systems-the combination of artiicial neural networks with fuzzy logic-are becoming increasingly popular. However, neuro-fuzzy systems need to be extended for applications which require context (e.g., speech, handwriting, control). Some of these applications can be modeled in the form of nite-state automata. Previously, it was proved that deterministic nite-state automata (DFAs) can ...