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

• Type: Conference
• Year: 2007
• Where: HYBRID
• Authors: Spring Berman, Ádám M. Halász, Vijay Kumar
• Keywords: Conical Overapproximations, Control Systems, HYBRID 2007, Multi-affine Hybrid Systems, Reachability Analysis