萨波 swMATH ID: 23566 软件作者： 德罗西T 描述： 萨波：多项式动力系统的可达性计算和参数综合。Sapo是对多项式动力系统进行形式化分析的工具。它的主要特点是1）可达性计算，即计算从一组初始条件可以达到的状态集，以及2）参数综合，即细化一组参数，使系统满足给定的规范。Sapo可以将可达集表示为盒的并集、平行四边形或平行四边形束（多面体的符号表示）。参数集用多边形表示，而规范则形式化为信号时序逻辑（STL）公式。 主页： https://dl.acm.org/citation.cfm？id=3049797.3049824 相关软件： SpaceEx公司;高超声速;违约;d到达;流量*;日/日;阿里阿德涅;凯伊迈拉;AlexNet公司;JuliaReach公司;NNV公司;夏洛克;CORA公司;HyPro公司;杂交分析;图像网络;ReachNN公司;科迪亚克;卡（Kaa）;github 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 萨波：多项式动力系统的可达性计算和参数综合。 Zbl 1369.68257号托马索·德罗西 2017 全部的 前5名13位作者引用 三 托马索·德罗西 2 Thao Dang先生 2 卡拉广场 1 斯坦利·巴克 1 阿尔贝托·卡萨格兰德 1 卢卡·多里戈 1 帕拉萨拉·斯里达尔·达吉拉拉 1 皮埃尔·洛伊奇·卡洛什 1 迪迪埃·亨利昂 1 爱德华·D·金。 1 维克托·马格伦 1 埃莉诺拉·皮皮亚 1 泽维尔·蒂里欧 3篇连载文章中引用 1 SIAM控制与优化期刊 1 信息与计算 1 系统设计中的形式化方法 在3个字段中引用 三 计算机科学（68至XX） 三 系统论；控制（93至XX） 1 运筹学、数学编程（90-XX） 按年份列出的引文