Fuzzy relation equations and subsystems of fuzzy transition systems.
Jelena IgnjatovicMiroslav CiricVesna SimovicPublished in: Knowl. Based Syst. (2013)
Keyphrases
- transition systems
- fuzzy relation equations
- max min
- fuzzy relations
- model checking
- concurrent systems
- fuzzy sets
- temporal logic
- fuzzy logic
- finite state
- membership functions
- fuzzy numbers
- control flow
- practical reasoning
- expert systems
- reactive systems
- fuzzy set theory
- fuzzy controller
- object oriented
- min max
- formal specification
- fuzzy neural network
- knowledge base