Parameter synthesis in nonlinear dynamical systems : Application to systems biology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5541 LNBI, Issue , 2009, Pages 155-169

  Donzé, Alexandre ^a   Clermont, Gilles ^b   Legay, Axel ^a   Langmead, Christopher J ^a  

^a Carnegie Mellon University   (United States)

^b UNIVERSITY OF PITTSBURGH SCHOOL OF MEDICINE   (United States)

Author keywords

Acute illness; Nonlinear dynamical systems; Systems biology; Uncertainty; Verification

Indexed keywords

ACUTE ILLNESS; ACUTE INFLAMMATORY RESPONSE; BACTERIAL INFECTIONS; BIOLOGICAL PROCESS; EFFICIENT ALGORITHM; HIGH-DIMENSIONAL; INITIAL CONDITIONS; NONLINEAR ODES; NONLINEAR ORDINARY DIFFERENTIAL EQUATION; PARAMETER SYNTHESIS; SYSTEMS BIOLOGY; UNCERTAINTY; UNDESIRABLE STATE;

ALGORITHMS; BIOCHEMISTRY; BIOLOGICAL SYSTEMS; MEASUREMENT ERRORS; MOLECULAR BIOLOGY; MOLECULAR STRUCTURE; NONLINEAR DYNAMICAL SYSTEMS; NONLINEAR EQUATIONS; ORDINARY DIFFERENTIAL EQUATIONS; SENSITIVITY ANALYSIS;

DYNAMICAL SYSTEMS;

EID: 67650324394     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02008-7_11     Document Type: Conference Paper

References (27)

1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3-34 (1995)
2. Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems, vol. 88(7), pp. 971-984. IEEE, Los Alamitos (2000)
3. An, G.: Agent based computer simulation and sirs: building a gap between basic science and clinical trials. Shock 16, 266-273 (2001)
4. Annichini, A., Asarin, E., Bouajjani, A.: Symbolic techniques for parametric reasoning about counter and clock systems. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 419-434. Springer, Heidelberg (2000)
5. Asarin, E., Dang, T., Girard, A.: Hybridization methods for verification of non-linear systems. In: ECC-CDC 2005 joint conference: Conference on Decision and Control CDC and European Control Conference ECC (2005)
6. Batt, G., Belta, C., Weiss, R.: Model checking genetic regulatory networks with parameter uncertainty. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 61-75. Springer, Heidelberg (2007)
7. Batt, G., Belta, C., Weiss, R.: Model checking liveness properties of genetic regulatory networks. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 323-338. Springer, Heidelberg (2007)
8. Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., Page, M., Schneider, D.: Analysis and verification of qualitative models of genetic regulatory networks: A modelchecking approach. In: IJCAI, pp. 370-375 (2005)
9. Cinquemani, E., Milias-Argeitis, A., Lygeros, J.: Identification of genetic regulatory networks: A stochastic hybrid approach. In: IFAC World Congress (2008)
10. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999) 11. Donzé, A., Krogh, B., Rajhans, A.: Parameter synthesis for hybrid systems with an application to simulink models. In: Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC 2009). LNCS. Springer, Heidelberg (2009)
11. Donzé, A.: Trajectory-Based Verification and Controller Synthesys for Continuous and Hybrid Systems. PhD thesis, University Joseph Fourier (June 2007)
12. Donzé, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 174-189. Springer, Heidelberg (2007)
13. Drulhe, S., Ferrari-Trecate, G., de Jong, H., Viari, A.: Reconstruction of switching thresholds in piecewise-affine models of genetic regulatory networks. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 184-199. Springer, Heidelberg (2006)
14. Fainekos, G.E., Pappas, G.J.: Robust sampling for MITL specifications. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 147-162. Springer, Heidelberg (2007)
15. Fargot, E., Gouze, J.-L.: How to control a biological switch: a mathematical framework for the control of piecewise affine models of gene networks. Technical report, INRIA Sophia Antipolis (2006)
16. Frehse, G., Jha, S.K., Krogh, B.H.: A counterexample-guided approach to parameter synthesis for linear hybrid automata. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 187-200. Springer, Heidelberg (2008)
17. Ghosh, R., Tomlin, C.: Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-notch signalling. System Biology (2004)
18. Henzinger, T.A., Horowitz, B., Majumdar, R.,Wong-Toi, H.: Beyond hytech: Hybrid systems analysis using interval numerical methods. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 130-144. Springer, Heidelberg (2000)
19. Kumar, R.: The Dynamics of Acute Inflammation. PhD thesis, University of Pittsburgh (2004)
20. Mitchell, I., Tomlin, C.: Level set methods for computation in hybrid systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 310-323. Springer, Heidelberg (2000)
21. Mitchell, I.M., Tomlin, C.J.: Overapproximating reachable sets by hamilton-jacobi projections. J. Symbolic Computation 19, 1-3 (2002)
22. Platzer, A., Clarke, E.M.: The image computation problem in hybrid systems model checking. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 473-486. Springer, Heidelberg (2007)
23. Pnueli, A.: The temporal logic of programs. In: Proc. 18th Annual Symposium on Foundations of Computer Science (FOCS), pp. 46-57 (1977)
24. Polidori, D., Trimmer, J.: Bringing advanced therapies to marker faster: a role for biosimulation? Diabetes' Voice 48(2), 28-30 (2003)
25. Reynolds, A., Rubin, J., Clermont, G., Day, J., Vodovotz, Y., Ermentrout, B.: A reduced mathematical model of the acute inflammatory response: I. derivation of model and analysis of anti-inflammation. J. Theor. Biol. 242(1), 220-236 (2006)
26. Serban, R., Hindmarsh, A.C.: Cvodes: the sensitivity-enabled ode solver in sundials. In: Proceedings of IDETC/CIE 2005, Long Beach, CA (September 2005)
27. Stursberg, O., Krogh, B.H.: Efficient representation and computation of reachable sets for hybrid systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 482-497. Springer, Heidelberg (2003)