部分可观测离散事件系统的估计与验证
系统与控制
2019-03-28 v1
摘要
本文考虑一类重要的人造信息物理系统——离散事件系统（DES）的状态估计与验证问题。
引用
@article{arxiv.1903.11413,
title = {Estimation and Verification of Partially-Observed Discrete-Event Systems},
author = {Xiang Yin},
journal= {arXiv preprint arXiv:1903.11413},
year = {2019}
}
备注
Encyclopedia of Electrical and Electronics Engineering