Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells

CAV, pp. 373-390, 2014.

Cited by: 31|Bibtex|Views22|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments