Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems
We consider a class of qualitative biological models which describe species (e.g. protein) interactions in terms of promotion or inhibition, from which a piecewise-affine (PWA) hybrid system model can be generated. These models have a special structure under which negative feedback is a necessary condition for the presence of limit cycles, centers, and foci. We describe modifications to reachability algorithms to take advantage of this special structure, and we give conditions on the qualitative model for termination of the algorithm. An example of applying the algorithm to a simple biological system is given.
KeywordsEquilibrium Point Hybrid System Qualitative Model Hybrid Automaton Genetic Regulatory Network
Unable to display preview. Download preview PDF.
- 7.Belta, C., et al.: Computational techniques for analysis of genetic network dynamics. International Journal of Robotics Research 24(2-3) (2005)Google Scholar
- 8.Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258–273. Springer, Heidelberg (2005)Google Scholar