The present paper proposes high performance nonlinear force controllers for a servopneumatic real-time fatigue test machine. A CompactRIO controller was used, being fully programmed using LabVIEW language. Fuzzy logic control algorithms were evaluated to tune the integral and derivative components in the development of hybrid controllers, namely a FLC P and a hybrid FLC PID real-time-based cont...

adequate coverage is one of the main problems for distributed wireless sensor networks and the effectiveness of that highly depends on the sensor deployment scheme. given a finite number of sensors, optimizing the sensor deployment will provide sufficient sensor coverage and save power of sensors for movement to target location to adequate coverage. in this paper, we apply fuzzy logic system to...

Modeling of human knowledge and reasoning requires the formulation of uncertainty in its various forms. Fuzzy logic was introduced to directly support these applications [4]. Fuzzy Control (FC) which is based on fuzzy logic allows to control complex systems based on qualitative information like human knowledge [4, 2]. In fuzzy logic, fuzzy sets are usually de ned and manipulated by the means of...

State transition diagrams are a graphic notation that has long been used to represent computing systems. Two basic models of state transition diagrams were introduced simultaneously by G.H. Mealy and E.F. Moore in the mid fifties, and have played a major role in hardware design for a long time. These basic models have been expanded significantly in the recent past to include such features as th...

This paper introduces a graphical notation called algebraic state transition diagrams (ASTD), which allows for the combination of state transition diagrams using classical process algebra operators like sequence, iteration, parallel composition, quantified choice and quantified synchronization. It is inspired from automata, statecharts and process algebras. Hence, it combines the strength of al...

Integrated formal description techniques are a promising approach for the specification of multi-aspect systems. In this context, we have proposed a formalism, called Extended State Diagrams (ESD), combining in an homogeneous framework state diagrams and formal data description languages. Our purpose is here to enhance the implicit ESD communication mechanisms with explicit descriptions of comm...

-The main objective of this work is to present an application of an extension of the original Knowledge Discovery in Databases (KDD) process called Fuzzy Prototypical Knowledge Discovery (FPKD) together with a FPKD based prediction model. This technique is applied to Software Engineering measurement. In order to get quality object-oriented information systems (OOIS), it is necessary to assess t...

Since categories are graphs with additional “structure”, one should start from fuzzy graphs in order to define a theory of fuzzy categories. Thus is makes sense to introduce categories whose morphisms are associated with a plausibility degree that determines to what extend it is possible to “go” from one object to another one. These categories are called fuzzy categories. Of course, the basic p...

Limits and colimits of diagrams, defined by maps between sets, are universal constructions fundamental in different mathematical domains and key concepts in theoretical computer science. Its importance in semantic modeling is described by M. Makkai and R. Paré in [1], where it is formally shown that every axiomatizable theory in classical infinitary logic can be specified using diagrams defined...