Computing reachable states for nonlinear biological models

Theoretical Computer Science

Volumn 412, Issue 21, 2011, Pages 2095-2107

  Dang, Thao ^a   Le Guernic, Colas ^a   Maler, Oded ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL MODELS; COMPLEX MODEL; NOVEL ALGORITHM; PROTOTYPE IMPLEMENTATIONS; REACHABILITY;

ALGORITHMS; ARTS COMPUTING; BIOLOGICAL SYSTEMS; HYBRID SYSTEMS; LINEAR SYSTEMS;

PROGRAM DEBUGGING;

EID: 79953213259     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2011.01.014     Document Type: Article

References (47)

1. Matthias Althoff, Olaf Stursberg, Martin Buss, Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization: in: CDC, pp 40424048, 911, 2008.
2. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas-A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine The algorithmic analysis of hybrid systems Theoretical Computer Science 138 1 1995 3 34
3. Rajeev Alur, Thao Dang, and Franjo Ivancic Counterexample-guided predicate abstraction of hybrid systems Theoretical Computer Science 354 2 2006 250 271 (Pubitemid 43333210)
4. Eugene Asarin, and Thao Dang Abstraction by projection and application to multi-affine systems HSCC LNCS vol. 2993 2004 Springer 32 47
5. Eugene Asarin, Thao Dang, and Antoine Girard Hybridization methods for the analysis of nonlinear systems Acta Informatica 43 7 2007 451 476
6. Eugene Asarin, Thao Dang, Oded Maler, and Olivier Bournez Approximate reachability analysis of piecewise-linear dynamical systems HSCC LNCS vol. 1790 2000 Springer 20 31
7. Jean-Pierre Aubin, and Arrigo Cellina Differential inclusions: set-valued maps and viability theory Grundlehren der mathematischen Wissenschaften vol. 264 1984 Springer-Verlag
8. Grgory Batt, Calin Belta, and Ron Weiss Model checking genetic regulatory networks with parameter uncertainty HSCC LNCS vol. 4416 2007 Springer 61 75
9. Ramzi Ben-Salah, Marius Bozga, and Oded Maler On interleaving in timed automata CONCUR LNCS vol. 4137 2006 Springer 465 476 (Pubitemid 44532593)
10. Oleg Botchkarev, and Stavros Tripakis Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations HSCC LNCS vol. 1790 2000 Springer 73 88
11. Alongkrit Chutinan, and Bruce H. Krogh Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations HSCC LNCS vol. 1569 1999 Springer 76 90
12. Alongkrit Chutinan, and Bruce-H. Krogh Computational techniques for hybrid system verification IEEE Transactions on Automatic Control 48 1 2003 64 75
13. Thao Dang, Vrification et Synthse des Systmes Hybrides. Ph.D. Thesis, Institut National Polytecnique de Grenoble, 2000.
14. Thao Dang Approximate reachability computation for polynomial systems HSCC LNCS vol. 3927 2006 Springer 138 152 (Pubitemid 44019584)
15. Thao Dang, and Oded Maler Reachability analysis via face lifting HSCC LNCS vol. 1386 1998 Springer 96 109 (Pubitemid 128055511)
16. Thao Dang, Oded Maler, and Romain Testylier Accurate hybridization of nonlinear systems HSCC 2010 ACM 11 20
17. Hidde de-Jong, Michel Page, Cline Hernandez, and Johannes Geiselmann Qualitative simulation of genetic regulatory networks: method and application IJCAI 2001 Morgan Kaufmann 67 73
18. Jean Della-Dora, Aude Maignan, Mihaela Mirica-Ruse, and Sergio Yovine Hybrid computation ISSAC 2001 ACM 101 108 (Pubitemid 33006624)
19. Alexandre Donz, Gilles Clermont, Axel Legay, and Christopher-James Langmead Parameter synthesis in nonlinear dynamical systems: Application to systems biology RECOMB LNCS vol. 5541 2009 Springer 155 169
20. Alexandre Donz, and Oded Maler Systematic simulation using sensitivity analysis HSCC LNCS vol. 4416 2007 Springer 174 189
21. Goran Frehse PHAVer: algorithmic verification of hybrid systems past hytech HSCC LNCS vol. 3414 2005 Springer 258 273 (Pubitemid 41252072)
22. Daniel T. Gillespie Stochastic simulation of chemical kinetics Annual Review of Physical Chemistry 58 1 2007 35 55 (Pubitemid 46877584)
23. Antoine Girard Reachability of uncertain linear systems using zonotopes HSCC LNCS vol. 3414 2005 Springer 291 305 (Pubitemid 41252074)
24. Antoine Girard, Colas Le-Guernic, and Oded Maler Efficient computation of reachable sets of linear time-invariant systems with inputs HSCC LNCS vol. 3927 2006 Springer 257 271 (Pubitemid 44019592)
25. Mark R. Greenstreet Verifying safety properties of differential equations CAV LNCS vol. 1102 1996 Springer 277 287 (Pubitemid 126101288)
26. Mark-R. Greenstreet, and Ian Mitchell Reachability analysis using polygonal projections Hybrid Systems: Computation and Control LNCS vol. 1569 1999 Springer 103 116
27. dm-M. Halsz, Vijay Kumar, Marcin Imieliski, Calin Belta, Oleg Sokolsky, S. Pathak, and Harvey Rubin Analysis of lactose metabolism in E.coli using reachability analysis of hybrid systems Systems Biology, IET 1 2 2007 130 148 (Pubitemid 46488244)
28. Zhi Han, B.H. Krogh, Reachability analysis of nonlinear systems using trajectory piecewise linearized models, in: American Control Conference, 2006, pp. 15051510. (Pubitemid 46531028)
29. Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi Algorithmic analysis of nonlinear hybrid systems IEEE Transactions on Automatic Control 43 4 1998 540 554 (Pubitemid 128737377)
30. Morris W. Hirsch, and Stephen Smale Differential Equations, Dynamical Systems, and Linear Algebra 1974 Academic Press
31. Luc Jaulin, Michel Kieffer, Oliver Didrit, and ric Walter Applied Interval Analysis 2001 Springer-Verlag
32. Edda Klipp, Ralf Herwig, Axel Kowald, Christoph Wierling, and Hans Lehrach Systems Biology in Practice: Concepts, Implementation and Application 2005 Wiley
33. Alexander B. Kurzhanski, and Pravin Varaiya Ellipsoidal techniques for reachability analysis HSCC LNCS vol. 1790 2000 Springer 202 214
34. Alex A. Kurzhanskiy, and Pravin Varaiya Ellipsoidal techniques for reachability analysis of discrete-time linear systems IEEE Transactions on Automatic Control 52 1 2007 26 38 (Pubitemid 46343995)
35. Colas Le Guernic, Calcul efficace de l'ensemble atteignable des systmes linaires avec incertitudes. Master's thesis, Universit Paris 7, 2005.
36. Colas Le Guernic, Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics, Ph.D. Thesis, Universit Grenoble 1 Joseph Fourier, 2009.
37. Colas Le-Guernic, and Antoine Girard Reachability analysis of linear systems using support functions IFAC World Congress 2008 Nonlinear Analysis: Hybrid Systems 4 2 2010 250 262
38. Oded Maler A unified approach for studying discrete and continuous dynamical systems CDC vol. 2 1998 2083 2088
39. Oded Maler Control from computer science Annual Reviews in Control 26 2 2002 175 187
40. Oded Maler, and Grgory Batt Approximating continuous systems by timed automata FMSB LNCS vol. 5054 2008 Springer 77 89
41. Ian Mitchell, and Claire Tomlin Level set methods for computation in hybrid systems HSCC LNCS vol. 1790 2000 Springer 310 323
42. Shankar Sastry Nonlinear systems. Analysis, Stability and Control 1999 Springer
43. Alexander Schrijver Theory of Linear and Integer Programming 1986 Wiley
44. Ren Thomas, and Richard D'Ari Biological Feedback 1990 CRC Press
45. Pravin Varaiya, Reach set computation using optimal control, in: Proc. KIT Workshop on Verification of Hybrid Systems, Verimag, Grenoble, 1998.
46. Prakash Vempati, Emmanouil D. Karagiannis, and Aleksander S. Popel A Biochemical Model of Matrix Metalloproteinase 9 Activation and Inhibition Journal of Biological Chemistry 282 52 2007 37585 37596
47. Gnter Ziegler Lectures on Polytopes Graduate Texts in Mathematics vol. 152 1995 Springer