Synthesis of insulin pump controllers from safety specifications using Bayesian model validation.
Sumit Kumar JhaRaj Gautam DuttaChristopher James LangmeadSusmit JhaEmily SassanoPublished in: Int. J. Bioinform. Res. Appl. (2012)
Keyphrases
- model validation
- controller synthesis
- safety critical
- control system
- closed loop
- multi agent
- control algorithm
- posterior probability
- controller design
- maximum likelihood
- bayesian networks
- diabetes mellitus
- data driven
- bayesian inference
- posterior distribution
- optimal design
- fault tolerant
- bayesian estimation
- high level
- bayesian learning
- diabetic patients
- finite state machines
- bayesian decision
- neural network
- condition monitoring
- written in natural language
- traffic accidents
- specification language
- functional requirements
- bayesian methods
- control law
- gaussian processes
- multi agent systems
- reinforcement learning