MARCO swMATH ID: 2719 Software Authors: Berman, Spring; Halász, Ádám; Kumar, Vijay Description: 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, we exploited the convexity of multi-affine 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 and the analysis of bi-stability of the lactose induction system regulated by glucose and lactose Homepage: http://link.springer.com/chapter/10.1007%2F978-3-540-71493-4_9 Dependencies: Matlab Related Software: HyTech; PHAVer; Flow*; SpaceEx; nuXmv; MiniSat; MUSer2; z3; MPI/MPICH; Sapo; dReach; pyHybrid Analysis; Ellipsoidal Toolbox; Ariadne; MPT; KeYmaera; CUDA; d/dt; REDLOG; QEPCAD Cited in: 5 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year MARCO: A reachability algorithm for multi-affine systems with applications to biological systems. Zbl 1221.93027Berman, Spring; Halász, Ádám; Kumar, Vijay 2007 all top 5 Cited by 13 Authors 1 Bartocci, Ezio 1 Bendík, Jaroslav 1 Berman, Spring 1 Černá, Ivana 1 Dang, Thao 1 Dreossi, Tommaso 1 Halász, Ádám M. 1 Kumar, Vijay R. 1 Liò, Pietro 1 Merelli, Emanuela 1 Paoletti, Nicola 1 Piazza, Carla 1 Sankaranarayanan, Sriram Cited in 2 Serials 1 Formal Methods in System Design 1 Nonlinear Analysis. Hybrid Systems Cited in 5 Fields 3 Systems theory; control (93-XX) 2 Biology and other natural sciences (92-XX) 1 Ordinary differential equations (34-XX) 1 Computer science (68-XX) 1 Mechanics of deformable solids (74-XX) Citations by Year