Flow* 1.2: More Effective to Play with Hybrid Systems

8 pages•Published: December 17, 2015

Xin Chen, Sriram Sankaranarayanan and Erika Abraham

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*_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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/QrVj},
  doi       = {10.29007/1w4t},
  pages     = {152-159},
  year      = {2015}}

Download PDF Open PDF in browser