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. (C) 2000 Elsevier Science Ireland Ltd. All rights reserved. [References: 19]