论文研究-Synthesis Algorithms of Models of Hybrid Systems.pdf

时间:2022-09-04 08:44:09
【文件属性】:

文件名称:论文研究-Synthesis Algorithms of Models of Hybrid Systems.pdf

文件大小:429KB

文件格式:PDF

更新时间:2022-09-04 08:44:09

hybrid systems;temporal Logic;synthesis

混合系统状态模型的合成算法,张海宾,,这篇文章中,我们主要介绍了一个混合系统的描述模型,基于这个模型,我们定义了一个混合系统的偏序关系并建立了混合系统的格。并


网友评论