Formal validation of fuzzy control techniques. Perspectives.
In this paper, a survey of the state of the art and perspectives of two main lines of research in fuzzy control systems is presented: on one hand, the navas interpolative-functional line representing fuzzy systems as parameterized universal function approximators, thus applying nonlinear control and neural network paradigms; on the other hand, a logic-formal approach where fuzzy systems are analysed in terms of logic interpretations, exploring validation, consistency and completeness, uncertainty...