论文研究-Model Checking Hybrid Systems Within Hybrid Temporal Logic.pdf

时间:2022-09-07 20:32:26
【文件属性】:

文件名称:论文研究-Model Checking Hybrid Systems Within Hybrid Temporal Logic.pdf

文件大小:604KB

文件格式:PDF

更新时间:2022-09-07 20:32:26

model checking;temporal logic;hybrid systems

基于混合时序逻辑的混合系统的模型检测,张海宾,,这篇文章处理基于混合时序逻辑的混合系统的模型检测技术。通过转换为区间时序逻辑的模型检测问题我们解决了时间自动机的模型检测


网友评论