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.

External Interactions on Hybrid Models of Biological Systems

Alberto Casagrande;PIAZZA, Carla
2014-01-01

Abstract

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.
2014
9783319103976
9783319103983
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1031553
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact