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