文件名称:论文研究-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
文件大小:429KB
文件格式:PDF
更新时间:2022-09-04 08:44:09
hybrid systems;temporal Logic;synthesis
混合系统状态模型的合成算法,张海宾,,这篇文章中,我们主要介绍了一个混合系统的描述模型,基于这个模型,我们定义了一个混合系统的偏序关系并建立了混合系统的格。并