Kinetic Logic - Application

Application

Kinetic logic has been employed to study the factors that influence the selection of specific pathway from many different pathways that the system can follow and the factors that lead the system towards stable states and cyclic behaviors. It has been used to reveal the logic that lie behind the functional organization and kinetic behavior of molecules. Model checking techniques have also been applied to models built through kinetic logic, in order to infer their continuous behaviors.

Kinetic logic has been applied on many different types of systems in biology, Psychology and Psychiatry. Mostly Kinetic Logic has been used in modeling the biological networks especially the Gene Regulatory Networks (GRNs). Following are the examples in which Kinetic Logic was employed as the modeling formalism:

• To model the dynamics of chronic psychosis and schizophrenia.
• To show that how residence time of the hormone on the receptor can decide the specificity of signaling between the alternative metabolic or mitogenic pathways,
• To explain the positive (cell proliferation and cytokine production) and negative (anergy induction) signaling of T lymphocytes; to determine how the timing of the binding and intracellular signal-transduction events can influence the properties of receptor signaling and decide the type of cellular response
• To demonstrate how prion infection proceeds
• To model other biological regulatory networks (BRNs) like toy gene, lambda phage (Ahmad and Roux, 2008), Pseudomonas aeruginosa and circadian rhythm.
• To reveal the logic that lie behind the functional organization and kinetic behavior of the thioredoxin system