首页> 外文OA文献 >Modular Verification Of Function Block Based Industrial Control Systems

【2h】

Modular Verification Of Function Block Based Industrial Control Systems

机译：基于功能块的工业控制系统的模块化验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Norbert Völker; Bernd J. Krämer;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Transforming Opacity Verification to Nonblocking Verification in Modular Systems [J] . Mohajerani Sahar, Lafortune Stephane IEEE Transactions on Automatic Control . 2020,第4期

机译：将透明度验证转换为模块化系统中的非阻塞验证
2. Transformation of Simulink models to IEC 61499 Function Blocks for verification of distributed control systems [J] . Chia-han Yang, Valeriy Vyatkin Control Engineering Practice . 2012,第12期

机译：将Simulink模型转换为IEC 61499功能块，以验证分布式控制系统
3. Securing Industrial Control Systems with a Simulation-based Verification System [J] . Dong Jin, Ying Ni Proceedings of the Workshop on Principles of Advanced and Distributed Simulation . 2014,第CDaROM期

机译：通过基于仿真的验证系统保护工业控制系统
4. Modular verification of function block based industrial control systems [C] . Norbert Volker, Bernd J. Kramer IFAC/IFIP Workshop on Real Time Programming . 2000

机译：基于功能块的工业控制系统的模块化验证
5. Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction. [D] . Hill, Richard Charles. 2008

机译：使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
6. Artificial Pancreas Systems: Control to Range for Diabetes: Functionality and Modular Architecture [O] . Boris Kovatchev, Stephen Patek, Eyal Dassau, 2009

机译：人造胰腺系统：糖尿病范围的控制：功能和模块化架构
7. Automated verification of function block-based industrial control systems [O] . Völker Norbert, Krämer Bernd J. 2002

机译：基于功能块的工业控制系统的自动验证

Modular Verification Of Function Block Based Industrial Control Systems

著录项

引文网络

相似文献

相关主题

期刊订阅