乌姆德斯

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


zbMATH中的参考文献(参考

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

1 2 ... 16 17 18 下一个

  1. 陈睿;卡桑德拉斯,克里斯托斯G.:具有延迟、阻塞的随机流模型及其在多交叉口交通灯控制中的应用(2020)
  2. Gössler,Gregor;Stefani,Jean Bernard:基于组件的系统中的因果分析和故障归属(2020)
  3. 林峰;王乐毅;陈文;王伟林;王飞:网络离散事件系统中的信息控制及其在电池管理系统中的应用(2020)
  4. Malik,Robi;Teixeira,Marcelo:具有变量抽象的扩展有限状态机的最小限制可控监督器的综合(2020)
  5. Malik,Robi;Ware,Simon:关于合成非阻塞验证中反例的计算(2020)
  6. Meira-Góes,Rômulo;Kang,Eunsuk;Kwong,Raymond H.;Lafortune,Stéphane:网络物理系统监控层的传感器欺骗攻击合成(2020)
  7. Nozari,Erfan;Tallapragada,Pavankumar;Cortés,Jorge:具有时变传感和驱动延迟的非线性系统的事件触发镇定(2020)
  8. Reijnen,Ferdie F.H.;Goorden,Martijn A.;van de Mortel Fronczak,Joanna M.;Rooda,Jacobus E.:监管机构综合建模——锁桥组合案例研究(2020年)
  9. Reveliotis,Spyros:基于导轨的运输系统的某些类别的状态活性及其计算复杂性(2020)
  10. 杨荣民:异步时序机的协调静态控制(2020)
  11. 张志鹏;陈增强;韩晓光;刘忠新:基于矩阵半张量积的概率有限自动机的镇定(2020)
  12. 张志鹏;夏成义;陈增强:基于静态输出反馈的不确定性有限自动机的镇定(2020)
  13. Abbasi,Rosa;Ghassemi,Fatemeh;Khosravi,Ramtin:带有未指定组件的异步系统验证(2019年)
  14. Francis Atampore;Juergen Dingel;Rudie,Karen:自动化服务组合的控制器综合框架(2019)
  15. 保罗·博尔泽恩(Bolzern)、科拉内里(Colaneri)、帕特里齐奥(Patrizio)、德尼科劳(De Nicolao)、朱塞佩(Giuseppe):社会网络中的意见影响和进化:马尔科夫代理模型(2019年)
  16. Daugherty,Greyson;Reveliotis,Spyros;Mohler,Greg:一类交通调度问题的有效性能边界生成(2019)
  17. 窦文辉;李海涛;阿尔萨迪,福阿德E.:概率有限自动机能控性、可达性和稳定性的半张量积方法(2019)
  18. Hagebring,Fredrik;Lennartson,Bengt:使用组合优化对大规模系统的时间最优控制(2019)
  19. 李全林;马景宇;范瑞娜;夏莉:队列和网络中马尔可夫决策过程综述(2019)
  20. Masopust,Tomš;Yin,Xiang:模块化离散事件系统的可检测性、不透明性和A-可诊断性的复杂性(2019)

1 2 ... 16 17 18 下一个