Sign in
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