在ARCH14基准上运行SpaceEx

ARCH@CPSWeek Pub Date : 1900-01-01 DOI:10.29007/m1cd

Stefano Minopoli, Goran Frehse

{"title":"在ARCH14基准上运行SpaceEx","authors":"Stefano Minopoli, Goran Frehse","doi":"10.29007/m1cd","DOIUrl":null,"url":null,"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 significant challenges. We discuss possible alternatives for handling the problematic cases.","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"81 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Running SpaceEx on the ARCH14 Benchmarks\",\"authors\":\"Stefano Minopoli, Goran Frehse\",\"doi\":\"10.29007/m1cd\",\"DOIUrl\":null,\"url\":null,\"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 significant challenges. We discuss possible alternatives for handling the problematic cases.\",\"PeriodicalId\":136799,\"journal\":{\"name\":\"ARCH@CPSWeek\",\"volume\":\"81 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ARCH@CPSWeek\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.29007/m1cd\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ARCH@CPSWeek","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.29007/m1cd","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

在本文中，我们展示了在ARCH14研讨会的一些基准测试中运行SpaceEx的实验结果。一些SpaceEx模型是借助一种新的翻译工具从Matlab/Simulink模型中获得的。虽然一些基准可以让我们满意，但仍有一些基准带来了重大挑战。我们讨论处理有问题的情况的可能的替代方案。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Running SpaceEx on the ARCH14 Benchmarks

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 significant challenges. We discuss possible alternatives for handling the problematic cases.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

ARCH@CPSWeek

自引率

0.00%

发文量