References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. Alain Goriely (2001): Integrability and Nonintegrability of Dynamical Systems. Advanced Series in Nonlinear Dynamics. World Scientific, doi:10.1142/3846.
  7. 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.
  8. Luc Jaulin (2013): Outer Approximation of Attractors Using an Interval Quantization. Reliable Computing 19, pp. 261–273.
  9. Jiang Liu, Naijun Zhan & Hengjun Zhao (2011): Computing semi-algebraic invariants for polynomial dynamical systems. In: EMSOFT. ACM, pp. 97–106, doi:10.1145/2038642.2038659.
  10. 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.
  11. 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.
  12. André Platzer (2008): Differential Dynamic Logic for Hybrid Systems. J. Autom. Reasoning 41(2), pp. 143–189, doi:10.1007/s10817-008-9103-8.
  13. 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.
  14. Sriram Sankaranarayanan (2010): Automatic invariant generation for hybrid systems using ideal fixed points. In: HSCC, pp. 221–230, doi:10.1145/1755952.1755984.
  15. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org