Flow*: An Analyzer for Non-linear Hybrid Systems.

Xin Chen,Erika Ábrahám,Sriram Sankaranarayanan
DOI: https://doi.org/10.1007/978-3-642-39799-8_18
2013-01-01
Abstract:The tool Flow* performs Taylor model-based flowpipe construction for non-linear polynomial hybrid systems. Flow* combines well-known Taylor model arithmetic techniques for guaranteed approximations of the continuous dynamics in each mode with a combination of approaches for handling mode invariants and discrete transitions. Flow* supports a wide variety of optimizations including adaptive step sizes, adaptive selection of approximation orders and the heuristic selection of template directions for aggregating flowpipes. This paper describes Flow* and demonstrates its performance on a series of non-linear continuous and hybrid system benchmarks. Our comparisons show that Flow* is competitive with other tools.
What problem does this paper attempt to address?