Several biological and biochemical mechanisms can be modeled with relativelysimp le sets of differential algebraic equations
(DAE). The numerical solution to these differential equations provide the main investigative tool for biologists and biochemists.
However, the set of numerical
traces of verycomp lex systems become unwieldyt o wade through when several variables are involved. To address this problem, we
propose a novel wayto querylarge sets of numerical traces bycom bining in a new wayw ell known tools from numerical analysis,
temporal logic and verification, and visualization.
In this paper we describe XS-systems: computational models whose aim is to provide the users of S-systems with the extra tool of an automaton modeling the temporal evolution of complex biochemical reactions. The automaton construction is described starting from both numerical and analytic solutions
of the differential equations involved, and parameter determination and tuning are also considered. A temporal logic language
for expressing and verifying properties of XS-systems is introduced and a prototype implementation is presented.
The work reported in this paper was supported bygran ts from NSF’s Qubic program, DARPA, HHMI biomedical support research
grant, the US department of Energy, the US air force, National Institutes of Health and New York State Office of Science,
Technology & Academic Research.