DC4L: Distribution shift recovery via data-driven control for deep learning models
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 …
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
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 …
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
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 …
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
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 …
dynamical systems, but common neural networks do not adhere to physical laws, critical …
Conformance verification for neural network models of glucose-insulin dynamics
Neural networks present a useful framework for learning complex dynamics, and are
increasingly being considered as components to closed loop predictive control algorithms …
increasingly being considered as components to closed loop predictive control algorithms …
Guaranteed conformance of neurosymbolic models to natural constraints
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 …
control applications, especially as models for dynamical systems. Such data-driven models …
Model Identification with Incomplete Input Data in Type 1 Diabetes
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 …
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 …
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
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 …
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 …
which seek to automate blood glucose regulation in individuals with type-1 diabetes mellitus …