Conformance verification for neural network models of glucose-insulin dynamics.
Taisa KushnerSriram SankaranarayananMarc D. BretonPublished in: HSCC (2020)
Keyphrases
- neural network model
- blood glucose
- neural network
- artificial neural networks
- dynamic characteristics
- bp neural network
- input variables
- diabetes mellitus
- model checking
- neural models
- network architecture
- rbf neural network
- dynamical systems
- diabetic patients
- control algorithm
- dynamic model
- multi layer perceptron
- protocol specification
- radial basis function network
- multilayer perceptron
- biologically inspired
- formal methods
- blood pressure
- number of hidden layers
- support vector
- multi agent