文件名称：论文研究-Synthesis Algorithms of Models of Hybrid Systems.pdf
文件大小：429KB
文件格式：PDF
更新时间：2022-09-04 08:44:09
hybrid systems；temporal Logic；synthesis
混合系统状态模型的合成算法，张海宾，，这篇文章中，我们主要介绍了一个混合系统的描述模型，基于这个模型，我们定义了一个混合系统的偏序关系并建立了混合系统的格。并
论文研究-Synthesis Algorithms of Models of Hybrid Systems.pdf
【文件属性】：