基准 swMATH ID: 4612 软件作者： 斯特凡·拉特肖恩（Stefan Ratschan）；她，志坤 描述： 基于约束传播的抽象求精混合系统的安全性验证本文研究非线性混合系统的安全验证问题。我们从一个经典方法开始，该方法使用区间算法来检查轨迹是否可以在矩形网格中越过边界。我们将这种方法放入抽象精化框架中，并通过开发一个额外的精化步骤来改进它，该步骤使用约束传播来向抽象添加信息，而不引入新的网格元素。此外，该方法允许用复杂的约束来描述开关条件、初始状态和不安全状态，而不是用对应于网格元素的集合来描述。然而，该方法可以很容易地实现，因为它基于一组定义良好的约束，可以运行任何基于约束传播的解算器。这种实现的首次测试很有希望。 主页： http://hsolver.sourceforge.net/bequicks/ 相关软件： RSOLVER公司;HSolver公司;高超声速;PHAVer公司;Sostools公司;QEPCAD公司;Uppaal公司;SpaceEx公司;YALMIP公司;凯伊迈拉;日/日;塞杜米;MetiTarski公司;LMI银行;z3（零3）;实验室;TRICE公司;PENBMI公司;凯伊迈拉X;d真实 引用于： 28文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 基于约束传播的抽象求精的混合系统安全性验证。 Zbl 1078.93508号斯特凡·拉特肖恩;她，志坤 2005 全部的 前5名63位作者引用 6 她，志坤 三 Joost-Pieter卡托恩 三 斯特凡·拉特肖恩 三 薛、白 三 詹乃军 2 陈明帅 2 戈兰·弗雷斯 2 恩斯特·莫里茨·哈恩 2 霍尔格·赫尔曼斯 2 林，王 2 安德烈·普拉泽 2 王秋叶 2 吴敏 2 夏碧灿 2 杨正峰 2 郑志明 1 贝扎德·阿克巴普尔 1 Bernardeschi，辛齐亚 1 卡特、丽贝卡 1 陈、陶璐 1 戴丽云 1 Thao Dang先生 1 安德烈亚·多梅尼奇 1 劳伦特·多恩 1 托马斯·泽特库利奇 1 詹姆斯·加里奇奥 1 甘婷 1 简·赫尔曼·杰弗斯 1 阿恩·哈特曼斯 1 Hiraishi、Kunihiko 1 弗兰乔·伊万契奇 1 利迪亚·卡夫拉基。 1 Koich小林 1 亚当·科普洛夫斯基 1 李浩阳 1 刘凯荣 1 刘志明 1 伙计，卡洛克 1 斯特凡·米奇 1 伊娃·玛丽亚·纳瓦罗·洛佩斯 1 内迪亚科夫（Nedialko S.）。 1 乔治·帕帕斯。 1 劳伦斯·查尔斯·保尔森 1 埃里昂·普拉库 1 安德烈亚斯·波德尔斯基 1 纳西·拉姆达尼 1 米歇尔·阿德里安 1 雅各布斯·E·罗达。 1 桑卡拉纳拉亚南，斯里拉姆 1 R.R.H.希弗勒。 1 丹·辛克 1 Tan，Yong Kiam先生 1 van Beek博士。 1 埃利斯·范德维根 1 莫西·亚亚科夫·瓦尔迪 1 希尔克·瓦格纳 1 詹姆斯·C·P·伍德科克。 1 吴金钊 1 曾、夏 1 曾振兵 1 张慧 1 张丽君 1 赵恒军 全部的 前5名12篇连载文章中引用 4 非线性分析。混合动力系统 三 系统设计中的形式化方法 2 符号计算杂志 2 计算的形式方面 1 信息处理信函 1 SIAM控制与优化期刊 1 理论计算机科学 1 信息与计算 1 数值算法 1 欧洲控制杂志 1 逻辑与代数程序设计杂志 1 科学中国。信息科学 全部的 前5名在7个字段中引用 19 计算机科学（68至XX） 13 系统论；控制（93至XX） 4 数值分析（65-XX） 三 运筹学、数学规划（90-XX） 2 动力系统和遍历理论（37至XX） 1 常微分方程（34-XX） 1 概率论与随机过程（60-XX） 按年份列出的引文