@incollection(Alur1993,
 author       = {Rajeev Alur and Costas Courcoubetis and Thomas A Henzinger and Pei-Hsin Ho},
 year         = {1993},
 title        = {Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems},
 booktitle    = {Hybrid systems},
 publisher    = {Springer},
 pages        = {209--229},
 doi          = {10.1007/3-540-57318-6\_30},
)
@incollection(Ball1978189,
 author       = {John M. Ball},
 year         = {1978},
 title        = {Finite Time Blow-Up in Nonlinear Problems},
 editor       = {Michael G. Crandall},
 booktitle    = {Nonlinear Evolution Equations},
 publisher    = {Academic Press},
 pages        = {189 -- 205},
 doi          = {10.1016/B978-0-12-195250-1.50015-1},
)
@article(Carothers,
 author       = {David C. Carothers and G. Edgar Parker and James S. Sochacki and Paul G. Warne},
 year         = {2005},
 title        = {Some properties of solutions to polynomial systems of differential equations},
 journal      = {Electronic Journal of Differential Equations},
 volume       = {2005},
 number       = {40},
 pages        = {1--17},
)
@inproceedings(DBLP:conf/cade/FultonMQVP15,
 author       = {Nathan Fulton and Stefan Mitsch and Jan-David Quesel and Marcus V{\"o}lp and Andr{\'e} Platzer},
 year         = {2015},
 title        = {{KeYmaera X}: An Axiomatic Tactical Theorem Prover for Hybrid Systems},
 editor       = {Amy P. Felty and Aart Middeldorp},
 booktitle    = {CADE},
 series       = {LNCS},
 volume       = {9195},
 publisher    = {Springer},
 pages        = {527--538},
 doi          = {10.1007/978-3-319-21401-6\_36},
)
@incollection(Ghorbal2014,
 author       = {Khalil Ghorbal and Andr{\'e} Platzer},
 year         = {2014},
 title        = {Characterizing Algebraic Invariants by Differential Radical Invariants},
 booktitle    = {TACAS},
 publisher    = {Springer},
 pages        = {279--294},
 doi          = {10.1007/978-3-642-54862-8\_19},
)
@book(goriely2001integrability,
 author       = {Alain Goriely},
 year         = {2001},
 title        = {Integrability and Nonintegrability of Dynamical Systems},
 series       = {Advanced Series in Nonlinear Dynamics},
 publisher    = {World Scientific},
 doi          = {10.1142/3846},
)
@inproceedings(Goubault2014,
 author       = {Eric Goubault and Jacques-Henri Jourdan and Sylvie Putot and Sriram Sankaranarayanan},
 year         = {2014},
 title        = {{Finding non-polynomial positive invariants and Lyapunov functions for polynomial systems through Darboux polynomials}},
 booktitle    = {2014 American Control Conference},
 pages        = {3571--3578},
 doi          = {10.1109/ACC.2014.6859330},
)
@article(Jaulin2013,
 author       = {Luc Jaulin},
 year         = {2013},
 title        = {Outer Approximation of Attractors Using an Interval Quantization},
 journal      = {Reliable Computing},
 volume       = {19},
 pages        = {261--273},
)
@inproceedings(DBLP:conf/emsoft/LiuZZ11,
 author       = {Jiang Liu and Naijun Zhan and Hengjun Zhao},
 year         = {2011},
 title        = {Computing semi-algebraic invariants for polynomial dynamical systems},
 booktitle    = {EMSOFT},
 publisher    = {ACM},
 pages        = {97--106},
 doi          = {10.1145/2038642.2038659},
)
@article(Man93a,
 author       = {Yiu-Kwong Man},
 year         = {1993},
 title        = {Computing Closed Form Solutions of First Order ODEs Using the {Prelle-Singer} Procedure.},
 journal      = {J. Symb. Comput.},
 volume       = {16},
 number       = {5},
 pages        = {423--443},
 doi          = {10.1006/jsco.1993.1057},
)
@inproceedings(DBLP:conf/sas/MatringeMR10,
 author       = {Nadir Matringe and Arnaldo Vieira Moura and Rachid Rebiha},
 year         = {2010},
 title        = {Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods},
 booktitle    = {SAS},
 series       = {LNCS},
 volume       = {6337},
 publisher    = {Springer},
 pages        = {373--389},
 doi          = {10.1007/978-3-642-15769-1\_23},
)
@article(DBLP:journals/jar/Platzer08,
 author       = {Andr{\'e} Platzer},
 year         = {2008},
 title        = {Differential Dynamic Logic for Hybrid Systems},
 journal      = {J. Autom. Reasoning},
 volume       = {41},
 number       = {2},
 pages        = {143--189},
 doi          = {10.1007/s10817-008-9103-8},
)
@inproceedings(Prajna+Jadbabaie/2004/Safety,
 author       = {Stephen Prajna and Ali Jadbabaie},
 year         = {2004},
 title        = {Safety Verification using Barrier Certificates},
 booktitle    = {HSCC},
 series       = {LNCS},
 volume       = {2993},
 publisher    = {Springer},
 pages        = {477--492},
 doi          = {10.1007/978-3-540-24743-2\_32},
)
@inproceedings(DBLP:conf/hybrid/Sankaranarayanan10,
 author       = {Sriram Sankaranarayanan},
 year         = {2010},
 title        = {Automatic invariant generation for hybrid systems using ideal fixed points},
 booktitle    = {HSCC},
 pages        = {221--230},
 doi          = {10.1145/1755952.1755984},
)
@inproceedings(Sogokon2015,
 author       = {Andrew Sogokon and Paul B. Jackson},
 year         = {2015},
 title        = {Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems},
 booktitle    = {{FM}},
 series       = {LNCS},
 volume       = {9109},
 publisher    = {Springer},
 pages        = {514--531},
 doi          = {10.1007/978-3-319-19249-9\_32},
)