A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients

No abstract is available for this paper.

• Publication year

  2012

• Venue

  Allerton Conference on Communication, Control, and Computing

• Publication date

  2012-10-01

• Fields of study

  Medicine, Computer Science, Engineering

• Identifiers
  DOI 10.1109/Allerton.2012.6483413
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System

  2012cited by this paper
• Synthesis of insulin pump controllers from safety specifications using Bayesian model validation

  2012cited by this paper
• Falsification of temporal properties of hybrid systems using the cross-entropy method

  2012cited by this paper
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems

  2011cited by this paper
• Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks

  2011cited by this paper
• Smoothing a Program Soundly and Robustly

  2011cited by this paper
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

  2011cited by this paper
• Simulation Environment to Evaluate Closed-Loop Insulin Delivery Systems in Type 1 Diabetes

  2010cited by this paper
• Diabetes: Models, Signals, and Control

  2010cited by this paper
• Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

  2010cited by this paper
• A Closed-Loop Artificial Pancreas Using Model Predictive Control and a Sliding Meal Size Estimator

  2009cited by this paper
• In Silico Preclinical Trials: A Proof of Concept in Closed-Loop Control of Type 1 Diabetes

  2009cited by this paper
• Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications

  2008cited by this paper
• Closed-Loop Control of Blood Glucose

  2007cited by this paper
• Meal Simulation Model of the Glucose-Insulin System

  2007cited by this paper
• GIM, Simulation Software of Meal Glucose—Insulin Model

  2007cited by this paper
• Minimal Model: Perspective from 2005

  2006cited by this paper
• Robustness of Temporal Logic Specifications

  2006cited by this paper
• A System Model of Oral Glucose Absorption: Validation on Gold Standard Data

  2006cited by this paper
• Programming by sketching for bit-streaming programs

  2005cited by this paper
• Nonlinear model predictive control of glucose concentration in subjects with type 1 diabetes.

  2004cited by this paper
• Think Like a Pancreas: A Practical Guide to Managing Diabetes with Insulin

  2004cited by this paper
• Partitioning glucose distribution/transport, disposal, and endogenous production during IVGTT.

  2002cited by this paper
• Specifying real-time properties with metric temporal logic

  1990influential reference
• SIMULATION AND THE MONTE CARLO METHOD

  1982cited by this paper
• Simulation and the Monte Carlo method

  1981cited by this paper
• journal homepage: www.elsevier.com/locate/tcs

  year unknowncited by this paper

• A Secured RSA Algorithm Based Healthcare Monitoring System for IoT Devices

  2023cites this paper
• Trust, Resilience and Interpretability of AI Models

  2019cites this paper
• A survey of challenges for runtime verification from advanced application domains (beyond software)

  2018cites this paper
• A Data-Driven Approach to Artificial Pancreas Verification and Synthesis

  2018cites this paper
• Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

  2018cites this paper
• Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae

  2018cites this paper
• Lectures on Runtime Verification

  2018cites this paper
• Monitoring Cyber-Physical Systems

  2017cites this paper
• On Learning Sparse Boolean Formulae for Explaining AI Decisions

  2017cites this paper
• Simulation-guided parameter synthesis for chance-constrained optimization of control systems

  2015cites this paper
• Parameter Synthesis Through Temporal Logic Specifications

  2015cites this paper
• Monitoring and Measuring Hybrid Behaviors A Tutorial

  2015cites this paper
• Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface

  2014cites this paper
• Statistically Sound Verification and Optimization of Black-Box Systems

  2014cites this paper
• Statistically Sound Verification and Optimization for Complex Systems

  2014cites this paper
• Low-cost saline droplet measurement system using for common patient room in rural public hospital

  2014cites this paper