MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems

13 years 8 months ago

Download www.seas.upenn.edu

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

Real-time Traffic

Conical Overapproximations | Control Systems | HYBRID 2007 | Multi-affine Hybrid Systems | Reachability Analysis |

claim paper

» Formal Simulation and Analysis of the CASH Scheduling Algorithm in RealTime Maude

» Visually Mining through Cluster Hierarchies

» Verifying the Evolution of Probability Distributions Governed by a DTMC

» Fast and accurate estimation of shortest paths in large graphs

Post Info
More Details (n/a)

Added	16 Aug 2010
Updated	16 Aug 2010
Type	Conference
Year	2007
Where	HYBRID
Authors	Spring Berman, Ádám M. Halász, Vijay Kumar

Comments (0)

Sciweavers

MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems

Conical Overapproximations | Control Systems | HYBRID 2007 | Multi-affine Hybrid Systems | Reachability Analysis |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers