Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox

No abstract is available for this paper.

• Publication year

  2014

• Venue

  Workshop on Medical Cyber-Physical Systems

• Publication date

  Unknown publication date

• Fields of study

  Medicine, Computer Science, Engineering

• Identifiers
  DOI 10.4230/OASIcs.MCPS.2014.28
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model-Driven Safety Analysis of Closed-Loop Medical Systems

  2014cited by this paper
• Automated Verification of Quantitative Properties of Cardiac Pacemaker Software

  2014cited by this paper
• Quantitative verification of implantable cardiac pacemakers over hybrid heart models

  2014cited by this paper
• Design Pillars for Medical Cyber-Physical System Middleware

  2014cited by this paper
• Early Insight in Systems Design through Modeling and Simulation

  2014cited by this paper
• Performance Evaluation for Collision Prevention Based on a Domain Specific Language

  2013cited by this paper
• An updated Cardiovascular Simulation Toolbox

  2013cited by this paper
• A simulink hybrid heart model for quantitative verification of cardiac pacemakers

  2013cited by this paper
• Recent advances in electrochemical glucose biosensors: a review

  2013cited by this paper
• Analysis of Safety-Critical Computer Failures in Medical Devices

  2013cited by this paper
• State Space Reconstruction for On-Line Model Checking with UPPAAL

  2013cited by this paper
• Open-Source Programming of Cardiovascular Pressure-Flow Dynamics Using SimPower Toolbox in Matlab and Simulink

  2013cited by this paper
• Online Checking of a Hybrid Laser Tracheotomy Model in UPPAAL-SMC

  2013cited by this paper
• Model Repair for Markov Decision Processes

  2013cited by this paper
• Control-Relevant Models for Glucose Control Using A Priori Patient Characteristics

  2012cited by this paper
• Simulative and Analytical Evaluation for ASD-Based Embedded Software

  2012cited by this paper
• Modeling and Verification of a Dual Chamber Implantable Pacemaker

  2012cited by this paper
• A compositional modelling and analysis framework for stochastic hybrid systems

  2012cited by this paper
• A Safety Case Pattern for Model-Based Development Approach

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

  2012cited by this paper
• From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study

  2012cited by this paper
• Cyber–Physical Modeling of Implantable Cardiac Medical Devices

  2012cited by this paper
• mctau: Bridging the Gap between Modest and UPPAAL

  2012cited by this paper
• From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP)

  2012cited by this paper
• Quantitative Verification of Implantable Cardiac Pacemakers

  2012cited by this paper
• Online Model Checking for Dependable Real-Time Systems

  2012cited by this paper
• An Insulin Infusion Advisory System Based on Autotuning Nonlinear Model-Predictive Control

  2011cited by this paper
• PRISM 4.0: Verification of Probabilistic Real-Time Systems

  2011cited by this paper
• Development of a fully automated closed loop artificial pancreas control system with dual pump delivery of insulin and glucagon

  2011cited by this paper
• Continuous Glucose Monitoring Considerations for the Development of a Closed-Loop Artificial Pancreas System

  2011cited by this paper
• Real‐time continuous glucose monitoring system for treatment of diabetes: a systematic review

  2011cited by this paper
• On-Line Scheduling of Real-Time Services for Cloud Computing

  2010cited by this paper
• PID controller tuning for integrating processes.

  2010cited by this paper
• Efficacy Determinants of Subcutaneous Microdose Glucagon during Closed-Loop Control

  2010cited by this paper
• Novel Use of Glucagon in a Closed-Loop System for Prevention of Hypoglycemia in Type 1 Diabetes

  2010cited by this paper
• Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset

  2010cited by this paper
• Toward patient safety in closed-loop medical device systems

  2010cited by this paper
• “Smart” Continuous Glucose Monitoring Sensors: On-Line Signal Processing Issues

  2010cited by this paper
• Real-Time Heart Model for Implantable Cardiac Device Validation and Verification

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

  2010cited by this paper
• Issues and considerations for a modular safety certification approach in a service-oriented architecture

  2010cited by this paper
• An artificial vector model for generating abnormal electrocardiographic rhythms

  2010cited by this paper
• Assurance Cases in Model-Driven Development of the Pacemaker Software

  2010cited by this paper
• A Bihormonal Closed-Loop Artificial Pancreas for Type 1 Diabetes

  2010cited by this paper
• Cloud auto-scaling with deadline and budget constraints

  2010cited by this paper
• Prototyping closed loop physiologic control with the medical device coordination framework

  2010cited by this paper
• Performance analysis for embedded software design

  2010cited by this paper
• Verification of Printer Datapaths Using Timed Automata

  2010cited by this paper
• Model-Checking and Simulation for Stochastic Timed Systems

  2010cited by this paper
• Sources of Glycemic Variability—What Type of Technology is Needed?

  2009cited by this paper
• Plug-and-play for medical devices: experiences from a case study.

  2009cited by this paper
• Virtual Infrastructure Management in Private and Hybrid Clouds

  2009cited by this paper
• Closed-Loop Insulin Delivery Using a Subcutaneous Glucose Sensor and Intraperitoneal Insulin Delivery

  2009cited by this paper
• Safety Constraints in an Artificial Pancreatic β Cell: An Implementation of Model Predictive Control with Insulin on Board

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

  2009cited by this paper
• Closed-Loop Artificial Pancreas Using Subcutaneous Glucose Sensing and Insulin Delivery and a Model Predictive Control Algorithm: The Virginia Experience

  2009cited by this paper
• Towards an Assurance Case Practice for Medical Devices

  2009cited by this paper
• Modeling Synchronous Systems in

  2009cited by this paper
• Closed-Loop Artificial Pancreas Using Subcutaneous Glucose Sensing and Insulin Delivery and a Model Predictive Control Algorithm: Preliminary Studies in Padova and Montpellier

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

  2009cited by this paper
• Formal Modeling and Scheduling of Datapaths of Digital Document Printers

  2008cited by this paper
• Fully Automated Closed-Loop Insulin Delivery Versus Semiautomated Hybrid Control in Pediatric Patients With Type 1 Diabetes Using an Artificial Pancreas

  2008cited by this paper
• Model Predictive Control of Type 1 Diabetes: An in Silico Trial

  2007cited by this paper
• Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project

  2007cited by this paper
• A Fault Taxonomy for Service-Oriented Architecture

  2007cited by this paper
• Systolic and diastolic heart failure: differences and similarities.

  2007cited by this paper
• Adaptive Closed-Loop Control Provides Blood-Glucose Regulation Using Dual Subcutaneous Insulin and Glucagon Infusion in Diabetic Swine

  2007cited by this paper
• Programmable Infusion Pumps in ICUs: An Analysis of Corresponding Adverse Drug Events

  2007cited by this paper
• A method for assessing quality of control from glucose profiles

  2007cited by this paper
• Cardiovascular Simulation Toolbox

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

  2007cited by this paper
• gnuplot 4.0: a portable interactive plotting utility

  2006cited by this paper
• Blood glucose variability: a new paradigm in critical care?

  2006cited by this paper
• Steering of Discrete Event Systems: Control Theory Approach

  2006cited by this paper
• A Nonlinear State-Space Model of a Combined Cardiovascular System and a Rotary Pump

  2005cited by this paper
• Assessment of left ventricular parameters using 16-MDCT and new software for endocardial and epicardial border delineation.

  2005cited by this paper
• Controller Dependability Analysis by Probabilistic Model Checking

  2004cited by this paper
• Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System

  2004cited by this paper
• WINDKESSEL MODEL ANALYSIS IN MATLAB

  2004cited by this paper
• The Goal Structuring Notation – A Safety Argument Notation

  2004cited by this paper
• The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services

  2003cited by this paper
• The Vision of Autonomic Computing

  2003cited by this paper
• Modeling β-Cell Insulin Secretion - Implications for Closed-Loop Glucose Homeostasis

  2003cited by this paper
• Cascade control strategy for external carbon dosage in predenitrifying process.

  2002cited by this paper
• Safety and efficacy of patient-controlled analgesia.

  2001cited by this paper
• Graphviz - Open Source Graph Drawing Tools

  2001cited by this paper
• Number 5 Modeling the Cardiovascular System — A Mathematical Adventure : Part I

  2001cited by this paper
• The principled design of computer system safety analyses

  1999cited by this paper
• Twenty-four hour time domain heart rate variability and heart rate: relations to age and gender over nine decades.

  1998cited by this paper
• Uppaal in a nutshell

  1997cited by this paper
• The theory of hybrid automata

  1996cited by this paper
• The effect of long-term intensified insulin treatment on the development of microvascular complications of diabetes mellitus.

  1993cited by this paper
• Five-compartment model of insulin kinetics and its use to investigate action of chloroquine in NIDDM.

  1993cited by this paper
• Epidemiology of severe hypoglycemia in the diabetes control and complications trial. The DCCT Research Group.

  1991cited by this paper
• Scheduling dependent real-time activities

  1990cited by this paper
• Translation of Otto Frank's paper "Die Grundform des Arteriellen Pulses" Zeitschrift für Biologie 37: 483-526 (1899).

  1990cited by this paper
• Towards a Performance Modelling Environment: News on Hit

  1989cited by this paper
• Best-effort decision-making for real-time scheduling

  1986cited by this paper
• Die grundform des arteriellen pulses

  year unknowncited by this paper

• Model-based concept to extract heart beat-to-beat variations beyond respiratory arrhythmia and baroreflex

  2023cites this paper
• Behavioural Representation of the Aorta by Utilizing Windkessel and Agent-Based Modelling

  2021cites this paper
• Simulated Performance of the Cleveland Clinic Continuous-Flow Total Artificial Heart Using the Virtual Mock Loop.

  2019cites this paper
• Fetal cardiovascular simulations to assess the feasibility of intrauterine ECMO

  2019cites this paper
• Human Blood Circulatory System Modeling based on Hybrid Systems

  2018cites this paper
• Design and construction of a hydro-pneumatic mock circulation loop that emulates the systemic circuit of the circulatory system

  2016cites this paper