The Community for Technology Leaders
Green Image
ISSN: 1545-5963
Fernando A. F. Braz , Universidade Federal de Minas Gerais, Belo Horizonte
Jader S. Cruz , Universidade Federal de Minas Gerais, Belo Horizonte
Alessandra C. Faria-Campos , Universidade Federal de Minas Gerais, Belo Horizonte
Sergio V. A. Campos , Universidade Federal de Minas Gerais, Belo Horizonte
Probabilistic Model Checking (PMC) is a technique used for the specification and analysis of complex systems. It can be applied directly to biological systems which present these characteristics, including cell transport systems. These systems are structures responsible for exchanging ions through the plasma membrane. Their correct behavior is essential for animal cells, since changes on those are responsible for diseases. In this work, PMC is used to model and analyze the effects of the palytoxin toxin (PTX) interactions with one of these systems. Our model suggests that ATP could inhibit PTX action. Therefore, individuals with ATP deficiencies, such as in brain disorders, may be more susceptible to the toxin. We have also used heat maps to enhance the kinetic model, which is used to describe the system reactions. The map reveals unexpected situations, such as a frequent reaction between unlikely pump states, and hot spots such as likely states and reactions. This type of analysis provides a better understanding on how transmembrane ionic transport systems behave and may lead to the discovery and development of new drugs to treat diseases associated to their incorrect behavior.
Ions, Biological system modeling, Computational modeling, Probabilistic logic, Model checking, Brain modeling, Drugs, Palytoxin, Probabilistic Model Checking, System Biology, Sodium-potassium Pump

F. A. Braz, J. S. Cruz, A. C. Faria-Campos and S. V. Campos, "Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na^+/K^+-ATPase," in IEEE/ACM Transactions on Computational Biology and Bioinformatics.
92 ms
(Ver 3.3 (11022016))