Section: New Results
Approximating Continuous Systems by Timed Automata
Participant : Grégory Batt.
The above-mentionned work aims at overapproximating a continuous dynamical system by an automaton. To obtain finer abstractions, we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed automata  . 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.