Sciweavers

HYBRID
2007
Springer
13 years 8 months ago
MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1
Spring Berman, Ádám M. Halász...