A logic for biological systems.
This paper proposes a specification language, hybrid projection temporal logic of modelling, analyzing and verifying biological systems which can be considered, in general, to be hybrid systems consisting of a non-trivial mixture of discrete and continuous components. The syntax and semantics of the logic are presented, and some examples of hybrid systems are modelled to illustrate the formalism.
Duan
Z
Z
Department of Computer Science, The University of Sheffield, Sheffield, UK.
Holcombe
M
M
Bell
A
A
D000937:Antigen-Antibody Reactions; D008128:Logic; D008954:Models, Biological; D015203:Reproducibility of Results; D013995:Time