Formal Validation of Fuzzy Control Techniques. Perspectives
Formal Validation of Fuzzy Control Techniques. Perspectives
- New search for: Sala Piqueras, Antonio
- New search for: Albertos Pérez, Pedro
- New search for: Sala Piqueras, Antonio
- New search for: Albertos Pérez, Pedro
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.
Document information
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 |
Similar titles
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