• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Discrete event dynamic systems: Theory and applications >Hybrid systems tools for compiling controllers for cyber-physical systems
【24h】

Hybrid systems tools for compiling controllers for cyber-physical systems

机译：混合系统工具，用于编译网络物理系统的控制器

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper, we consider the problem of going from high-level specifications of complex control tasks for cyber-physical systems to their actual implementation and execution on physical devices. This transition between abstraction levels inevitably results in a specification-to-execution gap, and we discuss two sources for this gap; namely model based and constraint based. For both of these two types of sources, we show how hybrid control techniques provide the tools needed to compile high-level control programs in such a way that the specification-to-execution gap is removed. The solutions involve introducing new control modes into nominal strings of control modes as well as adjusting the control modes themselves.
机译：在本文中，我们考虑了从对网络物理系统的复杂控制任务的高级规范到它们在物理设备上的实际实现和执行的问题。抽象级别之间的这种过渡不可避免地会导致规范到执行的差距，我们讨论了这种差距的两个来源。即基于模型和基于约束。对于这两种类型的源，我们将展示混合控制技术如何以消除规范与执行之间的差距的方式提供编译高级控制程序所需的工具。解决方案包括将新的控制模式引入标称的控制模式串，以及调整控制模式本身。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号