An iterative algorithmic implementation of input-output finite state approximations.
Fereshteh AalamifarDanielle C. TarrafPublished in: CDC (2012)
Keyphrases
- input output
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- noise cancellation
- data envelopment analysis
- fuzzy model
- fuzzy neural network
- internal states
- fuzzy controller
- action sets
- transition systems
- tree automata
- fuzzy sets
- fuzzy inference system
- partially observable markov decision processes
- neural network
- temporal logic
- fuzzy logic
- hidden markov models