Running SpaceEx on the ARCH14 Benchmarks

11 pages•Published: December 17, 2015

Abstract

In this paper, we present experimental results from running
SpaceEx on some of the benchmarks of the ARCH14 workshop. Some of
the SpaceEx models were obtained from Matlab/Simulink models with
the help of a new translation tool. While some benchmarks could be
handled to our satisfaction, several still pose signicant challenges. We
discuss possible alternatives for handling the problematic cases.

Keyphrases: hybrid automata, hybrid systems, matlab, reachability, safety, simulink, stateflow, tools, verification

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 196-206.

Links:	https://easychair.org/publications/paper/bX
	https://doi.org/10.29007/m1cd

BibTeX entry

@inproceedings{ARCH15:Running_SpaceEx_ARCH14_Benchmarks,
  author    = {Stefano Minopoli and Goran Frehse},
  title     = {Running SpaceEx on the ARCH14 Benchmarks},
  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/bX},
  doi       = {10.29007/m1cd},
  pages     = {196-206},
  year      = {2015}}

Download PDF Open PDF in browser