Discreteness, hybrid automata, and biology

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 281-286

  Casagrande, Alberto ^a,b   Piazza, Carla ^b   Policriti, Alberto ^a,b  

^a Institute of Applied Genomics   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; BIOLOGICAL SYSTEMS; COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTABILITY AND DECIDABILITY; DYNAMICAL SYSTEMS; INFORMATION THEORY; MODEL CHECKING; ROBOTS; SCHRODINGER EQUATION; SEMANTICS; TECHNICAL PRESENTATIONS; TRANSLATION (LANGUAGES);

ABSTRACT INTERPRETATIONS; AUTOMATIC TECHNIQUES; DISCRETE EVENT SYSTEMS; HYBRID AUTOMATONS; NATURAL PHENOMENON; PAPER ADDRESSES; REACH ABILITY; REACHABILITY PROBLEMS; REAL SYSTEMS; REAL-WORLD; TRANSITION STRUCTURE; UNDECIDABILITY;

AUTOMATA THEORY;

EID: 53149142466     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605960     Document Type: Conference Paper

References (14)

1. R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho, "Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems," in Hybrid Systems. Springer, 1992, pp. 209-229.
2. O. Maler, Z. Manna, and A. Pnueli, "From timed to hybrid systems," in Real-Time: Theory in Practice. Springer, 3-7 June 1991, pp. 447-484.
3. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, "What's decidable about hybrid automata?" in Proc. of ACM Symposium on Theory of Computing (STOCS'95), 1995, pp. 373-382.
4. G. Lafferriere, G. J. Pappas, and S. Sastry, "O-minimal Hybrid Systems," Mathematics of Control, Signals, and Systems, vol. 13, pp. 1-21, 2000.
5. A. Casagrande, C. Piazza, and B. Mishra, "Semi-Algebraic Constant Reset Hybrid Automata - SACoRe," in Proc. of the 44rd Conference on Decision and Control (CDC'05). IEEE Computer Society Press, 2005, pp. 678-683.
6. D. T. Gillespie, "Exact stochastic simulation of coupled chemical reactions," The Journal of Physical Chemistry, vol. 81, no. 25, pp. 2340-2361, 1977.
7. V. Mysore, C. Piazza, and B. Mishra, "Algorithmic Algebraic Model Checking II: Decidability of semi-algebraic model checking and its applications to systems biology," in Proc of 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2005). Springer, 2005, pp. 217-233.
8. A. Tarski, A Decision Method for Elementary Algebra and Geometry. Univ. California Press, 1951.
9. J. R. Collier, N. A. M. Monk, P. K. Maini, and J. H. Lewis, "Pattern Formation by Lateral Inhibition with Feedback: a Mathematical Model of Delta-Notch Intercellular Signalling," Journal of Theor. Biology, vol. 183, pp. 429-446, 1996.
10. R. Ghosh and C. Tomlin, "Lateral Inhibition through Delta-Notch signaling: A Piecewise Affine Hybrid Model," in Proc. of Hybrid Systems: Computation and Control (HSCC'01). Springer, 2001, pp: 232-246.
11. R. Ghosh, A. Tiwari, and C. Tomlin, "Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata," in Proc. of Hybrid Systems: Computation and Control (HSCC'03), vol. 2623. Springer, 2003, pp. 233-248.
12. M. Fränzle, "Analysis of hybrid systems: An ounce of realism can save an infinity of states," in Proc of 13th International Workshop on Computer, Science, and Logic (CSL 99). Springer, 1999, pp. 126-140.
13. O. Bournez, O. Maler, and A. Pnueli, "Orthogonal polyhedra: Representation and computation," in Proc. of Hybrid Systems: Computation and Control (HSCC'99). Springer, 1999, pp. 46-60.
14. E. Asarin, T. Dang, and O. Maler, "The d/dt tool for verification of hybrid systems," in Proc. of 14th International Conference on Computer Aided Verification (CAV'02), 2002, pp. 365-370.