Analysis of parametric biological models with non-linear dynamics

TL;DR

This paper introduces a method for analyzing biological models with non-linear dynamics using hybrid systems algorithms, applied to cardiac and insect behavior models to understand their complex trajectories.

Contribution

It presents a novel application of hybrid systems algorithms to parametric biological models with polynomial dynamics, enabling trajectory set analysis.

Findings

Identified conditions for cardiac abnormalities in the cardiac cell model

Analyzed insect nest-site choice behavior using the proposed method

Demonstrated the effectiveness of the approach on two biological case studies

Abstract

In this paper we present recent results on parametric analysis of biological models. The underlying method is based on the algorithms for computing trajectory sets of hybrid systems with polynomial dynamics. The method is then applied to two case studies of biological systems: one is a cardiac cell model for studying the conditions for cardiac abnormalities, and the second is a model of insect nest-site choice.