The techniques in Flow* are described by the following publications.

• Symbolic remainder representation and system decomposition.
  (Version 2.1.0 – )
  • X. Chen and S. Sankaranarayanan.
    Decomposed Reachability Analysis for Nonlinear Systems.
    In Real-Time Systems Symposium (RTSS), pp. 13-24, 2016, IEEE.
• Basic algorithms to compute Taylor model flowpipes for nonlinear hybrid automata. (Version 1.0.0 – 1.2.0)
  • X. Chen, E. Abraham, and S. Sankaranarayanan.
    Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.
    In Real-Time Systems Symposium (RTSS), pp. 183-192, 2012, IEEE.
  • Xin Chen, Erika Abraham, and Sriram Sankaranarayanan.
    FLOW*: An Analyzer for Non-linear Hybrid Systems.
    In Computer Aided Verification (CAV), Volume 8044 of LNCS, pp. 258-263, 2013.
• An efficient algorithm to integrate linear ODEs.
  • Xin Chen, Sriram Sankaranarayanan, and Erika Abraham.
    FLOW* 1.2: More Effective to Play with Hybrid Systems.
    In Applied Verification for Continuous and Hybrid Systems (ARCH), 2015.
• Different schemes for generating Taylor expansions; Algorithm for handling bounded time-varying uncertainties; Fast remainder refinement algorithm; Taylor model aggregation; … (Versions 1.0.0 – 2.0.0)
• Xin Chen.
  Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models.
  PhD thesis, RWTH Aachen University, 2015.
• Extensions and benchmarks.
  • Xin Chen, Sriram Sankaranarayanan, and Erika Abraham.
    Under-Approximate Flowpipes for Non-Linear Continuous Systems.
    In Formal Methods in Computer-Aided Design (FMCAD), pp. 59-66, 2014, IEEE.
  • Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Abraham, Goran Frehse, Stefan Kowalewski.
    A Benchmark Suite for Hybrid Systems Reachability Analysis.
    In NASA Formal Methods (NFM), Volume 9058 of LNCS, pp. 408-414, 2015.