American Institute of Mathematical Sciences

Advanced
December  2014, 4(4): 521-554. doi: 10.3934/mcrf.2014.4.521

Observability and controllability analysis of blood flow network

Chun Zong 1, and  Gen Qi Xu 1,

1. 

Department of Mathematics, Tianjin University, Tianjin, 300072, China, China

Received  September 2013 Revised  January 2014 Published  September 2014

In this paper, we consider the initial-boundary value problem of a binary bifurcation model of the human arterial system. Firstly, we obtain a new pressure coupling condition at the junction based on the mass and energy conservation law. Then, we prove that the linearization system is interior well-posed and $L^2$ well-posed by using the semigroup theory of bounded linear operators. Further, by a complete spectral analysis for the system operator, we prove the completeness and Riesz basis property of the (generalized) eigenvectors of the system operator. Finally, we present some results on the boundary exact controllability and the boundary exact observability for the system.
Keywords: pressure and mass coupling condition, Controllability, separability., observability, vascular bifurcation.
Mathematics Subject Classification: Primary: 93B05, 93B07; Secondary: 76Z05, 93B6.
Citation: Chun Zong, Gen Qi Xu. Observability and controllability analysis of blood flow network. Mathematical Control & Related Fields, 2014, 4 (4) : 521-554. doi: 10.3934/mcrf.2014.4.521
References:
[1]

L. Formaggia, F. Nobile, A. Quarteroni and A. Venezini, Multiscale modelling of the circulatory system: A preliminary analysis,, Computing and visualization in science., 2 (1999), 75.  doi: 10.1007/s007910050030.  Google Scholar

[2]

A. Quarteroni and A. Venezini, Analysis of a geometrical multiscale model based on the coupling of ODE's and PDE's for blood flow simulation,, Multiscale Modeling & Simulation., 1 (2003), 173.  doi: 10.1137/S1540345902408482.  Google Scholar

[3]

L. Formaggia, J. F. Gerbeau, F. Nobile and A. Quarteroni, On the coupling of 3D and 1D Navier-Stokes equations for flow problems in compliant vessels,, Comp. Meth. Appl. Mech. Engng., 191 (2001), 561.  doi: 10.1016/S0045-7825(01)00302-4.  Google Scholar

[4]

S. Čanić and E. H. Kim, Mathematical analysis of the quasilinear effects in a hyperbolic model blood flow through compliant axi-symmetric vessels,, Math. Methods Appl. Sci., 26 (2003), 1161.  doi: 10.1002/mma.407.  Google Scholar

[5]

T. Li and K. Zhao, Global existence and long-time behavior of entropy weak solutions to a quasilinear hyperbolic blood flow model,, Netw. Heterog. Media., 6 (2011), 625.  doi: 10.3934/nhm.2011.6.625.  Google Scholar

[6]

S. J. Sherwin, V. Franke, J. Peiró and K. Parker, One-dimensional modelling of a vascular network in space-time variables,, J. Engineering Mathematics., 47 (2003), 217.  doi: 10.1023/B:ENGI.0000007979.32871.e2.  Google Scholar

[7]

A. Harloff, F. Albrecht, J. Spreer, A. F. Stalder, J. Bock, A. Frydrychowicz, J. Schöllhorn, A. Hetzel, M. Schumacher, J. Hennig and M. Markl, 3D blood blow characteristics in the carotid artery bifurcation assessed by flow-sensitive 4D MRI at 3T,, Magnetic Resonance in Medicine., 61 (2009), 65.   Google Scholar

[8]

F. N. van de Vosse and N. Stergiopulos, Pulse Wave Propagation in the Arterial Tree,, Annu. Rev. Fluid Mech., 43 (2011), 467.  doi: 10.1146/annurev-fluid-122109-160730.  Google Scholar

[9]

J. O. Barber, I. P. Alberding, J. M. Restrepo and T. W. Secomb, Simulated two-dimensional red blood cell motion, deformation and partitioning in microvessel bifurcations,, Ann Biomed Eng., 36 (2008), 1690.  doi: 10.1007/s10439-008-9546-4.  Google Scholar

[10]

L. Formaggia, D. Lamponi, M. Tuveri and A. Veneziani, Numerical modeling of 1D arterial networks coupled with a lumped parameters description of the heart,, Compute Methods Biomech Biomed Engin., 9 (2006), 273.  doi: 10.1080/10255840600857767.  Google Scholar

[11]

J. J. Wang and K. Parker, Wave propagation in a model for arterial circulation,, J. Biomech., 37 (2004), 457.  doi: 10.1016/j.jbiomech.2003.09.007.  Google Scholar

[12]

S. Z. Zhao, X. Y. Xu, A. D. Hughes, S. A. Thom, A. V. Stanton, B. Ariff and Q. Long, Blood flow and vessel mechanics in a physiologically realistic model of a human carotid arterial bifurcation,, J. Biomech., 33 (2000), 975.  doi: 10.1016/S0021-9290(00)00043-9.  Google Scholar

[13]

M. A. Fernández, V. Milišić and A. Quarteroni, Analysis of a geometrical multiscale blood flow model based on the coupling of ODE's and hyperbolic PDE's,, SIAM J. Multiscale Mod. Sim., 4 (2005), 215.  doi: 10.1137/030602010.  Google Scholar

[14]

V. Milišić and A. Quarteroni, Analiysis of lumped parameter models for blood flow simulations and their relation with 1D models,, ESAIM: Mathematical Modelling and Numerical Analysis., 38 (2004), 613.  doi: 10.1051/m2an:2004036.  Google Scholar

[15]

A. Quarteroni, M. Tuveri and A. Veneziani, Computational vascular fluid dynamics: Problems, models and methods,, Comput. Visual Sci., 2 (2000), 163.  doi: 10.1007/s007910050039.  Google Scholar

[16]

I. C. Gohberg and M. G. Kreĭn, Introduction to the Theory of Linear Non-Selfadjoint Operators,, Translations of Mathematical Monographs, (1969).   Google Scholar

[17]

A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations,, Berlin: Springer-Verlag, (1983).  doi: 10.1007/978-1-4612-5561-1.  Google Scholar

[18]

R. Curtain and G. Weiss, Exponential stabilization of well-posed systems by collocated feedback,, SIAM J. Control & Optim., 45 (2006), 273.  doi: 10.1137/040610489.  Google Scholar

[19]

M. Tucsnak and G. Weiss, Observation and Control for Operator Semigroups,, Birkhäuser Adv anced Texts: Basler Lehrbücher., (2009).  doi: 10.1007/978-3-7643-8994-9.  Google Scholar

[20]

R. Mennicken and M. Möller, Non-self-adjoint Boundary Eigenvalue Problems,, North-Holland Mathematics Studies, (2003).   Google Scholar

[21]

S. A. Avdonin and S. A. Ivanov, Families of Exponentials. The Method of Moments in Controllability Problems for Distributed Parameter System,, Cambridge University Press, (1995).   Google Scholar

[22]

G. Q. Xu and Y. X. Zhang, Vector-valued hyperbolic system and applications to complex networks of strings,, Joint 48th IEEE CDC and 28th CCC, (2009), 6448.  doi: 10.1109/CDC.2009.5400250.  Google Scholar

[23]

R. M. Young, An Introduction to Nonharmonic Fourier Series,, Pure and Applied Mathematics, (1980).   Google Scholar

[24]

G. Q. Xu, C. Liu and S. P. Yung, Necessary conditions for the exact observability of systems on Hilbert spaces,, Systems & Control Letters, 57 (2008), 222.  doi: 10.1016/j.sysconle.2007.08.006.  Google Scholar

[25]

G. Q. Xu and Y. F. Shang, Characteristic of left invertible semigroups and admissibility of observation operators,, Systems & Control Letters, 58 (2009), 561.  doi: 10.1016/j.sysconle.2009.03.006.  Google Scholar

[26]

G. Q. Xu and S. P. Yung, The expansion of semigroup and criterion of Riesz Basis,, J. Diff. Equat., 210 (2005), 1.  doi: 10.1016/j.jde.2004.09.015.  Google Scholar

[27]

G. Q. Xu, Z. J. Han and S. P. Yung, Riesz basis property of serially connected Timoshenko beams,, International Journal of Control, 80 (2007), 470.  doi: 10.1080/00207170601100904.  Google Scholar

[28]

G. Q. Xu and B. Z. Guo, Riesz basis property of Evolution equations in Hilbert space and application to a coupled string equation,, SIAM J. Control & Optim., 42 (2003), 966.  doi: 10.1137/S0363012901400081.  Google Scholar

[29]

B. Z. Guo and Y. Xie, A sufficient condition on Riesz basis with parentheses of non-self-adjoint operator and application to a serially connected string system under joint feedbacks,, SIAM J.Control & Optim., 43 (2004), 1234.  doi: 10.1137/S0363012902420352.  Google Scholar

show all references

References:
[1]

L. Formaggia, F. Nobile, A. Quarteroni and A. Venezini, Multiscale modelling of the circulatory system: A preliminary analysis,, Computing and visualization in science., 2 (1999), 75.  doi: 10.1007/s007910050030.  Google Scholar

[2]

A. Quarteroni and A. Venezini, Analysis of a geometrical multiscale model based on the coupling of ODE's and PDE's for blood flow simulation,, Multiscale Modeling & Simulation., 1 (2003), 173.  doi: 10.1137/S1540345902408482.  Google Scholar

[3]

L. Formaggia, J. F. Gerbeau, F. Nobile and A. Quarteroni, On the coupling of 3D and 1D Navier-Stokes equations for flow problems in compliant vessels,, Comp. Meth. Appl. Mech. Engng., 191 (2001), 561.  doi: 10.1016/S0045-7825(01)00302-4.  Google Scholar

[4]

S. Čanić and E. H. Kim, Mathematical analysis of the quasilinear effects in a hyperbolic model blood flow through compliant axi-symmetric vessels,, Math. Methods Appl. Sci., 26 (2003), 1161.  doi: 10.1002/mma.407.  Google Scholar

[5]

T. Li and K. Zhao, Global existence and long-time behavior of entropy weak solutions to a quasilinear hyperbolic blood flow model,, Netw. Heterog. Media., 6 (2011), 625.  doi: 10.3934/nhm.2011.6.625.  Google Scholar

[6]

S. J. Sherwin, V. Franke, J. Peiró and K. Parker, One-dimensional modelling of a vascular network in space-time variables,, J. Engineering Mathematics., 47 (2003), 217.  doi: 10.1023/B:ENGI.0000007979.32871.e2.  Google Scholar

[7]

A. Harloff, F. Albrecht, J. Spreer, A. F. Stalder, J. Bock, A. Frydrychowicz, J. Schöllhorn, A. Hetzel, M. Schumacher, J. Hennig and M. Markl, 3D blood blow characteristics in the carotid artery bifurcation assessed by flow-sensitive 4D MRI at 3T,, Magnetic Resonance in Medicine., 61 (2009), 65.   Google Scholar

[8]

F. N. van de Vosse and N. Stergiopulos, Pulse Wave Propagation in the Arterial Tree,, Annu. Rev. Fluid Mech., 43 (2011), 467.  doi: 10.1146/annurev-fluid-122109-160730.  Google Scholar

[9]

J. O. Barber, I. P. Alberding, J. M. Restrepo and T. W. Secomb, Simulated two-dimensional red blood cell motion, deformation and partitioning in microvessel bifurcations,, Ann Biomed Eng., 36 (2008), 1690.  doi: 10.1007/s10439-008-9546-4.  Google Scholar

[10]

L. Formaggia, D. Lamponi, M. Tuveri and A. Veneziani, Numerical modeling of 1D arterial networks coupled with a lumped parameters description of the heart,, Compute Methods Biomech Biomed Engin., 9 (2006), 273.  doi: 10.1080/10255840600857767.  Google Scholar

[11]

J. J. Wang and K. Parker, Wave propagation in a model for arterial circulation,, J. Biomech., 37 (2004), 457.  doi: 10.1016/j.jbiomech.2003.09.007.  Google Scholar

[12]

S. Z. Zhao, X. Y. Xu, A. D. Hughes, S. A. Thom, A. V. Stanton, B. Ariff and Q. Long, Blood flow and vessel mechanics in a physiologically realistic model of a human carotid arterial bifurcation,, J. Biomech., 33 (2000), 975.  doi: 10.1016/S0021-9290(00)00043-9.  Google Scholar

[13]

M. A. Fernández, V. Milišić and A. Quarteroni, Analysis of a geometrical multiscale blood flow model based on the coupling of ODE's and hyperbolic PDE's,, SIAM J. Multiscale Mod. Sim., 4 (2005), 215.  doi: 10.1137/030602010.  Google Scholar

[14]

V. Milišić and A. Quarteroni, Analiysis of lumped parameter models for blood flow simulations and their relation with 1D models,, ESAIM: Mathematical Modelling and Numerical Analysis., 38 (2004), 613.  doi: 10.1051/m2an:2004036.  Google Scholar

[15]

A. Quarteroni, M. Tuveri and A. Veneziani, Computational vascular fluid dynamics: Problems, models and methods,, Comput. Visual Sci., 2 (2000), 163.  doi: 10.1007/s007910050039.  Google Scholar

[16]

I. C. Gohberg and M. G. Kreĭn, Introduction to the Theory of Linear Non-Selfadjoint Operators,, Translations of Mathematical Monographs, (1969).   Google Scholar

[17]

A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations,, Berlin: Springer-Verlag, (1983).  doi: 10.1007/978-1-4612-5561-1.  Google Scholar

[18]

R. Curtain and G. Weiss, Exponential stabilization of well-posed systems by collocated feedback,, SIAM J. Control & Optim., 45 (2006), 273.  doi: 10.1137/040610489.  Google Scholar

[19]

M. Tucsnak and G. Weiss, Observation and Control for Operator Semigroups,, Birkhäuser Adv anced Texts: Basler Lehrbücher., (2009).  doi: 10.1007/978-3-7643-8994-9.  Google Scholar

[20]

R. Mennicken and M. Möller, Non-self-adjoint Boundary Eigenvalue Problems,, North-Holland Mathematics Studies, (2003).   Google Scholar

[21]

S. A. Avdonin and S. A. Ivanov, Families of Exponentials. The Method of Moments in Controllability Problems for Distributed Parameter System,, Cambridge University Press, (1995).   Google Scholar

[22]

G. Q. Xu and Y. X. Zhang, Vector-valued hyperbolic system and applications to complex networks of strings,, Joint 48th IEEE CDC and 28th CCC, (2009), 6448.  doi: 10.1109/CDC.2009.5400250.  Google Scholar

[23]

R. M. Young, An Introduction to Nonharmonic Fourier Series,, Pure and Applied Mathematics, (1980).   Google Scholar

[24]

G. Q. Xu, C. Liu and S. P. Yung, Necessary conditions for the exact observability of systems on Hilbert spaces,, Systems & Control Letters, 57 (2008), 222.  doi: 10.1016/j.sysconle.2007.08.006.  Google Scholar

[25]

G. Q. Xu and Y. F. Shang, Characteristic of left invertible semigroups and admissibility of observation operators,, Systems & Control Letters, 58 (2009), 561.  doi: 10.1016/j.sysconle.2009.03.006.  Google Scholar

[26]

G. Q. Xu and S. P. Yung, The expansion of semigroup and criterion of Riesz Basis,, J. Diff. Equat., 210 (2005), 1.  doi: 10.1016/j.jde.2004.09.015.  Google Scholar

[27]

G. Q. Xu, Z. J. Han and S. P. Yung, Riesz basis property of serially connected Timoshenko beams,, International Journal of Control, 80 (2007), 470.  doi: 10.1080/00207170601100904.  Google Scholar

[28]

G. Q. Xu and B. Z. Guo, Riesz basis property of Evolution equations in Hilbert space and application to a coupled string equation,, SIAM J. Control & Optim., 42 (2003), 966.  doi: 10.1137/S0363012901400081.  Google Scholar

[29]

B. Z. Guo and Y. Xie, A sufficient condition on Riesz basis with parentheses of non-self-adjoint operator and application to a serially connected string system under joint feedbacks,, SIAM J.Control & Optim., 43 (2004), 1234.  doi: 10.1137/S0363012902420352.  Google Scholar

[1]

Awais Younus, Zoubia Dastgeer, Nudrat Ishaq, Abdul Ghaffar, Kottakkaran Sooppy Nisar, Devendra Kumar. On the observability of conformable linear time-invariant control systems. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020444
[2]

Youshan Tao, Michael Winkler. Critical mass for infinite-time blow-up in a haptotaxis system with nonlinear zero-order interaction. Discrete & Continuous Dynamical Systems - A, 2021, 41 (1) : 439-454. doi: 10.3934/dcds.2020216
[3]

Shenglan Xie, Maoan Han, Peng Zhu. A posteriori error estimate of weak Galerkin fem for second order elliptic problem with mixed boundary condition. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020340
[4]

Susmita Sadhu. Complex oscillatory patterns near singular Hopf bifurcation in a two-timescale ecosystem. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020342
[5]

Sumit Arora, Manil T. Mohan, Jaydev Dabas. Approximate controllability of a Sobolev type impulsive functional evolution system in Banach spaces. Mathematical Control & Related Fields, 2020  doi: 10.3934/mcrf.2020049
[6]

Touria Karite, Ali Boutoulout. Global and regional constrained controllability for distributed parabolic linear systems: RHum approach. Numerical Algebra, Control & Optimization, 2020  doi: 10.3934/naco.2020055
[7]

Soniya Singh, Sumit Arora, Manil T. Mohan, Jaydev Dabas. Approximate controllability of second order impulsive systems with state-dependent delay in Banach spaces. Evolution Equations & Control Theory, 2020  doi: 10.3934/eect.2020103

2019 Impact Factor: 0.857

Tools

Metrics

  • PDF downloads (43)
  • HTML views (0)
  • Cited by (1)

Other articles
by authors

[Back to Top]

Copyright © 2020 American Institute of Mathematical Sciences