Abstraction of biochemical reaction systems on polytopes

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 44, Issue 1 PART 1, 2011, Pages 14869-14875

  Collins, Pieter J ^a   Habets, Luc ^a   Van Schuppen, Jan H ^a   Černá, Ivana ^b   Fabriková, Jana ^b   Šafránek, David ^b  

^a CWI   (Netherlands)

^b MASARYK UNIVERSITY   (Czech Republic)

Author keywords

Abstraction; Affine system; Multi affine system; Piecewise affine hybrid system; Polytope

Indexed keywords

ABSTRACTING; HYBRID SYSTEMS; ROBOTS;

ABSTRACTION; AFFINE SYSTEMS; BIOCHEMICAL REACTIONS; CONTINUOUS STATE; DYNAMIC BEHAVIORS; PIECEWISE AFFINE HYBRID SYSTEMS; POLYTOPES; SPECIFIC PROPERTIES;

MODEL CHECKING;

EID: 84866764685     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20110828-6-IT-1002.03317     Document Type: Conference Paper

References (31)

1. E. Asarin, O. Bournez, T. Dang, and O. Maler. Approximate reachability analysis of piecewise-linear dynamical systems. In Hybrid Systems: Computation and Control, vol. 1790 of Lecture Notes in Computer Science, pages 20-31. Springer-Verlag, Berlin, 2000.
2. S. Azuma, E. Yanagisawa, and J. Imura. Controllability analysis of biosystems based on piecewise-affine systems approach. IEEE Transactions on Automatic Control and IEEE Transactions on Circuits and Systems, pages139-152, 2008.
3. A. Balluchi, A. Casagrande, P. Collins, A. Ferrari, T. Villa, and A.L. Sangiovanni- Vincentelli. Ariadne: a framework for reachability analysis of hybrid automata. In Proc. 17th Int. Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), pages 1259-1267, Kyoto, 2006.
4. J. Barnat, L. Brim, I. Černá, S. Dražan, J. Fabriková, J. Láník, D. Šafránek, and H. Ma. BioDiVinE: A Framework for Parallel Analysis of Biological Models. In Proc. 2nd Int. Workshop on Computational Models for Cell Processes (COMPMOD 2009), pages 31-45, EPTCS 6, 2009.
5. J. Barnat, L. Brim and D. Šafránek. High-Performance Analysis of Biological Systems Dynamics with the DiVinE Model Checker. Briefings in Bioinformatics 11(3):301-312, 2010.
6. J. Barnat, L. Brim, D. Šafránek, and M. Vejnar. Parameter Scanning by Parallel Model Checking with Applications in Systems Biology. In Proc. PDMC/HIBI 2010, pages 95-104, IEEE Computer Society, 2010.
7. G. Batt, B. Yordanov, R. Weiss, and C. Belta. Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23:2415-2422, 2007.
8. G. Batt, C. Belta, and R.Weiss. Temporal logic analysis of gene networks under parameter uncertainty. IEEE Transactions on Automatic Control and IEEE Transactions on Circuits and Systems, pages 215-229, 2008.
9. C. Belta and L.C.G.J.M. Habets. Constructing decidable hybrid systems with velocity bounds. In Proc. 43th IEEE Conf. on Decision and Control, pages 467-472, New York, 2004. IEEE Press.
10. C. Belta and L.C.G.J.M. Habets. Controlling a class of nonlinear systems on rectangles. IEEE Trans. Automatic Control, 51:1749-1759, 2006.
11. C. Belta, L.C.G.J.M. Habets, and V. Kumar. Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. In Proc. 41th IEEE Conf. on Decision and Control, pages 534-539, New York, 2002. IEEE Press.
12. E. Boczko, W.D. Kalies, and K. Mischaikow. Polygonal approximation of flows. Topology Appl., 154:2501-2520, 2007.
13. L. Calzone, F. Fages, and S. Soliman. BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22:1805-1807, 2006.
14. E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. MIT Press, 2000.
15. L. Grüne. Asymptotic behavior of dynamical and control systems under perturbation and discretization. Lecture Notes in Mathematics, vol. 1783, Springer-Verlag, Berlin, 2002.
16. L.C.G.J.M. Habets and J.H. van Schuppen. A control problem for affine dynamical systems on a full-dimensional polytope. Automatica, 40:21-35, 2004.
17. L.C.G.J.M. Habets, P.J. Collins, and J.H. van Schuppen. Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Trans. Automatic Control, 51:938-948, 2006a.
18. L.C.G.J.M. Habets, M. Kloetzer, and C. Belta. Control of rectangular multiaffine hybrid systems. In Proc. 45th IEEE Conf. on Decision and Control, pages 2619-2624, New York, 2006b. IEEE Press.
19. S.K. Jha, E.M. Clarke, C.J. Langmead, A. Legay, A. Platzer, and A.P. Zuliani. A Bayesian approach to model checking biological systems. In Computational Methods in Systems Biology (CMSB 2009), volume 5688 of Lecture Notes in Computer Science, pages 218-234. Springer-Verlag, Berlin, 2009.
20. H. De Jong, J. Geiselmann, C. Hernandez, and M. Page. Genetic network analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics, 19:336-344, 2003.
21. H. De Jong, J. Geiselmann, G. Batt, C. Hernandez, and M. Page. Qualitative simulation of the initiation of sporulation in bacillus subtilis. Bull. Math. Biology, 66:261-300, 2004a.
22. H. De Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, and J. Geiselman. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biology, 66:301-340, 2004b.
23. M. Kloetzer and C. Belta. A fully automated framework for control of linear systems from temporal logic specifications. IEEE Trans. Automatic Control, 53:287-297, 2008.
24. M. Kloetzer and C. Belta. Reachability analysis of multi-affine systems. Transactions of the Institute of Measurement and Control 32:445-467, 2010.
25. X. Liu, J. Jiang, O. Ajayi, X. Gu, D. Gilbert, and R. Sinnott. BioNessie. Global Healthgrid: e-Science Meets Biomedical Informatics - Proceedings of HealthGrid 2008, (138):147-157, 2008.
26. H. Ma, F. Boogerd and I. Goryanin. Modelling nitrogen assimilation of Escherichia coli at low ammonium concentration. Journal of Biotechnology, 144:175-183, 2009.
27. P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas, and H. de Jong. Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics, 24:227-233, 2008.
28. S. Ratschan and Z. She. Safety verification of hybrid systems by constraint propagation based abstraction refinement. ACM Trans. Embedded Computing Systems, 6(1), 2007.
29. A. Rizk, G. Batt, F. Fages and S. Soliman. On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. In Proc. CMSB 2008, volume 5307 of Lecture Notes in Computer Science, pages 251-268. Springer-Verlag, Berlin, 2008.
30. D. Ropers, V. Baldazzi, and H. de Jong. Model reduction and the dynamics of the global regulatory network controlling the carbon starvation response in escherichia coli. Report, INRIA Rhône-Alpes, Mont Bonnot, 2008.
31. O. Stursberg, S. Kowalewski, I. Hoffmann, and J. Preußig. Comparing timed and hybrid automata as approximations of continuous systems. In Hybrid Systems IV, volume 1273 of Lecture Notes in Computer Science, pages 361- 377. Springer-Verlag, Berlin, 1997.