Flow*: Taylor Model-Based Analyzer for
- 1 Flow*: Taylor Model-Based Analyzer for
- 2 Hybrid Systems
What is Flow*?
Flow* (pronounced flowstar) is a tool which computes Taylor model flowpipes for continuous systems described by systems of non-linear Ordinary Differential Equations (ODEs), and hybrid systems that combine continuous evolution through ODEs with discrete jumps. Hybrid systems are useful to model the rich set of interactions between discrete controllers implemented in software/hardware and continuous plants modeled as ODEs. The current version of Flow* is able to handle hybrid systems with
- continuous dynamics defined by non-linear ordinary differential equations (ODEs) which may have non-polynomial terms such as sine, cosine, square root and etc..
- mode invariants and jump guards defined by conjunctions of polynomial constraints,
- jump resets defined by polynomial mappings with uncertainties.
The tool also supports the ODEs with time-varying uncertain inputs which are bounded by intervals. The current version of Flow* is 1.2.0 which can be downloaded here.
Released versionsable border="1">
Non-polynomial ODEs with uncertain inputs, improved intersection algorithm, fast remainder refinement algorithm, some bugs fixed.
Efficient algorithms on polynomial computation, heuristics for efficiently selecting aggregation templates, some bugs fixed.
Case studies>The case study homepage of Flow* can be found here. We collected a considerable number of non-trivial continuous and hybrid examples which are not only restricted to Flow*.
Acknowledgments>Xin Chen and Erika Abraham gratefully acknowledge support from the project HyPro of the German Research Council.
Sriram Sankaranarayanan gratefully acknowledges support from NSF CAREER Award (Award # 0953941) and NSF CPS Award (Award # 1035845).
References>Taylor models are a very useful computational tool from the interval analysis community. They were
originally developed by Profs. Berz and Makino at the Michigan State University. They maintain a page with their Taylor Model related works here .