Formal Verification of a Multi-Basal Insulin Infusion Control Model.

Xin Chen Souradeep Dutta Sriram Sankaranarayanan

Published in: ARCH@CPSWeek (2017)

Keyphrases

formal verification
computational model
probability distribution
objective function
prior knowledge
probabilistic model
mathematical model
experimental data
neural network
high level
model checking
control strategies
control structure