@article(Alur1995,
 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      = "Theoretical Computer Science",
 volume       = "138",
 pages        = "3--34",
 doi          = "10.1016/0304-3975(94)00202-T",
)
@incollection(Alur2002reachability,
 author       = "R. Alur and T. Dang and F. Ivancic",
 year         = "2002",
 title        = "Reachability Analysis of Hybrid Systems via Predicate Abstraction",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "2289",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "35--48",
 doi          = "10.1007/3-540-45873-5\_6",
)
@incollection(Bhatia2004,
 author       = "A. Bhatia and E. Frazzoli",
 year         = "2004",
 title        = "Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "2993",
 publisher    = "Springer",
 pages        = "142--156",
 doi          = "10.1007/978-3-540-24743-2\_10",
)
@inproceedings(Branicky2005,
 author       = "M.S. Branicky and M.M Curtiss and J. Levine and S. Morgan",
 year         = "2005",
 title        = "Sampling-based reachability algorithms for control and verification of complex systems",
 booktitle    = "Proc. Thirteenth Yale Workshop on Adaptive and Learning Systems, New Haven, CT, 30 May-1",
)
@incollection(Deng2013,
 author       = "Y. Deng and A. Rajhans and A.A. Julius",
 year         = "2013",
 title        = "STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems",
 booktitle    = "Quantitative Evaluation of Systems",
 series       = "LNCS",
 volume       = "8054",
 publisher    = "Springer",
 pages        = "165--168",
 doi          = "10.1007/978-3-642-40196-1\_13",
)
@inproceedings(DInnocenzo2007_Approximate,
 author       = "A. D'Innocenzo and A.A. Julius and M.D. Di Benedetto and G.J. Pappas",
 year         = "2007",
 title        = "Approximate timed abstractions of hybrid automata",
 booktitle    = "CDC",
 pages        = "4045--4050",
 doi          = "10.1109/CDC.2007.4434720",
)
@incollection(Donze2007,
 author       = "A. Donze and O. Maler",
 year         = "2007",
 title        = "Systematic Simulation Using Sensitivity Analysis",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "4416",
 publisher    = "Springer",
 pages        = "174--189",
 doi          = "10.1007/978-3-540-71493-4\_16",
)
@incollection(Girard2006efficient,
 author       = "A. Girard and C. Guernic and O. Maler",
 year         = "2006",
 title        = "Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "3927",
 publisher    = "Springer",
 pages        = "257--271",
 doi          = "10.1007/11730637\_21",
)
@article(Girard2007,
 author       = "A. Girard and G.J. Pappas",
 year         = "2007",
 title        = "Approximation Metrics for Discrete and Continuous Systems",
 journal      = "Automatic Control, IEEE Transactions on",
 volume       = "52",
 number       = "5",
 pages        = "782--798",
 doi          = "10.1109/TAC.2007.895849",
)
@article(Girard2010,
 author       = "A. Girard and G. Pola and P. Tabuada",
 year         = "2010",
 title        = "Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems",
 journal      = "Automatic Control, IEEE Transactions on",
 volume       = "55",
 number       = "1",
 pages        = "116--126",
 doi          = "10.1007/978-3-540-78929-1\_15",
)
@incollection(Guernic2009,
 author       = "C. Guernic and A. Girard",
 year         = "2009",
 title        = "Reachability Analysis of Hybrid Systems Using Support Functions",
 booktitle    = "CAV",
 series       = "LNCS",
 volume       = "5643",
 publisher    = "Springer",
 pages        = "540--554",
 doi          = "10.1007/978-3-642-02658-4\_40",
)
@inproceedings(Julius2007,
 author       = "A.A. Julius and G.E. Fainekos and M. Anand and I. Lee and G.J. Pappas",
 year         = "2007",
 title        = "Robust Test Generation and Coverage for Hybrid Systems",
 booktitle    = "HSCC",
 publisher    = "Springer",
 pages        = "329--342",
 doi          = "10.1007/978-3-540-71493-4\_27",
)
@incollection(Kurzhanski2000,
 author       = "A.B. Kurzhanski and P. Varaiya",
 year         = "2000",
 title        = "Ellipsoidal Techniques for Reachability Analysis",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "1790",
 publisher    = "Springer",
 pages        = "202--214",
 doi          = "10.1007/3-540-46430-1\_19",
)
@incollection(Prajna2004safety,
 author       = "S. Prajna and A. Jadbabaie",
 year         = "2004",
 title        = "Safety Verification of Hybrid Systems Using Barrier Certificates",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "2993",
 publisher    = "Springer",
 pages        = "477--492",
 doi          = "10.1007/978-3-540-24743-2\_32",
)
@book(Tabuada2009,
 author       = "P. Tabuada",
 year         = "2009",
 title        = "Verification and Control of Hybrid Systems: A Symbolic Approach",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4419-0224-5",
)
@incollection(Varaiya2000,
 author       = "P. Varaiya",
 year         = "2000",
 title        = "Reach Set Computation Using Optimal Control",
 booktitle    = "Verification of Digital and Hybrid Systems",
 series       = "NATO ASI Series",
 volume       = "170",
 publisher    = "Springer",
 pages        = "323--331",
 doi          = "10.1007/978-3-642-59615-5\_15",
)