@inproceedings(Alur,
 author       = "R. Alur and C. Courcoubetis and T. A. Henzinger and P. H. Ho",
 year         = "1993",
 title        = "Hybrid {A}utomata: {A}n {A}lgorithmic {A}pproach to the {S}pecification and {V}erification of {H}ybrid {S}ystems",
 booktitle    = "Hybrid Systems",
 series       = "LNCS",
 volume       = "736",
 publisher    = "Springer",
 pages        = "209--229",
 doi          = "10.1007/3-540-57318-6\_30",
)
@book(bookselection,
 author       = "J. P. Aubin and A. Cellina",
 year         = "1984",
 title        = "Differential Inclusions",
 series       = "A Series of Comprehensive Studies in Mathematics",
 volume       = "264",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-69512-4",
)
@inproceedings(basu97,
 author       = "S. Basu",
 year         = "1997",
 title        = "{An Improved Algorithm for Quantifier Elimination Over Real Closed Fields}",
 booktitle    = "{IEEE} Symposium on Foundations of Computer Science (FOCS'97)",
 publisher    = "IEEE Computer Society Press",
 pages        = "56--65",
 doi          = "10.1109/SFCS.1997.646093",
)
@inproceedings(hsb2012,
 author       = "A. Casagrande and T. Dreossi and C. Piazza",
 year         = "2012",
 title        = "Hybrid Automata and $\epsilon $-Analysis on a Neural Oscillator",
 booktitle    = "Proc. of the 1st International Workshop on Hybrid Systems and Biology",
 series       = "EPTCS",
 volume       = "92",
 pages        = "58--72",
 doi          = "10.4204/EPTCS.92.5",
)
@article(DEDS09,
 author       = "A. Casagrande and C. Piazza and A. Policriti",
 year         = "2009",
 title        = "{Discrete Semantics for Hybrid Automata}",
 journal      = "Discrete Event Dynamic Systems",
 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      = "Information and Computation",
 volume       = "206",
 number       = "12",
 pages        = "1394--1424",
 doi          = "10.1016/j.ic.2008.09.001",
)
@techreport(Col05,
 author       = "Pieter Collins",
 year         = "2005",
 title        = "{Hybrid Trajectory Spaces}",
 type         = "Technical Report",
 institution  = "Centrum voor Wiskunde en Informatica (CWI)",
)
@unpublished(Davoren,
 author       = "J. Davoren and I. Epstein",
 year         = "2008",
 title        = "Topologies, Convergence, and Uniformities in General Hybrid Path Spaces,",
 note         = "Preprint",
)
@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    = "Computer Science Logic (CSL'99)",
 series       = "LNCS",
 volume       = "1683",
 publisher    = "Springer",
 pages        = "126--140",
 doi          = "10.1007/3-540-48168-0\_10",
)
@article(girard,
 author       = "A. Girard and A. A. Julius and G. J. Pappas",
 year         = "2008",
 title        = "{Approximate Simulation Relations for Hybrid Systems}",
 journal      = "Discrete Event Dynamic Systems",
 volume       = "18",
 number       = "2",
 pages        = "163--179",
 doi          = "10.1007/s10626-007-0029-9",
)
@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)",
 publisher    = "ACM",
 pages        = "373--382",
 doi          = "10.1145/225058.225162",
)
@inproceedings(DBLP:conf/hybrid/HenzingerR00,
 author       = "T. A. Henzinger and J.-F. Raskin",
 year         = "2000",
 title        = "Robust Undecidability of Timed and Hybrid Systems",
 booktitle    = "Proc. of the 3rd International Workshop Hybrid Systems: Computation and Control (HSCC'00)",
 series       = "LNCS",
 volume       = "1790",
 publisher    = "Springer",
 pages        = "145--159",
 doi          = "10.1007/3-540-46430-1\_15",
)
@article(ominimal,
 author       = "G. Lafferriere and G. J. Pappas and S. Sastry",
 year         = "2000",
 title        = "{O-minimal Hybrid Systems}",
 journal      = "Mathematics of Control, Signals, and Systems",
 volume       = "13",
 pages        = "1--21",
 doi          = "10.1007/PL00009858",
)
@article(lafferiere01,
 author       = "G. Lafferriere and G. J. Pappas and S. Yovine",
 year         = "2001",
 title        = "{Symbolic Reachability Computation for Families of Linear Vector Fields}",
 journal      = "J. Symb. Comput.",
 volume       = "32",
 number       = "3",
 pages        = "231--253",
 doi          = "10.1006/jsco.2001.0472",
)
@book(topology,
 author       = "B. Mendelson",
 year         = "1990",
 title        = "{Introduction to Topology}",
 edition      = "{III}",
 publisher    = "Dover Books on Mathematics",
)
@book(mendel,
 author       = "E. Mendelson",
 year         = "1997",
 title        = "{Introduction to Mathematical Logic}",
 edition      = "{IV}",
 publisher    = "CRC Press",
)
@techreport(ourpaper,
 author       = "C. Piazza and M. Antoniotti and V. Mysore and A. Policriti and F. Winkler and B. Mishra",
 year         = "2005",
 title        = "{Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis}",
 type         = "CIMS-TR",
 number       = "2005-859",
 institution  = "Courant Institute Of Mathematical Sciences",
)
@inproceedings(DBLP:conf/rtss/PrabhakarVVD09,
 author       = "P. Prabhakar and V. Vladimerou and M. Viswanathan and G. E. Dullerud",
 year         = "2009",
 title        = "Verifying Tolerant Systems Using Polynomial Approximations",
 booktitle    = "Proc. of the 30th IEEE Real-Time Systems Symposium (RTSS'09)",
 publisher    = "IEEE Computer Society Press",
 pages        = "181--190",
 doi          = "10.1109/RTSS.2009.28",
)
@incollection(ratschan09,
 author       = "S. Ratschan",
 year         = "2010",
 title        = "Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable",
 booktitle    = "Proc. of the 7th Conference on Theory and Applications of Models of Computation (TAMC'10)",
 series       = "LNCS",
 volume       = "6108",
 publisher    = "Springer",
 pages        = "397--408",
 doi          = "10.1007/978-3-642-13562-0\_36",
)
@inproceedings(Sturm:2011:VSU:1993886.1993935,
 author       = "T. Sturm and A. Tiwari",
 year         = "2011",
 title        = "Verification and synthesis using real quantifier elimination",
 booktitle    = "Proc. of the 36th international symposium on Symbolic and algebraic computation (ISSAC'11)",
 publisher    = "ACM",
 pages        = "329--336",
 doi          = "10.1145/1993886.1993935",
)
@book(tarski,
 author       = "A. Tarski",
 year         = "1951",
 title        = "A {D}ecision {M}ethod for {E}lementary {A}lgebra and {G}eometry",
 publisher    = "Univ. California Press",
)
@inproceedings(tiwari,
 author       = "A. Tiwari and G. Khanna",
 year         = "2002",
 title        = "Series of {A}bstractions for {H}ybrid {A}utomata",
 booktitle    = "Proc. of Hybrid Systems: Computation and Control (HSCC'02)",
 series       = "LNCS",
 volume       = "2289",
 publisher    = "Springer",
 pages        = "465--478",
 doi          = "10.1007/3-540-45873-5\_36",
)