Evaluating Fuzzy Controller Robustness Using Model Checking.
Giuseppe Della PennaBenedetto IntrigilaDaniele MagazzeniPublished in: WILF (2009)
Keyphrases
- model checking
- fuzzy controller
- temporal logic
- fuzzy control
- control system
- input output
- formal verification
- control scheme
- control algorithm
- temporal properties
- model checker
- fuzzy model
- fuzzy logic controller
- formal specification
- fuzzy rules
- computation tree logic
- verification method
- fuzzy logic
- control strategy
- symbolic model checking
- process algebra
- evolutionary algorithm
- automated verification
- timed automata
- reachability analysis
- rule base
- control method
- membership functions
- pspace complete
- pi controller
- mathematical model
- epistemic logic
- asynchronous circuits
- transition systems
- formal methods
- linear temporal logic
- reactive systems
- fuzzy sets
- bounded model checking
- ctl model update
- description language
- artificial intelligence
- satisfiability problem
- reinforcement learning