Approximating Continuous Systems by Timed Automata

9 years 19 days ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis 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.
Oded Maler, Grégory Batt
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FMSB
Authors Oded Maler, Grégory Batt
Comments (0)