zbMATH中的参考文献（参考文献10条)

1. 科斯塔，加布里埃尔；加莱塔，莱特欧；德加诺，皮耶尔帕洛；盆地，大卫；博德，恰拉：作为部分模型检查的自然投影（2020年）
2. 林峰；王乐毅；陈文；王伟林；王飞：网络离散事件系统中的信息控制及其在电池管理系统中的应用（2020）
3. 张仁元；蔡凯：局部观测下大规模离散事件系统的监督定位（2020）
4. Maskaiwaki，Maskaiwaki；保罗，塔布阿达；Hespanha，JoãP.：攻击下离散事件系统的监督控制（2019）
5. 科斯塔，加布里埃尔；盆地，大卫；博德，恰拉；德加诺，皮耶尔帕洛；Galletta，Letterio：从自然投影到部分模型检查和备份（2018）
6. 娇婷；甘、永梅；肖国春；Wonham，W.M.：利用状态树结构的对称性研究具有并行组件的离散事件系统（2017）
7. 蔡凯；Wonham，W.Murray：主管本地化。离散事件系统的自顶向下分布式控制方法（2016）
8. 蔡凯；Wonham，W.M.：主管本地化的新结果，以及案例研究（2015年）
9. Noorbakhsh，S.M。；Afzalian，Ali A.：协调ULTC和SVC的分散DES监督控制（2012）
10. 阿凡齐尼，马丁；Moser，Georg:Tyrolean Complexity Tool:特性和用法（2011）