A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems

Formal methods are widely recognized as a powerful engineering method for the specification, simulation, development, and verification of distributed interactive systems. However, most formal methods rely on a two-valued logic, and are therefore limited to the axioms of that logic: a specification is valid or invalid, component behavior is realizable or not, safety properties hold or are violated, systems are available or unavailable. Especially when the problem domain entails uncertainty, impreciseness, and vagueness, the appliance of such methods becomes a challenging task. In order to overcome the limitations resulting from the strict modus operandi of formal methods, the main objective of this work is to relax the boolean notion of formal specifications by using fuzzy logic. The present approach is based on Focus theory, a model-based and strictly formal method for componentbased interactive systems. The contribution of this work is twofold: i) we introduce a specification technique based on fuzzy logic which can be used on top of Focus to develop formal specifications in a qualitative fashion; ii) we partially extend Focus theory to a fuzzy one which allows the specification of fuzzy components and fuzzy interactions. While the former provides a methodology for approximating I/O behaviors under imprecision, the latter enables to capture a more quantitative view of specification properties such as realizability.Comment: In Proceedings FESCA 2015, arXiv:1503.0437

Fuzzy argumentation for trust

In an open Multi-Agent System, the goals of agents acting on behalf of their owners often conflict with each other. Therefore, a personal agent protecting the interest of a single user cannot always rely on them. Consequently, such a personal agent needs to be able to reason about trusting (information or services provided by) other agents. Existing algorithms that perform such reasoning mainly focus on the immediate utility of a trusting decision, but do not provide an explanation of their actions to the user. This may hinder the acceptance of agent-based technologies in sensitive applications where users need to rely on their personal agents. Against this background, we propose a new approach to trust based on argumentation that aims to expose the rationale behind such trusting decisions. Our solution features a separation of opponent modeling and decision making. It uses possibilistic logic to model behavior of opponents, and we propose an extension of the argumentation framework by Amgoud and Prade to use the fuzzy rules within these models for well-supported decisions

Biped robot walking control on inclined planes with fuzzy parameter adaptation

The bipedal structure is suitable for a robot functioning in the human environment, and assuming assistive roles. However, the bipedal walk is a poses a difficult control problem. Walking on even floor is not satisfactory for the applicability of a humanoid robot. This paper presents a study on bipedal walk on inclined planes. A Zero Moment Point (ZMP) based reference generation technique is employed. The orientation of the upper body is adjusted online by a fuzzy logic system to adapt to different walking surface slopes. This system uses a sampling time larger than the one of the joint space position controllers. A newly defined measure of the oscillatory behavior of the body pitch angle and the average value of the pelvis pitch angle are used as inputs to the fuzzy adaptation system. A 12-degrees-of-freedom (DOF) biped robot model is used in the full-dynamics 3-D simulations. Simulations are carried out on even floor and inclined planes with different slopes. The results indicate that the fuzzy adaptation algorithms presented are successful in enabling the robot to climb slopes of 5.6 degrees (10 percent)

CMOS design of adaptive fuzzy ASICs using mixed-signal circuits

Analog circuits are natural candidates to design fuzzy chips with optimum speed/power figures for precision up to about 1%. This paper presents a methodology and circuit blocks to realize fuzzy controllers in the form of analog CMOS chips. These chips can be made to adapt their function through electrical control. The proposed design methodology emphasizes modularity and simplicity at the circuit level - prerequisites to increasing processor complexity and operation speed. The paper include measurements from a silicon prototype of a fuzzy controller chip in CMOS 1.5 /spl mu/m single-poly technology

Impact of Embedded Carbon Fiber Heating Panel on the Structural/Mechanical Performance of Roadway Pavement

INE/AUTC 12.3

Behavior patterns in hormonal treatments using fuzzy logic models

Assisted reproductive technologies are a combination of medical strategies designed to treat infertility patients. Ideal stimulation treatment has to be individualized, but one of the main challenges which clinicians face in the everyday clinic is how to select the best medical protocol for a patient. This work aims to look for behavior patterns in this kind of treatments, using fuzzy logic models with the objective of helping gynecologists and embryologists to make decisions that could improve the process of in vitro fertilization. For this purpose, a real-world dataset composed of one hundred and twenty-three (123) patients and five hundred and fifty-nine (559) treatments applied in relation to such patients provided by an assisted reproduction clinic, has been used to obtain the fuzzy models. As conclusion, this work corroborates some known clinic experiences, provides some new ones and proposes a set of questions to be solved in future experiments.Ministerio de Economía y Competitividad TIN2013-46928-C3-3-RMinisterio de Economía y Competitividad TIN2016-76956- C3-2-RMinisterio de Economía y Competitividad TIN2015-71938-RED