1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis & S. Yovine (1995): The Algorithmic Analysis of Hybrid Systems. Theoret. Comput. Sci. 138(1), pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
  2. A. F. Atiya & P. Baldi (1989): Oscillations and Synchronizations in Neural Networks: an Exploration of the Labeling Hypothesis. Int. J. Neural Syst. 1(2), pp. 103–124, doi:10.1142/S0129065789000025.
  3. A. Casagrande, C. Piazza & A. Policriti (2009): Discrete Semantics for Hybrid Automata. Discrete Event Dyn. Syst. 19(4), pp. 471–493, doi:10.1007/s10626-009-0082-7.
  4. A. Casagrande, C. Piazza, A. Policriti & B. Mishra (2008): Inclusion dynamics hybrid automata. Inform. and Comput. 206(12), pp. 1394–1424, doi:10.1016/j.ic.2008.09.001.
  5. A. Dolzmann & T. Sturm (1997): REDLOG: computer algebra meets computer logic. SIGSAM Bull. 31(2), pp. 2–9, doi:10.1145/261320.261324.
  6. H. B. Enderton (2001): A Mathematical Introduction to Logic, II edition. Harcourt/Academic Press.
  7. M. Fränzle (1999): Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States. In: Int. Workshop on Computer, Science, and Logic (CSL 99), LNCS 1683. Springer, pp. 126–140.
  8. W. J. Freeman & C. A. Skarda (1985): Spatial EEG patterns, non-linear dynamics and perception: the neo-Sherringtonian view.. Brain Res 357(3), pp. 147–175.
  9. R. Ghosh & C. Tomlin (2001): Lateral Inhibition through Delta-Notch signaling: A Piecewise Affine Hybrid Model. In: Proc. of Hybrid Systems: Computation and Control (HSCC'01), LNCS 2034. Springer, pp. 232–246, doi:10.1007/3-540-45351-2_21.
  10. A. Girard & G. J. Pappas (2007): Approximation metrics for discrete and continuous systems. IEEE Trans. Automat. Control 52(5), pp. 782–798, doi:10.1109/TAC.2007.895849.
  11. C. M. Gray, P. Konig, A. K. Engel & W. Singer (1989): Oscillatory responses in cat visual cortex exhibit inter-columnar synchronization which reflects global stimulus properties. Nature 338(6213), pp. 334–337, doi:10.1038/338334a0.
  12. R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Guernic, S. Smolka & E. Bartocci (2011): From Cardiac Cells to Genetic Regulatory Networks. In: Proc. of Computer Aided Verification (CAV'11), LNCS 6806. Springer, pp. 396–411, doi:10.1007/978-3-642-22110-1_31.
  13. T. A. Henzinger, P. W. Kopke, A. Puri & P. Varaiya (1995): What's decidable about hybrid automata?. In: Proc. of ACM Symposium on Theory of Computing (STOCS'95), pp. 373–382, doi:10.1145/225058.225162.
  14. H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari & J. Geiselmann (2004): Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bulletin of Math. Biology 66, pp. 301–340, doi:10.1016/j.bulm.2003.08.010.
  15. P. Prabhakar, V. Vladimerou, M. Viswanathan & G. E. Dullerud (2009): Verifying Tolerant Systems Using Polynomial Approximations. In: Proceedings of the 2009 30th IEEE Real-Time Systems Symposium, RTSS '09. IEEE Computer Society, Washington, DC, USA, pp. 181–190, doi:10.1109/RTSS.2009.28.
  16. S. Ratschan (2010): Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable. In: Theory and Applications of Models of Computation (TAMC10), lncs 6108. springer, pp. 397–408, doi:10.1007/978-3-642-13562-0_36.
  17. L. R. Silva, Y. Amitai & B. W. Connors (1991): Intrinsic oscillations of neocortex generated by layer 5 pyramidal neurons.. Science 251(4992), pp. 432–5, doi:10.1126/science.1824881.
  18. M. Steriade & R. R. Llinás (1988): The functional states of the thalamus and the associated neuronal interplay.. Physiological reviews 68(3), pp. 649–742.
  19. A. Tonnelier, S. Meignen, H. Bosch & J. Demongeot (1999): Synchronization and desynchronization of neural oscillators. Neural Networks 12(9), pp. 1213 – 1228, doi:10.1016/S0893-6080(99)00068-4.

Comments and questions to:
For website issues: