A logic for biological systems

This paper proposes a specification language, hybrid projection temporal lo gic of modelling, analyzing and verifying biological systems which can be c onsidered, in general, to be hybrid systems consisting of a non-trivial mix ture of discrete and continuous components. The syntax and semantics of the logic are presented, and some examples of hybrid systems are modelled to i llustrate the formalism. (C) 2000 Elsevier Science Ireland Ltd. All rights reserved.