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

DOI10.1007/978-3-540-71493-4_9zbMath1221.93027OpenAlexW1578417167MaRDI QIDQ3612960

Ádám M. Halász, Spring Berman, Vijay Kumar

Publication date: 11 March 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_9

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Systems biology, networks (92C42)

Related Items (4)

Change-of-bases abstractions for non-linear hybrid systems ⋮ An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications ⋮ Reachability computation for polynomial dynamical systems ⋮ MARCO

Uses Software

• PHAVer
• HyTech
• RAMAS

This page was built for publication: MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems