乌姆德斯

UMDES软件库:UMDES-LIB是一个C例程库,用于研究由有限状态自动机(FSA)建模的离散事件系统。有FSA操作的例程,实现监控理论的许多操作的例程,以及实现密歇根大学为离散事件系统的故障诊断而开发的方法的例程。Christos G.Cassandras和Stéphane Lafortune著的《离散事件系统导论》一书可供参考,以了解FSA对离散事件系统的建模、FSA模型的操作以及离散事件系统的监督控制理论。


zbMATH中的参考文献(参考文献403篇)

显示结果1到20,共403个。
按年份排序(引用)

1 2 ... 19 20 21 下一个

  1. 阿尔维斯,马科斯诉S。;巴塞洛斯,拉斐尔J。;卡瓦略,莉莲K。;Basilio,JoãC.:网络离散事件系统对DoS和欺骗攻击的鲁棒分散可诊断性(2022)
  2. 阿尔维斯,米歇尔R.C。;佩纳,帕特里夏。;鲁迪,凯伦:受到未知传感器攻击的离散事件系统(2022)
  3. 巴兹尔,弗朗西斯科;博契亚,毛里齐奥;德托马西,詹马利亚;莫塔,卡罗;Sterle,Claudio:一种基于优化的方法来评估标记和有界Petri网系统中的非干扰(2022)
  4. 侯俊尧;阴、香;李少元:动态信息发布机制下的现状不透明框架(2022)
  5. 列斐伏尔,迪米特里;西子,卡拉;哈吉科斯蒂斯,克里斯托福罗斯。;Giua,Alessandro:标记连续时间马尔可夫模型的概率状态估计及其在攻击检测中的应用(2022)
  6. 刘富春;杨、彭彪;赵瑞;Dziong,Zbigniew:随机离散事件系统的安全可诊断性验证(2022)
  7. 刘荣健;吕建权:通过插入机制实现无限阶不透明和K阶不透明(2022)
  8. 马子月;他,周;李志武;Giua,Alessandro:标记Petri网中线性标记规范的监督者设计(2022)
  9. 奥利维拉,维尼修斯·德索萨·利马;卡布拉尔,费利佩·戈麦斯;Moreira,Marcos Vicente:(K)-离散事件系统的损失鲁棒协诊断性(2022)
  10. 雷伊宁,费迪·费迪费希尔。;埃伦斯,托比·R。;范德莫泰尔弗隆扎克,乔安娜M。;Rooda,Jacobus E.:安全可编程逻辑控制器的综合与实现(2022)
  11. 通、阴;兰,浩;Seazi,Carla:有界标记Petri网的(K)-步和无限步不透明度的验证(2022)
  12. 维莱拉,朱丽安娜;Hill,Richard:具有组合抽象的监督控制环境中的层次规划(2022)
  13. 巴伦,吉;Masopust,Tomš:离散事件系统不透明性概念的比较(2021)
  14. 巴塞洛斯,拉斐尔·朱利奥;巴西里奥,若昂·卡洛斯:通过洗牌和删除事件观察来强化当前状态的不透明性(2021)
  15. 布西夫、阿布德鲁夫;穆罕默德·加泽尔;Basilio,João Carlos:离散事件系统的间歇性故障可诊断性:基于自动机的方法概述(2021)
  16. 卡桑德拉斯,克里斯托斯G。;拉福琼,圣潘:离散事件系统导论(2021)
  17. 卡维扎,大卫·G。;阿尔拉杰,达拉尔;György,András:GR(1)公式的弱点度量(2021)
  18. 伙计,保罗;德莱昂尼,马西米利亚诺;Montali,Marco:可变条件下数据感知过程模型的可靠性验证(2021)
  19. 古尔登,马蒂金A。;费边,马丁;范德莫泰尔弗隆扎克,乔安娜M。;雷尼尔,米歇尔A。;福克金,万·J。;Rooda,Jacobus E.:扩展有限自动机的合成协调器综合(2021)
  20. 韩晓光;杨文东;陈小燕;李志武;陈曾强:概率布尔网络的可检测性验证(2021)

1 2 ... 19 20 21 下一个