Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue

8 pages•Published: February 1, 2017

Abstract

Implantable cardiac devices like pacemakers and defibrillators are life-saving medical devices.
To verify their functionality, there is a need for heart models that can simulate interesting phenomena and are relatively computationally tractable.
In this benchmark we implement a model of the electrical activity in excitable cardiac tissue as a network of nonlinear hybrid automata.
The model has previously been shown to simulate fast arrhythmias.
The hybrid automata are arranged in a square n-by-n grid and communicate via their voltages.
Our Matlab implementation allows the user to specify any size of model n, thus rendering it ideal for benchmarking purposes since we can study tool efficiency as a function of size.
We expect the model to be used to analyze parameter ranges and network connectivity that lead to dangerous heart conditions.
It can also be connected to device models for device verification.

Keyphrases: benchmark, biological systems, cardiac devices, heart modeling, matlab, nonlinear hybrid automata

In: Goran Frehse and Matthias Althoff (editors). ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, vol 43, pages 1-8.

Links:	https://easychair.org/publications/paper/kvt
	https://doi.org/10.29007/5zfk