Complementary Methodologies for Developing Hybrid Systems with Event-B.

Wen Su Jean-Raymond Abrial Huibiao Zhu

Published in: ICFEM (2012)

Keyphrases

hybrid systems
artificial intelligence
intelligent systems
soft computing
black box
meta learning
discrete event
computational intelligence
neural network
model selection
data mining
orders of magnitude
complex systems
dynamic systems