...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Automatic Control, IEEE Transactions on >Supporting Heterogeneity in Cyber-Physical Systems Architectures
【24h】

Supporting Heterogeneity in Cyber-Physical Systems Architectures

机译：支持网络物理系统体系结构中的异构性

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

摘要

Cyber-physical systems (CPS) are heterogeneous, because they tightly couple computation, communication, and control along with physical dynamics, which are traditionally considered separately. Without a comprehensive modeling formalism, model-based development of CPS involves using a multitude of models in a variety of formalisms that capture various aspects of the system design, such as software design, networking design, physical models, and protocol design. Without a rigorous unifying framework, system integration and integration of the analysis results for various models remains ad hoc. In this paper, we propose a multi-view architecture framework that treats models as views of the underlying system structure and uses structural and semantic mappings to ensure consistency and enable system-level verification in a hierarchical and compositional manner. Throughout the paper, the theoretical concepts are illustrated using two examples: a quadrotor and an automotive intersection collision avoidance system.
机译：网络物理系统（CPS）是异构的，因为它们将计算，通信和控制与物理动力学紧密地耦合在一起，而传统上将它们分开考虑。如果没有全面的建模形式主义，CPS的基于模型的开发将涉及在各种形式主义中使用多种模型，这些形式主义捕获了系统设计的各个方面，例如软件设计，网络设计，物理模型和协议设计。如果没有严格的统一框架，系统集成和各种模型分析结果的集成仍然是临时的。在本文中，我们提出了一个多视图体系结构框架，该模型将模型视为底层系统结构的视图，并使用结构和语义映射来确保一致性并以分层和组合的方式启用系统级验证。在整个论文中，使用两个示例说明了理论概念：四旋翼和汽车相交避免碰撞系统。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号