乌姆德斯

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


zbMATH中的参考文献(参考文献365篇文章)

显示365的结果1到20。
按年份排序(引用)

1 2 ... 17 18 19 下一个

  1. 卡桑德拉斯,克里斯托斯G。;拉福琼,斯特潘:离散事件系统导论(即将出版)(2021年)
  2. 卡维扎,大卫·G。;阿尔拉杰,达拉尔;György,András:GR(1)公式的弱点度量(2021)
  3. 季一丁;阴、香;Lafortune,Stéphane:具有平均收益目标和部分观测的最优监督控制(2021)
  4. 杨荣民;李东恩;Kwak,Seong-Woo:具有控制输入序列长度约束的输入/状态异步时序机的模型匹配包含(2021)
  5. Zhang,Kuize:离散事件系统分散状态检测与故障诊断/预测的统一方法(2021)
  6. 陈瑞;Cassandras,Christos G.:具有延迟、阻塞的随机流模型及其在多交叉口交通灯控制中的应用(2020)
  7. 科斯塔,加布里埃尔;加莱塔,莱特欧;德加诺,皮耶尔帕洛;盆地,大卫;博德,恰拉:作为部分模型检查的自然投影(2020年)
  8. 崔振宇;傅,迈克尔·C。;胡建强;刘延初;彭一杰;朱凌炯:关于单次无偏随机导数估计量的方差(2020)
  9. 葛斯勒,格雷戈;Stefani,Jean Bernard:基于组件的系统中的因果分析和故障归属(2020)
  10. 格鲁兹利科夫,上午。;新罕布什尔州科列索夫。;卢科亚诺夫。;Tolmacheva,M.V.:分布式计算机系统的实时诊断模型(2020)
  11. 兰帕蒂,詹弗兰科;萨内拉,玛丽娜;赵祥福:深离散事件系统的诊断(2020)
  12. 兰,浩;通、阴;郭、金;Seazi,Carla:使用Petri网验证C-可检测性(2020)
  13. 林峰;王乐毅;陈文;王伟林;王飞:网络离散事件系统中的信息控制及其在电池管理系统中的应用(2020)
  14. 林立勇;朱玉婷;苏荣:合成秘密执行器攻击者免费(2020年)
  15. 刘荣健;梅,刘娟;卢建全:(k)–内存嵌入插入机制,用于不透明度强制(2020)
  16. 马利克,罗比;Teixeira,Marcelo:带变量抽象的扩展有限状态机的最小限制可控监控器的合成(2020)
  17. 马利克,罗比;Ware,Simon:关于合成非阻塞验证中反例的计算(2020)
  18. 米拉-戈斯,Rômulo;康恩苏克;邝,雷蒙德H。;Lafortune,Stéphane:网络物理系统监控层的传感器欺骗攻击合成(2020)
  19. 诺扎里,尔凡;塔拉普拉加达,帕万库马尔;Cortés,Jorge:具有时变传感和驱动延迟的非线性系统的事件触发镇定(2020)
  20. 雷伊宁,费迪·费迪费希尔。;古尔登,马蒂金A。;乔安娜·德·范乔安娜。;Rooda,Jacobus E.:监管机构综合建模——船闸桥组合案例研究(2020)

1 2 ... 17 18 19 下一个