DC4L: Distribution shift recovery via data-driven control for deep learning models

V Lin, KJ Jang, S Dutta, M Caprio… - 6th Annual Learning …, 2024 - proceedings.mlr.press
Deep neural networks have repeatedly been shown to be non-robust to the uncertainties of
the real world, even to naturally occurring ones. A vast majority of current approaches have …

Multi-hour blood glucose prediction in type 1 diabetes: A patient-specific approach using shallow neural network models

T Kushner, MD Breton… - Diabetes Technology & …, 2020 - liebertpub.com
Background: Considering current insulin action profiles and the nature of glycemic
responses to insulin, there is an acute need for longer term, accurate, blood glucose …

[PDF][PDF] A formal approach to identifying the impact of noise on neural networks

IT Bhatti, M Naseer, M Shafique, O Hasan - Communications of the ACM, 2022 - dl.acm.org
However, a major limitation of these works is the consideration of robustness as the only
impact noise has on trained ANNs. Additionally, even though the constant use of linear …

NN-Poly: Approximating common neural networks with Taylor polynomials to imbue dynamical system constraints

F Zhu, D **g, F Leve, S Ferrari - Frontiers in Robotics and AI, 2022 - frontiersin.org
Recent advances in deep learning have bolstered our ability to forecast the evolution of
dynamical systems, but common neural networks do not adhere to physical laws, critical …

Conformance verification for neural network models of glucose-insulin dynamics

T Kushner, S Sankaranarayanan… - Proceedings of the 23rd …, 2020 - dl.acm.org
Neural networks present a useful framework for learning complex dynamics, and are
increasingly being considered as components to closed loop predictive control algorithms …

Guaranteed conformance of neurosymbolic models to natural constraints

K Sridhar, S Dutta, J Weimer… - Learning for Dynamics …, 2023 - proceedings.mlr.press
Deep neural networks have emerged as the workhorse for a large section of robotics and
control applications, especially as models for dynamical systems. Such data-driven models …

Model Identification with Incomplete Input Data in Type 1 Diabetes

B Ozaslan, EM Aiello, FJ Doyle III, E Dassau - IFAC-PapersOnLine, 2023 - Elsevier
A major challenge in fitting models to glucose metabolism in people with type 1 diabetes is
incomplete data as its collection partially relies on self-reporting and does not include all …

Verification of Neural Networks

S Dutta - 2020 - search.proquest.com
Neural networks have emerged as one of the most powerful representation tools for a large
variety of modern decision making algorithms. Yet, there is a lack of rigorous mathematical …

[PDF][PDF] GUARANTEED CONFORMANCE OF NEUROSYMBOLIC DYNAMICS MODELS TO NATURAL CONSTRAINTS

K Sridhar, S Dutta, J Weimer, I Lee - nesygems.github.io
In safety-critical robotics and medical applications, it is common to use deep neural networks
to capture the evolution of dynamical systems. This is particularly useful in modeling medical …

Data-Driven Modeling and Verification for Artificial Pancreas Systems

TS Kushner - 2020 - search.proquest.com
Artificial pancreas (AP) systems refer to a set of increasingly closed-loop biomedical devices
which seek to automate blood glucose regulation in individuals with type-1 diabetes mellitus …