多速率混合 ZIA 的细化检查
计算机科学中的逻辑
2014-10-15 v1 形式语言与自动机理论
摘要
混合系统是同时包含离散和连续组件的动力学系统。为了研究混合系统的建模与验证方面，本文首先介绍了一种结合接口自动机、初始化多速率混合自动机和 Z 语言的规范方法，命名为 MZIA。同时，我们提出了 MZIA 上的细化关系。随后，我们给出了一种用于检查有限域上 MZIA 之间细化关系的算法，并证明了该算法的正确性。
引用
@article{arxiv.1410.3773,
title = {Refinement Checking for Multirate Hybrid ZIA},
author = {Guozheng Li and Zining Cao and Zheng Gao},
journal= {arXiv preprint arXiv:1410.3773},
year = {2014}
}
备注
11pages, 3figures