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 \emph{interpolative-functional line} representing fuzzy systems as parameterized universal function approximators, thus applying nonlinear control and neural network paradigms; on the other hand, a \emph{logic-formal} approach where fuzzy systems are analysed in terms of logic interpretations, exploring validation, consistency and completeness, uncertainty management and knowledge supervision. The former approach is not widely used in the control field, and asserting its possibilities is one of the main motivations of this paper. References in both lines and some abridged results in the second case are cited, in particular some of the author's contributions, to which the interested reader is referred.
Formal Validation of Fuzzy Control Techniques. Perspectives
1999-01-01
Mathware & soft computing . 1999 Vol. 6 Núm. 2 [ -3 ]
Article (Journal)
Electronic Resource
English
DDC: | 629 |
Formal Validation of Aerospace Software
British Library Conference Proceedings | 2013
|Formal Validation of Realtime Middleware
AIAA | 2007
|Modeling of Train Control Systems Using Formal Techniques
Tema Archive | 2013
|Formal Validation of Interlocking Under Signaling Rules
Springer Verlag | 2021
|Formal validation method for computerized interlocking system
Online Contents | 2012
|