External Interactions on Hybrid Models of Biological Systems

被引：0
作者：
Casagrande, Alberto [1 ]
Piazza, Carla [2 ]
机构：
[1] Univ Trieste, Dept Math & Geosci, I-34127 Trieste, Italy
[2] Univ Udine, Dept Math & Comp Sci, Udine, Italy
来源：
FORMAL METHODS IN MACRO-BIOLOGY | 2014年 / 8738卷
关键词：
Hybrid; Automata; Unwinding; Behavioural; Equivalences; TEMPORAL LOGIC SPECIFICATIONS; INFORMATION-FLOW SECURITY; INTERFERON; ROBUSTNESS; INFLUENZA; DYNAMICS; ALPHA;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：63 / 81
页数：19
相关论文
共 44 条
  • [1] A THEORY OF TIMED AUTOMATA
    ALUR, R
    DILL, DL
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) : 183 - 235
  • [2] Alur Rajeev, 1992, LNCS, P209, DOI [DOI 10.1007/3-540-57318-6, DOI 10.1007/3-540-57318-6_30]
  • [3] On the Robustness of Temporal Properties for Stochastic Models
    Bartocci, Ezio
    Bortolussi, Luca
    Nenzi, Laura
    Sanguinetti, Guido
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (125): : 3 - 19
  • [4] Bossi A, 2003, LECT NOTES COMPUT SC, V2575, P223
  • [5] Compositional information flow security for concurrent programs
    Bossi, Annalisa
    Piazza, Carla
    Rossi, Sabina
    [J]. JOURNAL OF COMPUTER SECURITY, 2007, 15 (03) : 373 - 416
  • [6] Robustness Analysis for Value-Freezing Signal Temporal Logic
    Brim, L.
    Vejpustek, T.
    Safranek, D.
    Fabrikova, J.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (125): : 20 - 36
  • [7] Casagrande A., 2012, P 1 INT WORKSH HYBR, V92, P58, DOI DOI 10.4204/EPTCS.92.5
  • [8] Casagrande A., 2014, UNWINDING BIOL SYSTE
  • [9] Inclusion dynamics hybrid automata
    Casagrande, Alberto
    Piazza, Carla
    Policriti, Alberto
    Mishra, Bud
    [J]. INFORMATION AND COMPUTATION, 2008, 206 (12) : 1394 - 1424
  • [10] Chiang K, 2013, LECT N BIOINFORMAT, V8130, P192, DOI 10.1007/978-3-642-40708-6_15
12345