Formal Methods for Fuzzy Modeling and Control.
José Valente de OliveiraFernando A. C. GomidePublished in: Fuzzy Sets Syst. (2001)
Keyphrases
- formal methods
- fuzzy modeling
- fuzzy model
- takagi sugeno
- input output
- fuzzy rules
- control system
- fuzzy inference
- formal specification
- fuzzy clustering
- knowledge based systems
- fuzzy logic
- artificial intelligence
- model checking
- software engineering
- safety critical
- control method
- fuzzy systems
- artificial neural networks
- information granulation
- control strategy
- neuro fuzzy
- genetic optimization
- real time
- development lifecycle
- fuzzy control
- mathematical model
- pattern recognition
- information systems
- machine learning
- neural network