首页> 外文OA文献 >Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams

【2h】

Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams

机译：基于二元决策图的模块化离散事件系统的有效可达性分析

页面导航

著录项
相似文献
相关主题

著录项

作者
Martin Byröd Bengt Lennartson; Arash Vahidi; Knut Akesson;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Qualitative Analysis of Complex Modularized Fault Trees Using Binary Decision Diagrams [J] . R Remenyte, J D Andrews Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability . 2006,第1期

机译：使用二元决策图对复杂模块化故障树进行定性分析
2. Qualitative analysis of complex modularized fault trees using binary decision diagrams [J] . R. Remenyte, J. D. Andrews Proceedings of the Institution of Mechanical Engineers, Part O. Journal of Risk and Reliability . 2006,第1期

机译：使用二进制决策图对复杂的模块化故障树进行定性分析
3. Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams [J] . Myers A., Rauzy A. IEEE Transactions on Reliability . 2008,第2期

机译：使用二元决策图有效评估故障覆盖率不完全的冗余系统
4. Efficient Reachability Analysis on Modular Discrete-Event Systems Using Binary Decision Diagrams [C] . Byrod, M., Lennartson, . 2006

机译：基于二元决策图的模块化离散事件系统有效可达性分析
5. Logic diagram verification by modular supervisory control of discrete-event system [D] . Liu, Yong Chang. 2008

机译：通过离散事件系统的模块化监督控制进行逻辑图验证
6. Focus Issue on Vector Systems for Plant Research and Biotechnology: A Set of Modular Binary Vectors for Transformation of Cereals [O] . Axel Himmelbach, Uwe Zierold, Götz Hensel, 2007

机译：用于植物研究和生物技术的载体系统的重点问题：用于谷物转化的一组模块化二进制载体
7. Qualitative analysis of complex modularized fault trees using binary decision diagrams [O] . Remenyte-Prescott Rasa, Andrews John 2006

机译：使用二进制决策图对复杂的模块化故障树进行定性分析

Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams

著录项

相似文献

相关主题

期刊订阅