Approximating Continuous Systems by Timed Automata

  • Authors:
  • Oded Maler;Grégory Batt

  • Affiliations:
  • Verimag-UJF-CNRS, Gières, France 38610;INRIA Rocquencourt, Le Chesnay, France 78153

  • Venue:
  • FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed automata. This technique refines commonly-used discrete abstractions which are often too coarse to be useful. The essence of our technique is the partition of the state space into cubes and the allocation of a clock for each dimension. This allows us to get much better approximations of the behavior. We specialize this technique to multi-affine systems, a class of nonlinear systems of primary importance for the analysis of biochemical systems and demonstrate its applicability on an example taken from synthetic biology.