Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox

In the present document, six mathematical models of the cardiovascular system are studied and implemented in MATLAB R2013a using an updated version of the Cardiovascular Simulation Toolbox proposed by O. Barnea at the Tel-Aviv University. All the mathematical models are based on electrical lumped-parameter analogies. The results of the simulations are compared with a list of expected hemodynamic parameters and contrasted with laboratory values.

[1]  Sampath Kannan,et al.  Steering of Discrete Event Systems: Control Theory Approach , 2006, Electron. Notes Theor. Comput. Sci..

[2]  David John Pumfrey,et al.  The principled design of computer system safety analyses , 1999 .

[3]  S. Hettinga,et al.  Performance analysis for embedded software design , 2010 .

[4]  P. Macintyre,et al.  Safety and efficacy of patient-controlled analgesia. , 2001, British journal of anaesthesia.

[5]  Ing. Martin Hlaváč,et al.  WINDKESSEL MODEL ANALYSIS IN MATLAB , 2004 .

[6]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[7]  Taolue Chen,et al.  Quantitative Verification of Implantable Cardiac Pacemakers , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[8]  L. B. E. A. Hoeks,et al.  Real‐time continuous glucose monitoring system for treatment of diabetes: a systematic review , 2011, Diabetic medicine : a journal of the British Diabetic Association.

[9]  W. Kenneth Ward,et al.  Development of a fully automated closed loop artificial pancreas control system with dual pump delivery of insulin and glucagon , 2011, 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[10]  David Arney,et al.  Design Pillars for Medical Cyber-Physical System Middleware , 2014, MCPS.

[11]  J. Goodenough,et al.  Towards an Assurance Case Practice for Medical Devices , 2009 .

[12]  C. Cobelli,et al.  In Silico Preclinical Trials: A Proof of Concept in Closed-Loop Control of Type 1 Diabetes , 2009, Journal of diabetes science and technology.

[13]  Catherine Menon,et al.  Issues and considerations for a modular safety certification approach in a service-oriented architecture , 2010 .

[14]  Jie Li,et al.  Cloud auto-scaling with deadline and budget constraints , 2010, 2010 11th IEEE/ACM International Conference on Grid Computing.

[15]  Peter Hunold,et al.  Assessment of left ventricular parameters using 16-MDCT and new software for endocardial and epicardial border delineation. , 2005, AJR. American journal of roentgenology.

[16]  Somanath Majhi,et al.  PID controller tuning for integrating processes. , 2010, ISA transactions.

[17]  Insup Lee,et al.  Model-Driven Safety Analysis of Closed-Loop Medical Systems , 2014, IEEE Transactions on Industrial Informatics.

[18]  O. Frank,et al.  Die grundform des arteriellen pulses , 1899 .

[19]  Insup Lee,et al.  From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study , 2012, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.

[20]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[21]  Darrell M. Wilson,et al.  A Closed-Loop Artificial Pancreas Using Model Predictive Control and a Sliding Meal Size Estimator , 2009, Journal of diabetes science and technology.

[22]  Raymond Keith Clark,et al.  Scheduling dependent real-time activities , 1990 .

[23]  J. Leahy,et al.  Fully Automated Closed-Loop Insulin Delivery Versus Semiautomated Hybrid Control in Pediatric Patients With Type 1 Diabetes Using an Artificial Pancreas , 2008 .

[24]  L. Magni,et al.  Diabetes: Models, Signals, and Control , 2010, IEEE Reviews in Biomedical Engineering.

[25]  Taolue Chen,et al.  Quantitative verification of implantable cardiac pacemakers over hybrid heart models , 2014, Inf. Comput..

[26]  Miroslaw Malek,et al.  A Fault Taxonomy for Service-Oriented Architecture , 2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07).

[27]  Zhihao Jiang,et al.  Real-Time Heart Model for Implantable Cardiac Device Validation and Verification , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[28]  F. El-Khatib,et al.  Adaptive Closed-Loop Control Provides Blood-Glucose Regulation Using Dual Subcutaneous Insulin and Glucagon Infusion in Diabetic Swine , 2007, Journal of diabetes science and technology.

[29]  Taolue Chen,et al.  A simulink hybrid heart model for quantitative verification of cardiac pacemakers , 2013, HSCC '13.

[30]  Venkatesh Kannan,et al.  Formal Modeling and Scheduling of Datapaths of Digital Document Printers , 2008, FORMATS.

[31]  Insup Lee,et al.  A Safety Case Pattern for Model-Based Development Approach , 2012, NASA Formal Methods.

[32]  Zhihao Jiang,et al.  Cyber–Physical Modeling of Implantable Cardiac Medical Devices , 2012, Proceedings of the IEEE.

[33]  S. Sung,et al.  Cascade control strategy for external carbon dosage in predenitrifying process. , 2002, Water science and technology : a journal of the International Association on Water Pollution Research.

[34]  Twan Basten,et al.  Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset , 2010, ISoLA.

[35]  D H Singer,et al.  Twenty-four hour time domain heart rate variability and heart rate: relations to age and gender over nine decades. , 1998, Journal of the American College of Cardiology.

[36]  Arnd Hartmanns,et al.  Model-Checking and Simulation for Stochastic Timed Systems , 2010, FMCO.

[37]  Frits W. Vaandrager,et al.  Verification of Printer Datapaths Using Timed Automata , 2010, ISoLA.

[38]  E R Carson,et al.  Five-compartment model of insulin kinetics and its use to investigate action of chloroquine in NIDDM. , 1993, The American journal of physiology.

[39]  Insup Lee,et al.  Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project , 2007, 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007).

[40]  Shamim Nemati,et al.  An artificial vector model for generating abnormal electrocardiographic rhythms. , 2010, Physiological measurement.

[41]  Yuhong Zhao,et al.  Online Model Checking for Dependable Real-Time Systems , 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[43]  Borja Sotomayor,et al.  Virtual Infrastructure Management in Private and Hybrid Clouds , 2009, IEEE Internet Computing.

[44]  L. Magni,et al.  Closed-Loop Artificial Pancreas Using Subcutaneous Glucose Sensing and Insulin Delivery and a Model Predictive Control Algorithm: Preliminary Studies in Padova and Montpellier , 2009, Journal of diabetes science and technology.

[45]  Boudewijn R. Haverkort,et al.  Performance Evaluation for Collision Prevention Based on a Domain Specific Language , 2013, EPEW.

[46]  Alfio Quarteroni,et al.  Number 5 Modeling the Cardiovascular System — A Mathematical Adventure : Part I , 2001 .

[47]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[48]  Alexandru Mereacre,et al.  Automated Verification of Quantitative Properties of Cardiac Pacemaker Software , 2014, MCPS.

[49]  Emden R. Gansner,et al.  Graphviz - Open Source Graph Drawing Tools , 2001, GD.

[50]  Konstantina S. Nikita,et al.  An Insulin Infusion Advisory System Based on Autotuning Nonlinear Model-Predictive Control , 2011, IEEE Transactions on Biomedical Engineering.

[51]  L. Magni,et al.  Model Predictive Control of Type 1 Diabetes: An in Silico Trial , 2007, Journal of diabetes science and technology.

[52]  Toke Folke Christensen,et al.  Sources of Glycemic Variability—What Type of Technology is Needed? , 2009, Journal of diabetes science and technology.

[53]  Robert G. Sutherlin,et al.  A Bihormonal Closed-Loop Artificial Pancreas for Type 1 Diabetes , 2010, Science Translational Medicine.

[54]  Insup Lee,et al.  Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System , 2003, International Journal on Software Tools for Technology Transfer.

[55]  Holger Hermanns,et al.  mctau: Bridging the Gap between Modest and UPPAAL , 2012, SPIN.

[56]  H. Beilner,et al.  Towards a Performance Modelling Environment: News on Hit , 1989 .

[57]  Heiko Ludwig,et al.  The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services , 2003, Journal of Network and Systems Management.

[58]  K Sagawa,et al.  Translation of Otto Frank's paper "Die Grundform des Arteriellen Pulses" Zeitschrift für Biologie 37: 483-526 (1899). , 1990, Journal of molecular and cellular cardiology.

[59]  Eyal Dassau,et al.  Safety Constraints in an Artificial Pancreatic β Cell: An Implementation of Model Predictive Control with Insulin on Board , 2009, Journal of diabetes science and technology.

[60]  Ramin Sadre,et al.  Simulative and Analytical Evaluation for ASD-Based Embedded Software , 2012, MMB/DFT.

[61]  Rollin J. Fairbanks,et al.  Programmable Infusion Pumps in ICUs: An Analysis of Corresponding Adverse Drug Events , 2007, Journal of General Internal Medicine.

[62]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[63]  Epidemiology of severe hypoglycemia in the diabetes control and complications trial. The DCCT Research Group. , 1991, The American journal of medicine.

[64]  André Grimaldi,et al.  Blood glucose variability: a new paradigm in critical care? , 2006, Anesthesiology.

[65]  Insup Lee,et al.  Prototyping closed loop physiologic control with the medical device coordination framework , 2010, SEHC '10.

[66]  Joost-Pieter Katoen,et al.  A compositional modelling and analysis framework for stochastic hybrid systems , 2012, Formal Methods in System Design.

[67]  Ravishankar K. Iyer,et al.  Analysis of Safety-Critical Computer Failures in Medical Devices , 2013, IEEE Security & Privacy.

[68]  Claudio Cobelli,et al.  Meal Simulation Model of the Glucose-Insulin System , 2007, IEEE Transactions on Biomedical Engineering.

[69]  Sriram Sankaranarayanan,et al.  Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System , 2012, CMSB.

[70]  Benyamin Grosman,et al.  Continuous Glucose Monitoring Considerations for the Development of a Closed-Loop Artificial Pancreas System , 2011, Journal of diabetes science and technology.

[71]  Ofer Barnea,et al.  Open-Source Programming of Cardiovascular Pressure-Flow Dynamics Using SimPower Toolbox in Matlab and Simulink , 2013 .

[72]  Joseph Sifakis,et al.  Modeling Synchronous Systems in , 2009 .

[73]  Tao Li,et al.  From Offline toward Real-Time : A Hybrid Systems Model Checking and CPS Co-Design Approach for Medical Device Plug-and-Play ( MDPnP ) , 2012 .

[74]  W. Kenneth Ward,et al.  Novel Use of Glucagon in a Closed-Loop System for Prevention of Hypoglycemia in Type 1 Diabetes , 2010, Diabetes Care.

[75]  Insup Lee,et al.  Assurance Cases in Model-Driven Development of the Pacemaker Software , 2010, ISoLA.

[76]  Marta Kwiatkowska,et al.  Controller Dependability Analysis by Probabilistic Model Checking , 2004 .

[77]  G. Steil,et al.  Modeling beta-cell insulin secretion--implications for closed-loop glucose homeostasis. , 2003, Diabetes technology & therapeutics.

[78]  Alfio Quarteroni.  Modeling the Cardiovascular System — A Mathematical Adventure : Part II , 2001 .

[79]  Insup Lee,et al.  Toward patient safety in closed-loop medical device systems , 2010, ICCPS '10.

[80]  Giovanni Sparacino,et al.  “Smart” Continuous Glucose Monitoring Sensors: On-Line Signal Processing Issues , 2010, Sensors.

[81]  Steven P. Haveman,et al.  Early Insight in Systems Design through Modeling and Simulation , 2014, CSER.

[82]  Lijun Zhang,et al.  Model Repair for Markov Decision Processes , 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.

[83]  Marta Vilchez-Monge,et al.  An updated Cardiovascular Simulation Toolbox , 2013, 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013).

[84]  J. Levy,et al.  A method for assessing quality of control from glucose profiles , 2007, Diabetic medicine : a journal of the British Diabetic Association.

[85]  Yingchun Fu,et al.  Recent advances in electrochemical glucose biosensors: a review , 2013 .

[86]  Rajeev Alur,et al.  Modeling and Verification of a Dual Chamber Implantable Pacemaker , 2012, TACAS.

[87]  Insup Lee,et al.  Plug-and-play for medical devices: experiences from a case study. , 2009, Biomedical instrumentation & technology.

[88]  Ofer Barnea,et al.  Cardiovascular Simulation Toolbox , 2007, Cardiovascular engineering.

[89]  Jeffrey S. Racine,et al.  gnuplot 4.0: a portable interactive plotting utility , 2006 .

[90]  P. Reichard,et al.  The effect of long-term intensified insulin treatment on the development of microvascular complications of diabetes mellitus. , 1993, The New England journal of medicine.

[91]  S. Patek,et al.  Closed-Loop Artificial Pancreas Using Subcutaneous Glucose Sensing and Insulin Delivery and a Model Predictive Control Algorithm: The Virginia Experience , 2009, Journal of diabetes science and technology.

[92]  C. C. Palerm,et al.  Closed-Loop Insulin Delivery Using a Subcutaneous Glucose Sensor and Intraperitoneal Insulin Delivery , 2009, Diabetes Care.

[93]  David M Nathan,et al.  Efficacy Determinants of Subcutaneous Microdose Glucagon during Closed-Loop Control , 2010, Journal of diabetes science and technology.

[94]  Xintao Ma.  Online Checking of a Hybrid Laser Tracheotomy Model in UPPAAL-SMC , 2013 .

[95]  Gang Quan,et al.  On-Line Scheduling of Real-Time Services for Cloud Computing , 2010, 2010 6th World Congress on Services.

[96]  C. D. Locke,et al.  Best-effort decision-making for real-time scheduling , 1986 .

[97]  Kanu Chatterjee,et al.  Systolic and diastolic heart failure: differences and similarities. , 2007, Journal of cardiac failure.

[98]  Tim Kelly,et al.  The Goal Structuring Notation – A Safety Argument Notation , 2004 .

[99]  J. R. Boston,et al.  A Nonlinear State-Space Model of a Combined Cardiovascular System and a Rotary Pump , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[100]  Dale E. Seborg,et al.  Control-Relevant Models for Glucose Control Using A Priori Patient Characteristics , 2012, IEEE Transactions on Biomedical Engineering.