External Interactions on Hybrid Models of Biological Systems


We propose a general framework for the analysis of hybrid automata representing biological systems which interacts with an environment. Our framework is based on unwinding conditions and it aims at establishing which external interactions substantially change the system behaviours. We exploit our proposal for the analysis of influenza disease treatable with both antivirals and interferons.

Formal Methods in Macro-Biology