Formalizing hybrid systems with Event-B and the Rodin Platform.

Wen Su Jean-Raymond Abrial Huibiao Zhu

Published in: Sci. Comput. Program. (2014)

Keyphrases

hybrid systems
black box
computational intelligence
intelligent systems
soft computing
meta learning
discrete event
neural network
artificial intelligence
multi class
machine learning
software systems
evolutionary computation
search problems