A Refinement Calculus for Hybrid Systems.

Bin Gu Liang Zou

Published in: ICECCS (2014)

Keyphrases

hybrid systems
intelligent systems
neural network
black box
discrete event
computational intelligence
soft computing
meta learning
artificial intelligence
genetic algorithm
expert systems
fuzzy logic
data mining
machine learning algorithms
dynamic systems