Paper Info
Title
MARCO: a reachability algorithm for multi-affine systems with applications to biological systems
Abstract
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,2,3], we exploited the convexity of multiaffine functions and the fact that the vector field in modes with rectangular invariants is uniquely determined by its values at the rectangle vertices. In this paper, we explicitly calculate conical overapproximations of the reachable set in the invariant of each mode. We describe our Multi-Affine Reachability analysis using Conical Overapproximations, MARCO, and show that it yields results that are superior to those obtained by existing methods for multi-affine hybrid systems. Finally, we demonstrate the application of MARCO to the analysis of an ant house hunting model that incorporates quorum sensing [4] and the analysis of bi-stability of the lactose induction system regulated by glucose and lactose [5].
Year
DOI
Venue
2007
10.1007/978-3-540-71493-4_9
HSCC
Keywords
Field
DocType
ant house hunting model,multi-affine system,multi-affine reachability analysis,reachability analysis,lactose induction system,multi-affine hybrid system,reachability algorithm,new algorithm,biological system,previous work,conical overapproximations,rectangle vertex,multiaffine function,biological systems,hybrid system,quorum sensing
Affine transformation,Convexity,Rectangle,Algorithm,Reachability,Invariant (mathematics),Reachability problem,Hybrid system,Mathematics,Hybrid automaton
Conference
Volume
ISSN
Citations 
4416
0302-9743
11
PageRank 
References 
Authors
0.66
7
3
Name
Order
Citations
PageRank
Spring Berman131730.90
Ádám Halász220313.41
Vijay Kumar37086693.29