文件名称：最大最小值零点问题的matlab代码-hyst:HyST：混合自动机模型的源转换和翻译工具
文件大小：32.59MB
文件格式：ZIP
更新时间：2024-06-10 22:49:25
系统开源
最大预设零点问题的matlab代码HyST：混合自动机模型的源转换和转换工具： HyST源代码： HyST基准测试： 贡献者 克里斯蒂安·席林（Christian Schilling，2014年至今）， 阮越阮（2014年至今） 斯坦利·巴克（2014年至今）， Sergiy Bogomolov（2013年至今）， 泰勒·约翰逊（Taylor T.Johnson）（2014年至今）， 克里斯托弗·迪洛（2013-2014） HyST在2014年泰勒访问AFRL的访问学院研究计划期间开始，并基于一个初始项目，该项目提供了Christopher Dillo和Sergiy Bogomolov的SpaceEx解析器。 该软件是由空军研究实验室（AFRL）资助开发的，并已批准用于公共发行。 发行A.批准公开发行； 发行数量不受限制。 （批准的AFRL PA案例号88ABW-2016-1014，2016年3月8日。） 易用性 Hyst已在Windows 7/8/10和Linux（Ubuntu）上使用Java 1.7和Java 1.8进行了测试。 GUI用法： Hyst可以通过GUI或命令行运行。