Human Blood Circulatory System Modeling based on Hybrid Systems

In the health-related equipment industry, there is the challenge of how to effectively test the devices to be introduced into the human body. One approach is the development of a blood circulatory system simulator for in vitro testing of cardio devices. However, this simulator depends on a proper understanding of the cardiovascular system functioning, not only from the viewpoint of blood flow, but also under the occurrence viewpoint of events that change this system operation mode. This paper thus presents a survey of works that approach different forms to model the blood circulatory system, besides introducing the concept of hybrid systems (discrete event systems combined with systems of continuous variables) to comprehensively model this system.

[1]  C. T. Kelley,et al.  Patient-specific modeling of cardiovascular and respiratory dynamics during hypercapnia. , 2013, Mathematical biosciences.

[2]  Alfio Quarteroni,et al.  The cardiovascular system: Mathematical modelling, numerical algorithms and clinical applications * , 2017, Acta Numerica.

[3]  Varsha Vijayan,et al.  Model of Aortic Blood Flow Using the Windkessel E↵ect , 2012 .

[4]  Eleuterio F. Toro,et al.  Brain venous haemodynamics, neurological diseases and mathematical modelling. A review , 2016, Appl. Math. Comput..

[5]  Zhihao Jiang,et al.  Modeling cardiac pacemaker malfunctions with the Virtual Heart Model , 2011, 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[6]  Alfio Quarteroni,et al.  Cardiovascular mathematics : modeling and simulation of the circulatory system , 2009 .

[7]  Jiří Kofránek,et al.  Lumped models of the cardiovascular system of various complexity , 2017 .

[8]  Xu Wang,et al.  A hybrid Petri nets approach for railway systems , 2017, 2017 29th Chinese Control And Decision Conference (CCDC).

[9]  J. Mynard,et al.  One-Dimensional Haemodynamic Modeling and Wave Dynamics in the Entire Adult Circulation , 2015, Annals of Biomedical Engineering.

[10]  Hisham M F Sherif Ebers, DaVinci, and Euler: Calculating the Pulse. Assumptions, Challenges, and Opportunities in Mathematical Modeling of Aortic Flow. , 2016, Critical reviews in biomedical engineering.

[11]  A C Fowler,et al.  Mathematical Biology Digital Object Identifier (DOI): , 2000 .

[12]  Christopher J. Arthurs,et al.  A mathematical model of coronary blood flow control: simulation of patient-specific three-dimensional hemodynamics during exercise , 2016, American journal of physiology. Heart and circulatory physiology.

[13]  Willi Jäger,et al.  Mathematical modeling and simulation of the evolution of plaques in blood vessels , 2016, Journal of mathematical biology.

[14]  N. Stergiopulos,et al.  Validation of a one-dimensional model of the systemic arterial tree. , 2009, American journal of physiology. Heart and circulatory physiology.

[15]  Alberto P. Avolio,et al.  Lumped parameter model of cardiovascular-respiratory interaction , 2013, 2013 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

[16]  Raheem Gul,et al.  Mathematical Modeling and Sensitivity Analysis of Lumped-Parameter Model of the Human Cardiovascular System , 2016 .

[17]  Pablo J. Blanco,et al.  A 3D-1D-0D Computational Model for the Entire Cardiovascular System , 2010 .

[18]  Krassimir T. Atanassov,et al.  Generalized net model of the upper limb vascular system , 2012, 2012 6th IEEE International Conference Intelligent Systems.

[19]  Tomohiro Murata,et al.  Hybrid System Modeling and Operation Schedule Optimization for Gas Transportation Network Based on Combined Method of DE, GA and Hybrid Petri Net , 2016, 2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI).

[20]  J. Gunn,et al.  Computational fluid dynamics modelling in cardiovascular medicine , 2015, Heart.

[21]  Mircea Adrian Drighiciu Hybrid Petri nets: A framework for hybrid systems modeling , 2017, 2017 International Conference on Electromechanical and Power Systems (SIELMEN).

[22]  David A. Steinman,et al.  Image-Based Computational Fluid Dynamics Modeling in Realistic Arterial Geometries , 2002, Annals of Biomedical Engineering.

[23]  Miroslav Lozek,et al.  Mechanical model of cardiovascular system determination of cardiac output by thermodilution method , 2013, 2013 International Conference on Applied Electronics.

[24]  Jesús Marín,et al.  Alterations in phenylephrine‐induced contractions and the vascular expression of Na+,K+‐ATPase in ouabain‐induced hypertension , 2002, British journal of pharmacology.

[25]  Vijanth Sagayan Asirvadam,et al.  A Review on Segmentation and Modeling of Cerebral Vasculature for Surgical Planning , 2017, IEEE Access.

[26]  Alessio Gizzi,et al.  A FSI computational framework for vascular physiopathology: A novel flow-tissue multiscale strategy. , 2017, Medical engineering & physics.

[27]  M. Joyner,et al.  Regulation of increased blood flow (hyperemia) to muscles during exercise: a hierarchy of competing physiological needs. , 2015, Physiological reviews.

[28]  Bart Meyns,et al.  Hemodynamic effects of partial ventricular support in chronic heart failure: results of simulation validated with in vivo data. , 2007, The Journal of thoracic and cardiovascular surgery.

[29]  Mahmoud Moghavvemi,et al.  Modelling of human cardiovascular system in ventricular assist device simulation , 2016, 2016 IEEE Industrial Electronics and Applications Conference (IEACon).

[30]  Maria Guerrisi,et al.  Review on lumped parameter method for modeling the blood flow in systemic arteries , 2013 .

[31]  Greg M. Swain,et al.  Alterations in sympathetic neuroeffector transmission to mesenteric arteries but not veins in DOCA-salt hypertension , 2010, Autonomic Neuroscience.

[32]  Paulo E. Miyagi,et al.  Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems , 2003, ADHS.

[33]  S. V. Frolov,et al.  Modeling the hemodynamics of the cardiovascular system with cerebral aneurysm , 2017 .

[34]  Yubing Shi,et al.  Lumped-parameter modelling of cardiovascular system dynamics under different healthy and diseased conditions , 2013 .

[35]  Manisha Barman,et al.  A Fuzzy Rule Base System for the Diagnosis of Heart Disease , 2012 .

[36]  Sebastian Acosta,et al.  Numerical method of characteristics for one-dimensional blood flow , 2014, J. Comput. Phys..

[37]  Yubing Shi,et al.  Review of Zero-D and 1-D Models of Blood Flow in the Cardiovascular System , 2011, Biomedical engineering online.

[38]  V. Manoliu Modeling cardiovascular hemodynamics in a model with nonlinear parameters , 2015, 2015 E-Health and Bioengineering Conference (EHB).

[39]  Marta Vilchez-Monge,et al.  Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox , 2014, MCPS.

[40]  Siamak N. Doost,et al.  Heart blood flow simulation: a perspective review , 2016, Biomedical engineering online.

[41]  A. Quarteroni,et al.  One-dimensional models for blood flow in arteries , 2003 .

[42]  Franz Kappel,et al.  Mathematical Modeling and Validation in Physiology , 2013 .

[43]  Matthew J. Daigle,et al.  Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets , 2016, Petri Nets.

[44]  Giancarlo Pennati,et al.  Mathematical modelling of the maternal cardiovascular system in the three stages of pregnancy. , 2017, Medical engineering & physics.

[45]  Emilia Villani,et al.  AN OBJECT-ORIENTED APPROACH FOR HYBRID SYSTEM MODELLING , 2002 .

[46]  Chen Chen,et al.  Characterization and evolution of emergency scenarios using hybrid Petri net , 2018 .

[47]  M. Rahman,et al.  Mathematical modeling of blood flow , 2012, 2012 International Conference on Informatics, Electronics & Vision (ICIEV).

[48]  Marius Popescu,et al.  A Petri Nets approach for hybrid systems modeling , 2009 .

[49]  H. Howie Huang,et al.  Computational modeling of cardiac hemodynamics: Current status and future outlook , 2016, J. Comput. Phys..

[50]  S. Kenjereš On Recent Progress in Modelling and Simulations of Multi-scale Transfer of Mass, Momentum and Particles in Bio-medical Applications , 2016 .

[51]  Zhangxing Chen,et al.  Mathematical and Numerical Modeling of Flow and Transport , 2011, J. Appl. Math..

[52]  J. Vincent Understanding cardiac output , 2008, Critical care.

[53]  Mirian Watanabe,et al.  [Instrumental and ethical aspects of experimental research with animal models]. , 2014, Revista da Escola de Enfermagem da U S P.

[54]  Manuel Silva,et al.  Modeling, analysis and control of Discrete Event Systems: a Petri net perspective , 2017 .

[55]  N. Smedira,et al.  Mechanical circulatory assistance: state of art. , 2002, Circulation.

[56]  N. Manamanni,et al.  Observer based state feedback control design for switched linear systems: A differential petri net approach , 2010, 2010 Conference on Control and Fault-Tolerant Systems (SysTol).

[57]  W Huberts,et al.  A 1D pulse wave propagation model of the hemodynamics of calf muscle pump function , 2015, International journal for numerical methods in biomedical engineering.

[58]  J. Alastruey,et al.  A systematic comparison between 1‐D and 3‐D hemodynamics in compliant arterial models , 2014, International journal for numerical methods in biomedical engineering.

[59]  Ketan Naik,et al.  Mathematical Modeling of Human Cardiovascular System: A Lumped Parameter Approach and Simulation , 2017 .

[60]  Emilia Villani Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach , 2006 .

[61]  Hsiu-Sen Chiang,et al.  ECG identification of arrhythmias by using an associative Petri net , 2013, 2013 IEEE International Conference on Cluster Computing (CLUSTER).

[62]  Matteo Astorino,et al.  Fluid-Structure Interaction in the Cardiovascular System. Numerical Analysis and Simulation , 2010 .

[63]  Alfio Quarteroni,et al.  Geometric multiscale modeling of the cardiovascular system, between theory and practice , 2016 .

[64]  Luca Ridolfi,et al.  Modelling and Subject-Specific Validation of the Heart-Arterial Tree System , 2014, Annals of Biomedical Engineering.

[65]  Hussin Attya Lafta A Fuzzy Petri Nets System for Heart Disease Diagnosis , 2017 .

[66]  Paulo E. Miyagi,et al.  Design of Supervisory Control System for Ventricular Assist Device , 2011, DoCEIS.

[67]  C. A. Figueroa,et al.  Simulation of short-term pressure regulation during the tilt test in a coupled 3D–0D closed-loop model of the circulation , 2015, Biomechanics and modeling in mechanobiology.

[68]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..