Multiscale modelling of follicular ovulation as a reachability problem

Multiscale Modeling and Simulation

Volumn 6, Issue 3, 2007, Pages 895-912

  Echenim, Nki ^a   Clément, Frederique ^a   Sorine, Michel ^a  

^a INRIA ROCQUENCOURT   (France)

Author keywords

Backwards reachable sets; Biomathematics; Conservation laws; Control theory; Method of characteristics

Indexed keywords

CELL CULTURE; CELL PROLIFERATION; CYTOLOGY; MATHEMATICAL MODELS; POPULATION STATISTICS;

BACKWARDS REACHABLE SETS; BIOMATHEMATICS; CONSERVATION LAWS; CONTROL THEORY; METHOD OF CHARACTERISTICS;

PROCESS CONTROL;

EID: 50949114769     PISSN: 15403459     EISSN: 15403467     Source Type: Journal    
DOI: 10.1137/060664495     Document Type: Article

References (17)

1. G.S. GREENWALD AND S.K. ROY, Follicular development and its control, in The Physiology of Reproduction, E. Knobil and J.D. Neill, eds., Raven Press, New York, 1994, pp. 629-724.
2. N. ECHENIM, D. MONNIAUX, M. SORINE, AND F. CLÉMENT, Multi-scale modeling of the follicle selection process in the ovary, Math. Biosci., 198 (2005), pp. 57-79.
3. S.N. KRUZKOV, First order quasilinear equations in several independent variables, Mat. Sb., 10 (1970), pp. 217-243.
4. A. SZEPESSY AND B. B. MOUSSA, Scalar conservation laws with boundary conditions and rough data measure solutions, Methods Appl. Anal., 9 (2002), pp. 3579-598.
5. 1 solutions to first order hyperbolic equations in bounded domains, Comm. Partial Differential Equations, 28 (2003), pp. 381-408.
6. ∞, Arch. Ration. Mech. Anal., 186 (2007), pp. 159-175.
7. L.C. EVANS, Partial Differential Equations, AMS, Providence, RI, 1998.
8. A. B. KURZHANSKI AND P. VARAIYA, Dynamic optimization for reachability problems, J. Optim. Theory Appl., 108 (2001), pp. 1573-2878.
9. I. MITCHELL, A.M. BAYEN, AND C. J. TOMLIN, A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games, IEEE Trans. Automat. Control, 50 (2005), pp. 947-957.
10. A.E. BRYSON AND Y.-C. HO, Applied Optimal Control, Hemisphere, Washington, DC, 1975.
11. I.M. MITCHELL AND J.A. TEMPLETON, A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems, Lect. Notes Comput. Sci., Springer, New York, 2005, pp. 480-494.
12. I.M. MITCHELL, A Toolbox of Level Set Methods, Technical report TR-2004-09, UBC Department of Computer Science, 2004.
13. I.M. MITCHELL, Application of Level Set Methods to Control and Reachability Problems in Continuous and Hybrid Systems, Ph.D. thesis, Stanford University, 2002.
14. http://www.cs.ubc.ca/~mitchell/ToolboxLS/.
15. A. GOUGEON, Regulation of ovarian follicular development in primates: Facts and hypotheses, Endocr. Rev., 17 (1996), pp. 121-150.
16. C.J. TOMLIN, I. MITCHELL, A.M. BAYEN, AND M. OISHI, Computational techniques for the verification of hybrid systems, IEEE Trans. Automat. Control, 91 (2003), pp. 986-1001.
17. J-P. AUBIN, Impulse differential inclusions and hybrid systems: a viability approach, IEEE Trans. Automat. Control, 47 (2002), pp. 2-20.