Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B.

Wen Su Jinxin Chen Shehroz Khan

Published in: ABZ (2018)

Keyphrases

hybrid systems
computational intelligence
neural network
intelligent systems
black box
meta learning
artificial intelligence
discrete event
search algorithm
training set
evolutionary algorithm