Stability Analysis of Switched Fuzzy Systems Via Model Checking.
Zuohua DingYuan ZhouMengChu ZhouPublished in: IEEE Trans. Fuzzy Syst. (2014)
Keyphrases
- stability analysis
- fuzzy systems
- model checking
- nonlinear systems
- temporal logic
- fuzzy model
- fuzzy rules
- computational intelligence
- model checker
- evolutionary computation
- soft computing
- neural network
- formal verification
- rule base
- artificial neural networks
- controller design
- formal specification
- verification method
- fuzzy control
- bounded model checking
- computation tree logic
- epistemic logic
- artificial intelligence
- fuzzy controller
- formal methods
- fuzzy logic
- membership functions
- adaptive control
- manufacturing systems
- power system
- data mining techniques
- dynamic programming