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