HARE（兔子） swMATH ID: 10938 软件作者： 帕维特拉·普拉巴卡；Duggirala，Parasara Sridhar；密特拉，萨扬；马赫什·维斯瓦纳坦 描述： 矩形混合系统的基于混合自动机的CEGAR。在本文中，我们提出了一个框架，用于对矩形混合自动机系统进行反例引导的抽象再定义（CEGAR）。我们的方法与之前针对混合自动机的CEGAR建议的主要区别在于，我们认为抽象也是混合自动机。我们证明了CEGAR方案对于矩形混合自动机类是半完备的，对于初始化矩形自动机子类是完备的。我们在名为Hare的工具中实现了基于CEGAR的算法，该工具调用HyTech分析抽象模型并验证反例。我们的实验证明了该方法的有效性。 主页： https://wiki.cites.illinois.edu/wiki/display/MitraResearch/HARE 相关软件： SpaceEx公司;违约;S-TaLiRo型;HSolver公司;RSOLVER公司;PHAVer公司;日/日;贝博普;高超声速;干燥VR;HyLAA公司;杂交Sal;Sostools公司;班德拉;自旋蛋白 引用于： 4文件 全部的 前5名7位作者引用 三 帕拉萨拉·斯里达尔·达吉拉拉 三 萨扬·密特拉 2 帕维特拉·普拉巴卡 2 马赫什·维斯瓦纳坦 1 马尼什·戈亚尔 1 纳维德·莫赫莱西 1 侯赛因·西拜 2篇连载文章中引用 1 Automatica公司 1 系统设计中的形式化方法 在3个字段中引用 2 计算机科学（68至XX） 2 系统论；控制（93至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文