EasyChair Publications
Search
Paper Information
Paper:Stefano Minopoli and Goran Frehse
Running SpaceEx on the ARCH14 Benchmarks
Title:Running SpaceEx on the ARCH14 Benchmarks
Authors:Stefano Minopoli and Goran Frehse
Keyphrases:hybrid systems, hybrid automata, matlab, simulink, stateflow, verification, reachability, safety, tools
Paper:
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.
Volume:Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Series:EPiC Series in Computing
Volume number:34
Pages:196-206
Editors:Goran Frehse and Matthias Althoff
BibTeX entry:
@inproceedings{ARCH15:Running_SpaceEx_on_the_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},
  pages     = {196-206},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}