Approximating quotient transition systems for hybrid systems.
Alongkrit ChutinanBruce H. KroghPublished in: ACC (2000)
Keyphrases
- hybrid systems
- transition systems
- model checking
- concurrent systems
- temporal logic
- intelligent systems
- finite state
- black box
- soft computing
- meta learning
- neural network
- computational intelligence
- practical reasoning
- artificial intelligence
- control flow
- discrete event
- model checker
- markov chain
- data flow
- distributed systems
- formal specification
- object oriented
- genetic algorithm
- feature selection
- artificial neural networks
- evolutionary computation
- dynamic systems
- learning tasks