Flow* 1.2: More Effective to Play with Hybrid Systems

Xin Chen; Sriram Sankaranarayanan; Erika Abraham

doi:10.29007/1w4t

Download PDF Open PDF in browser

Flow* 1.2: More Effective to Play with Hybrid Systems

8 pages•Published: December 17, 2015

Xin Chen, Sriram Sankaranarayanan and Erika Ábrahám

Abstract

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.

Keyphrases: Flow*, hybrid systems, reachability, SpaceEx, Taylor model, tools

In: Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, vol 34, pages 152--159

Links:	https://easychair.org/publications/paper/QrVj
	https://doi.org/10.29007/1w4t

BibTeX entry

@inproceedings{ARCH15:Flow_star_1.2_More_Effective,
  author    = {Xin Chen and Sriram Sankaranarayanan and Erika Abraham},
  title     = {Flow* 1.2: More Effective to Play with Hybrid Systems},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {152--159},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/QrVj},
  doi       = {10.29007/1w4t}}

Download PDF Open PDF in browser