Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
CAV, pp. 373-390, 2014.
Verification algorithms for networks of nonlinear hybrid automata (HA) can aid us understand and control biological processes such as cardiac arrhythmia, formation of memory, and genetic regulation. We present an algorithm for over-approximating reach sets of networks of nonlinear HA which can be used for sound and relatively complete inv...More
PPT (Upload PPT)