Model checking
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic predicate abstraction of C programs
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Approximate Verification of Probabilistic Systems
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
PRISM 2.0: A Tool for Probabilistic Model Checking
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Verification and planning for stochastic processes with asynchronous events
Verification and planning for stochastic processes with asynchronous events
Numerical vs. statistical probabilistic model checking
International Journal on Software Tools for Technology Transfer (STTT)
Statistical probabilistic model checking with a focus on time-bounded properties
Information and Computation
Use of neural networks for quick and accurate auto-tuning of PID controller
Robotics and Computer-Integrated Manufacturing
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
A Bayesian Approach to Model Checking Biological Systems
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Synthesizing switching logic for safety and dwell-time requirements
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Oracle-guided component-based program synthesis
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Poster: Synthesis of biochemical models
ICCABS '11 Proceedings of the 2011 IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences
Synthesis of loop-free programs
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Synthesis of optimal switching logic for hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
On statistical model checking of stochastic systems
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
IEEE Transactions on Signal Processing
Hi-index | 0.00 |
Insulin pump controllers seek to alleviate the chronic suffering caused by diabetes that affects over 6% of the world population. The design of control laws for insulin pump controllers has been well studied. However, the parameters involved in the control law are difficult to synthesize. Traditionally, ad hoc approaches using animal models and random sampling have been used to construct these parameters. We suggest a synthesis algorithm that uses Bayesian statistical model validation to reduce the number of simulations needed. We apply this algorithm to the problem of insulin pump controller synthesis using in silico simulation of the glucose-insulin metabolism model.