Team Contraintes

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

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 [21] . 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.


Logo Inria