Flow* 1.2: More Effective to Play with Hybrid Systems
This paper gives a brief overview of the new features introduced in the latest version of the tool Flow*. We mainly describe the new efficient scheme for integrating linear ODEs. We show that it can efficiently handle the challenging benchmarks on which, to the best of our knowledge, only SpaceEx works. Moreover, it is also possible to extend the method to deal with unbounded initial sets. A comparison between Flow* 1.2 and SpaceEx on those benchmarks is given. Besides, we also investigate the scalability Flow* 1.2 based on our non-linear line circuit benchmarks.
Keyword(s):
Keyword(s):
2018 ◽
Vol 8
(2)
◽
pp. 42-51
Time-domain Analysis of Non-linear Hybrid Systems with First or Fractional-order Data Extrapolation†
1965 ◽
Vol 2
(4)
◽
pp. 321-339
◽
Keyword(s):
2005 ◽
Vol 23
(2)
◽
pp. 137-148
◽
Keyword(s):
2012 ◽
Vol 6
(8)
◽
pp. 1080-1088
◽
Keyword(s):