验证离散事件系统强周期可检测性与强周期 D-可检测性的新方法
最优化与控制
2021-09-21 v1
摘要
本文中，在由有限状态自动机（FSA）建模的离散事件系统中，我们展示了对检测器与并发组合工具的新思路，并推导出两种在无任何假设下运行于 NL 的验证强周期可检测性（SPD）的新算法；我们还重新考虑了观测器工具，并推导出一种新的在无任何假设下运行于 PSPACE 的验证强周期 D-可检测性（SPDD）的算法。这些结果强化了文献中关于无死锁且无发散 FSA 验证 SPD 的 NL 上界以及验证 SPDD 的 PSPACE 上界。
引用
@article{arxiv.2109.08854,
title = {New methods for verifying strong periodic detectability and strong periodic D-detectability of discrete-event systems},
author = {Kuize Zhang},
journal= {arXiv preprint arXiv:2109.08854},
year = {2021}
}
备注
15 pages, 5 figures