Artificial Pancreas Verification Project
A description of our work on artificial pancreas systems for treating type-1 diabetes.
Predictive Runtime Monitoring Project
This page describes ongoing research on predictive runtime monitoring funded by the US National Science Foundation (NSF) and the NSF IUCRC Center on Unmanned Aerial Systems (C-UAS). All opinions expressed here are those of the authors and not necessarily of the US National Science Foundation (NSF) or the C-UAS.