High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
暂无分享,去创建一个
Lubos Brim | David Safránek | Martin Demko | Samuel Pastva | L. Brim | M. Demko | Samuel Pastva | David Šafránek
[1] Zbynek Prokop,et al. Immobilized synthetic pathway for biodegradation of toxic recalcitrant pollutant 1,2,3-trichloropropane. , 2014, Environmental science & technology.
[2] David Šafránek,et al. Abstraction of biochemical reaction systems on polytopes , 2011 .
[3] Alan Veliz-Cuba,et al. On the Relationship of Steady States of Continuous and Discrete Models Arising from Biology , 2011, Bulletin of mathematical biology.
[4] C. Belta,et al. Model checking discrete-time Piecewise Affine systems: Application to gene networks , 2007, 2007 European Control Conference (ECC).
[5] Alexander Bockmayr,et al. Comparing Discrete and Piecewise Affine Differential Equation Models of Gene Regulatory Networks , 2012, IPCAT.
[6] Calin Belta,et al. Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.
[7] Hidde de Jong,et al. Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..
[8] L. Glass,et al. The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.
[9] Stefanie Widder,et al. A generalized model of the repressilator , 2006, Journal of mathematical biology.
[10] Rocco De Nicola,et al. Three logics for branching bisimulation , 1995, JACM.
[11] Susmit Jha,et al. Adapting Biochemical Kripke Structures for Distributed Model Checking , 2006, Trans. Comp. Sys. Biology.
[12] M. G. Müller,et al. Kinetics and mechanism of electron transfer in intact photosystem II and in the isolated reaction center: pheophytin is the primary electron acceptor. , 2006, Proceedings of the National Academy of Sciences of the United States of America.
[13] M. Elowitz,et al. A synthetic oscillatory network of transcriptional regulators , 2000, Nature.
[14] Jean-Luc Gouzé,et al. Comparing Boolean and Piecewise Affine Differential Models for Genetic Networks , 2010, Acta biotheoretica.
[15] M. Page,et al. Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks , 2008, IEEE/ACM Transactions on Computational Biology and Bioinformatics.
[16] Calin Belta,et al. Model Checking Genetic Regulatory Networks with Parameter Uncertainty , 2007, HSCC.
[17] L Glass,et al. Counting and classifying attractors in high dimensional dynamical systems. , 1996, Journal of theoretical biology.
[18] Lubos Brim,et al. Parameter Synthesis by Parallel Coloured CTL Model Checking , 2015, CMSB.
[19] Ezio Bartocci,et al. From Cardiac Cells to Genetic Regulatory Networks , 2011, CAV.
[20] El Houssine Snoussi. Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach , 1989 .
[21] François Rechenmann,et al. Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks. , 2012, Methods in molecular biology.
[22] Vadim S. Anishchenko,et al. Deterministic Nonlinear Systems: A Short Course , 2014 .