Hybrid Models and Biological Model Reduction with PyDSTool

PLoS Computational Biology

Volumn 8, Issue 8, 2012, Pages

  Clewley, Robert ^a  

^a GEORGIA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; BIOINFORMATICS; BIOLOGICAL SYSTEMS; DYNAMICAL SYSTEMS; OPEN SOURCE SOFTWARE;

BIOLOGICAL APPLICATIONS; BIOLOGICAL MODELS; DYNAMICAL SYSTEMS MODEL; ENGINEERING APPLICATIONS; HYBRID DYNAMICAL; HYBRID MODEL; MODEL PROBLEMS; MODEL REDUCTION; PROGRAMMATICS; SOFTWARE ENVIRONMENTS;

REVERSE ENGINEERING;

ACTION POTENTIAL; ALGORITHM; ARTICLE; BIOLOGICAL MODEL; BIOPHYSICS; COMPUTER PROGRAM; COMPUTER SIMULATION; DATA ANALYSIS; HODGKIN HUXLEY EQUATION; HYBRID DYNAMICAL SYSTEM; MATHEMATICAL PHENOMENA; MEMBRANE DEPOLARIZATION; PROCESS OPTIMIZATION;

EID: 84866119498     PISSN: 1553734X     EISSN: 15537358     Source Type: Journal    
DOI: 10.1371/journal.pcbi.1002628     Document Type: Article

References (74)

1. Beard DA, Bassingthwaighte JB, Greene AS, (2005) Computational modeling of physiological systems. Physiol Genomics 23: 1-3.
2. Csete ME, Doyle JC, (2002) Reverse engineering of biological complexity. Science 295: 1664-1669.
3. Guckenheimer J, (1998) Numerical computation in the information age. Computing Research News 10.
4. Clewley RH, Sherwood WE, LaMar MD, Guckenheimer JM (2007) PyDSTool, a software environment for dynamical systems modeling. Available: http://pydstool.sourceforge.net. Accessed 10 June 2012.
5. Carnevale NT, Hines ML (2006) The NEURON Book. Cambridge University Press.
6. Neural simulation technology (NEST). Available: http://www.nest-initiative.org. Accessed 10 June 2012.
7. Schaff J, Loew LM (1999) The virtual cell. In: Biocomputing: Proceedings of the 1999 Pacific Symposium. Altman RB, et al., editors. Singapore: World Scientific. 228-239.
8. Bio-SPICE simulation program. Available: http://biospice.sourceforge.net. Accessed 10 June 2012.
9. Ermentrout GB (2002) Simulating, Analyzing, and Animating Dynamical Systems: A Guide to XPPAUT for Researchers and Students. Philadelphia: SIAM.
10. Back A, Guckenheimer J, Myers M, Wicklin F, Worfolk P, (1992) DsTool: Computer assisted exploration of dynamical systems. Notices Amer Math Soc 39: 303-309.
11. Kuznetsov YA (1998) CONTENT - integrated environment for analysis of dynamical systems. tutorial. Technical Report UPMA-98-224, Ecole Normale Superieure de Lyon.
12. The MathWorks. MATLAB and Simulink for technical computing. Available: http://www.mathworks.com. Accessed 10 June 2012.
13. Jones E, Oliphant T, Peterson P,et al. (2001) SciPy: Open source scientific tools for Python. Available: http://www.scipy.org/. Accessed 10 June 2012.
14. Commission on Physical Sciences, Mathematics, and Applications (1991) Mathematical Foundations of High-Performance Computing and Communications. National Academy Press.
15. National Research Council of the National Academies (2005) Mathematics and 21st Century Biology. National Academy Press.
16. Muhanna WA, Pick RA, (1994) Meta-modeling concepts and tools for model management: A systems approach. Manage Sci 40: 1093-1123.
17. The Eclipse Foundation. Eclipse modeling framework project. Available: http://www.eclipse.org/modeling/emf/. Accessed 10 June 2012.
18. Davidson S, Cohen-Boulakia S, Eyal A, Ludäscher B, McPhillips T, et al. (2007) Provenance in scientific workow systems. IEEE Data Eng Bull 30: 44-50.
19. Görlach K, Sonntag M, Karastoyanova D, Leymann F, Reiter M (2011) Conventional workow technology for scientific simulation. In: Guide to e-science. Yang X, Wang L, Jie W, editors. Springer-Verlag.
20. The myGrid team. Taverna: open source and domain independent workow management system. Available: http://www.taverna.org.uk. Accessed 10 June 2012.
21. Abelson H, (1990) The bifurcation interpreter: a step towards the automatic analysis of dynamical systems. Computers Math Applic 20: 13-35.
22. Bradley E, Easley M, Stolle R, (2001) Reasoning about nonlinear system identification. Artif Intell 133: 139-188.
23. Bratko I, Suc D, (2003) Learning qualitative models. AI Mag 24: 107-119.
24. Coiera E, (1992) The qualitative representation of physical systems. Know Eng Rev 7: 55-77.
25. Chou IC, Voit E, (2009) Recent developments in parameter estimation and structure identification in biochemical and genomic systems. Math Biosci 219: 57-83.
26. Fishwick PA, Narayanan NH, Sticklen J, Bonarini A, (1994) A multimodel approach to reasoning and simulation. IEEE Trans Sys Man Cyber 24: 1433-1449.
27. Gomez-Cabrero D, Compte A, Tegner J, (2011) Workow for generating competing hypotheses from models with parameter uncertainty. Interface Focus 1: 438-449.
28. Lee WW, Kuipers B (1993) A qualitative method to construct phase portraits. In: National Conference on Artificial Intelligence (AAAI-93). Menlo Park, Calif.: American Association for Artificial Intelligence. 614-619.
29. Li J, Kevrekidis PG, Gear CW, Kevrekidis IG, (2007) Deciding the nature of the coarse equation through microscopic simulations: The baby-bathwater scheme. SIAM Rev 49: 469-487.
30. Talbi EG (2009) Metaheuristics: From Design to Implementation. New York: Wiley.
31. Yip K (1987) Extracting qualitative dynamics from numerical experiments. In: National Conference on Artificial Intelligence (AAAI-87). Menlo Park, Calif.: American Association for Artificial Intelligence. 665-670.
32. Clewley R (2010) PyDSTool Project Overview. Available: http://www.ni.gsu.edu/~rclewley/PyDSTool/ProjectOverview.html. Accessed 10 June 2012.
33. Cornhill JM, Testud P (2001) An Introduction to Maple V. Berlin: Springer.
34. Wolfram Research. Mathematica. Available: http://www.wolfram.com/mathematica/. Accessed 10 June 2012.
35. Goodman DFM, Brette R, (2009) The Brian simulator. Front Neurosci 3: 192-197.
36. Olivier BG, Rohwer JM, Hofmeyr JHS, (2004) Modelling cellular systems with PySCeS. Bioinformatics 21: 560-561.
37. Carloni L, DiBenedetto M, Pinto A, Sangiovanni-Vincentelli A (2004) Modeling techniques, programming languages, and design toolsets for hybrid systems. Technical report, IST-2001-38314 WPHS, Columbus Project.
38. Rathinam M, Petzold LR, (2003) A new look at proper orthogonal decomposition. SIAM J Numer Anal 41: 1893-1925.
39. Bose A, Manor Y, Nadim F, (2001) Bistable oscillations arising from synaptic depression. SIAM J Appl Math 62: 706-727.
40. Clewley R, (2011) Inferring and quantifying the role of an intrinsic current in a mechanism for a half-center bursting oscillation: A dominant scale and hybrid dynamical systems analysis. J Biol Phys 37: 285-306.
41. Ermentrout GB, Kopell N, (1998) Fine structure of neural spiking and synchronization in the presence of conduction delays. Proc Nat Acad Sci U S A 95: 1259-1264.
42. Spardy L, Markin SN, Shevtsova NA, Prilutsky BI, Rybak IA, et al. (2011) A dynamical systems analysis of afferent control in a neuromechanical model of locomotion: I. rhythm generation. J Neural Eng 8: 065003.
43. Edwards D, (2010) Neuromechanical simulation. Front Behav Neurosci 4: pii pp. 40.
44. Clewley R, Rotstein HG, Kopell N, (2005) A computational tool for the reduction of nonlinear ODE systems possessing multiple scales. Multiscale Model Simul 4: 732-759.
45. Clewley R, Soto-Treviño C, Nadim F, (2009) Dominant ionic mechanisms explored in the transition between spiking and bursting using local low-dimensional reductions of a biophysically realistic model neuron. J Comput Neurosci 26: 75-90.
46. Clewley R, (2010) Encoding the fine-structured mechanism of action potential dynamics with qualitative motifs. J Comput Neurosci 30: 391-408.
47. Lincoln P, Tiwari A (2004) Symbolic systems biology: Hybrid modeling and analysis of biological networks. In: Hybrid Systems: Computation and Control HSCC. Alur R, Pappas G, editors. Springer. 660-672.
48. Deuhard P, Heroth J (1996) Dynamic dimension reduction in ODE models. In: Scientific Computing in Chemical Engineering. Keil F, Mackens W, Voß H, Werther J, editors. Springer-Verlag. 29-43.
49. Jones C (1994) Geometric singular perturbation theory. In: Dynamical systems. Montecatini Terme. Arnold L, editor. Dynamical systems.Montecatini Terme, Berlin: Springer-Verlag, Lecture notes in mathematics. 44-118.
50. Maas U, Pope SB, (1992) Simplifying chemical kinetics: Intrinsic low dimensional manifolds in composition space. Combust Flame 88: 239-264.
51. Hodgkin AL, Huxley AF, (1952) Currents carried by sodium and potassium ions through the membrane of the giant axon of Loligo. J Physiol 117: 500-544.
52. Hong T, Xing J, Li L, Tyson JJ, (2011) A mathematical model for the reciprocal differentiation of T helper 17 cells and induced regulatory T cells. PLoS Comput Biol 7: e1002122.
53. Kidd PB, Wingreen NS, (2010) Modeling the role of covalent enzyme modification in Escherichia coli nitrogen metabolism. Phys Biol 7: 16006.
54. Oliphant TE (2006) Guide to NumPy. Provo, UT. Available: http://www.tramy.us/. Accessed 10 June 2012.
55. Hunter JD, (2007) Matplotlib: A 2D graphics environment. Comput Sci Eng 9: 90-95.
56. Doedel E, Keller HB, Kernevez JP, (1991) Auto. Int J Bifurc Chaos 1: 493.
57. Guckenheimer J, Holmes P (1983) Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Applied Mathematical Sciences. New York: Springer-Verlag.
58. Hairer E, Nørsett SP, Wanner G (1993) Solving ordinary differential equations I: Nonstiff Problems. Berlin: Springer-Verlag.
59. Hindmarsh AC, Serban R (2008) User documentation for CVODE v2.6.0. Technical Report UCRLSM- 208108, LLNL.
60. Myers CR, Gutenkunst RN, Sethna JP, (2007) Python unleashed on systems biology. Comput Sci Eng 9: 34-37.
61. Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, et al. (2003) The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics 9: 524-531.
62. INCF Multiscale Modeling Task Force (2011) NineML. Available: http://software.incf.org/software/nineml. Accessed 10 June 2012.
63. INCF Multiscale Modeling Task Force (2011) Python API for NineML. Available: http://phobos.incf.ki.se/. Accessed 10 June 2012.
64. Guckenheimer J, Meloon B, (2000) Computing periodic orbits and their bifurcations with automatic differentiation. SIAM J Sci Stat Comp 22: 951-985.
65. Simic SN, Johansson KH, Lygeros J, Sastry S, (2005) Towards a geometric theory of hybrid systems. Dynam Contin Discrete Impuls Systems, Series B 12: 649-687.
66. Lapique L, (1907) Recherches quantitatives sur l'excitation électriques des nerfs traitée comme une polarization. J Physiol Pathol Gen 9: 620-635.
67. Levin M (1998) Combinatorial Engineering of Decomposable Systems. New York: Springer.
68. Dill DL, Lincoln P (2003) Evolution as design engineer. In: Computational Methods in Systems Biology, First International Workshop, CMSB 2003. Priami C, editor. Springer. 202-206.
69. Voit EO, Ferreira AEN, (1998) Buffering in models of integrated biochemical systems. J Theor Biol 191: 429-438.
70. Clewley R (2004) Dominant-scale analysis for the automatic reduction of high-dimensional ODE systems. In: ICCS 2004 Proceedings. New England Complex Systems Institute. Minai A, Bar-Yam Y, editors. Boston, MA. Available: http://necsi.org/events/iccs/openconf/author/papers/f237.pdf. Accessed 10 June 2012.
71. Suckley R, Biktashev V, (2003) The asymptotic structure of the Hodgkin-Huxley equations. Int J Bifurc Chaos 13: 3805-3826.
72. Daniels J, Anderson EW, Nonato LG, Silva CT, (2010) Interactive vector field feature identification. IEEE Trans Vis Comput Graph 16: 1560-8.
73. Druckmann S, Banitt Y, Gidon A, Schurmann F, Markram H, et al. (2007) A novel multiple objective optimization framework for constraining conductance-based neuron models a novel multiple objective optimization framework for constraining conductance-based neuron models by experimental data. Front Neurosci 1: 7-18.
74. Clewley R, Dobric M, (2010) A qualitative optimization technique for biophysical neuron models with many parameters. BMC Neurosci (Suppl 1) pp. P39.