混合输入输出自动机的近似一致性关系探究
计算机科学中的逻辑
2016-12-16 v1 系统与控制
摘要
已有若干一致性概念被提出，用于根据混合系统模型检查信息物理系统的行为。本文探讨了近似一致性概念的最初想法，该概念允许对可观测的离散动作和（采样的）连续轨迹进行比较。因此，该概念将合并两个早期概念，即M. van Osch的混合输入输出一致性（HIOCO）和H. Abbas与G.E. Fainekos的混合一致性。我们证明了所提出的一致性概念满足半传递性，这使其适用于一致性的逐步证明或精化。
引用
@article{arxiv.1612.04975,
title = {Towards an Approximate Conformance Relation for Hybrid I/O Automata},
author = {Morteza Mohaqeqi and Mohammad Reza Mousavi},
journal= {arXiv preprint arXiv:1612.04975},
year = {2016}
}
备注
In Proceedings V2CPS-16, arXiv:1612.04023