Abstraction-Based Guided Search for Hybrid Systems.
Sergiy BogomolovAlexandre DonzéGoran FrehseRadu GrosuTaylor T. JohnsonHamed LadanAndreas PodelskiMartin WehrlePublished in: SPIN (2013)
Keyphrases
- hybrid systems
- black box
- meta learning
- soft computing
- intelligent systems
- computational intelligence
- neural network
- discrete event
- artificial intelligence
- fuzzy logic
- dynamic systems
- knowledge acquisition
- metamodel
- inductive learning
- genetic programming
- state space
- artificial neural networks
- decision making
- genetic algorithm