文件名称：论文公式转为matlab代码-hyst:HyST：混合自动机模型的源转换和翻译工具
文件大小：56.21MB
文件格式：ZIP
更新时间：2024-06-09 02:24:13
系统开源
论文公式转为matlab代码 HyST：混合自动机模型的源转换和转换工具： HyST源代码： HyST基准测试： 贡献者 斯坦利·巴克（2014年至今）， 泰勒·约翰逊（Taylor T.Johnson）（2014年至今）， 克里斯蒂安·席林（2014-2016）， 阮越阮（2014-2017） 塞尔吉·波哥莫洛夫（2013-2016）， 克里斯托弗·迪洛（2013-2014） HyST在2014年泰勒访问AFRL的访问学院研究计划期间开始，并基于一个初始项目，该项目提供了Christopher Dillo和Sergiy Bogomolov的SpaceEx解析器。 该软件是由空军研究实验室（AFRL）资助开发的，并已批准用于公共发行。 发行A.批准公开发行； 发行数量不受限制。 （批准的AFRL PA案例号88ABW-2016-1014，2016年3月8日。） 参考 HyST的主要论文是： Stanley Bak，Sergiy Bogomolov，Taylor T. Johnson，“ HyST：混合自动机模型的源转换和翻译工具”，在第18届混合系统国际会议：计算和控制（HSCC 20