Reachability algorithm for biological piecewise-affine hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4416 LNCS, Issue , 2007, Pages 633-636

  Aswani, Anil ^a   Tomlin, Claire ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL SYSTEMS; FEEDBACK; MATHEMATICAL MODELS; PIECEWISE LINEAR TECHNIQUES;

PIECEWISE AFFINE HYBRID SYSTEMS; REACHABILITY ALGORITHMS;

SYSTEMS ANALYSIS;

EID: 38049162560     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_49     Document Type: Conference Paper

References (9)

1. Lygeros, J., Tomlin, C. Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica 35(3) (1999) 349-370
2. Gouzé, J.L., Sari, T.: A class of piecewise linear differential equations arising In biological models, Dynamical Systems 17(4) (2002) 299-316
3. de Jong, H., Gouzé, J.L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bulletin of Mathematical Biology 68(2) (2004) 301-340
4. Ghosh, R., Tomlin, C.: Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-Notch protein signalling. Systems Biology 1(1) (2005) 170-183
5. von Dassow, G., Odell, G.M.: Design and constraints of the Drosophila segment polarity module. Journal of Experimental Zoology 294 (2002) 179-215
6. Bouajjani, A., Fernandez, J.C., Halbwachs, N.: Minimal model generation, In: CAV '90: Proceedings of the 2nd International Workshop on Computer Aided Verification, London, UK, Springer-Verlag (1991) 197-203
7. Belta, C., Esposito, J., Kim, J., Kumar, V.: Computational techniques for analysis of genetic network dynamics. International Journal of Robotics Research 24(2-3) (2005)
8. Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In: HSCC Volume 3414 of LNCS, Springer (2005) 258-273
9. Girard, A., Le Guernic, C., Maler, O.: Efficient computation of reachable sets of linear time-invariant systems with inputs. In: HSCC. Volume 3927 of LNCS., Springer (2006) 257-271