带标号 $\mathfrak{D_p}$ 自动机的可诊断性
形式语言与自动机理论
2024-02-16 v2
摘要
在本文中，我们针对一类同时容许正数、负数以及向量的双半环上的带标号加权自动机，提出了可诊断性这一概念。其权值可表示诸如时间流逝与位置偏差等多种物理意义。我们还开发了一种称为并发合成的原创工具，用以验证此类自动机的可诊断性。与文献中已有结果相比，这些结果具有根本上的新颖性。
引用
@article{arxiv.2109.07125,
title = {Diagnosability of labeled $\mathfrak{D_p}$ automata},
author = {Kuize Zhang and Joerg Raisch},
journal= {arXiv preprint arXiv:2109.07125},
year = {2024}
}
备注
28 pages, 7 figures