• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFAC International Workshop on Intelligent Manufacturing Systems >A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types
【24h】

A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types

机译：IEC 61499功能块的数据处理模型，具有整数值数据类型

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

To prove the correct behaviour of a distributed control system in any case is to do a closed-loop verification of the control system connected with the plant. Since controller interact with the plant not only via boolean values but via integer-valued data as well, a model of the data processing inside the controller is needed. As formal model we will use the known Net Condition/Event Systems (NCES) and it will be shown exemplarily at the basic arithmetical operations adding and subtracting as well as at the comparison of boolean and integer-valued data how the statements inside the algorithms have to be transformed to the formal model. Consequential, rules will be defined for the transformation of statements with boolean and integer-valued data processing. These will be embedded into the approach of transforming IEC 61499 control system but are not limited to this.
机译：为了证明在任何情况下分布式控制系统的正确行为是执行与工厂连接的控制系统的闭环验证。由于控制器不仅通过布隆值与工厂交互，而且通过整数值数据，因此还需要控制器内的数据处理模型。作为正式模型，我们将使用已知的网络条件/事件系统（NCE），并将在基本的算术操作中示例性地显示，并且在布尔和整数数据的比较中，算法中的语句如何具有转变为正式模式。结果，规则将被定义为与布尔和整数值数据处理的语句转换。这些将嵌入到转换IEC 61499控制系统的方法中，但不限于此。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号