文件名称:论文研究-Model Checking Hybrid Systems Within Hybrid Temporal Logic.pdf
文件大小:604KB
文件格式:PDF
更新时间:2022-09-07 20:32:26
model checking;temporal logic;hybrid systems
基于混合时序逻辑的混合系统的模型检测,张海宾,,这篇文章处理基于混合时序逻辑的混合系统的模型检测技术。通过转换为区间时序逻辑的模型检测问题我们解决了时间自动机的模型检测