首页> 美国政府科技报告 >FORMAL MODELING, MONITORING, AND CONTROL OF EMERGENCE IN DISTRIBUTED CYBER PHYSICAL SYSTEMS.

【24h】

FORMAL MODELING, MONITORING, AND CONTROL OF EMERGENCE IN DISTRIBUTED CYBER PHYSICAL SYSTEMS.

机译：分布式物理系统中出现的形式建模，监测和控制。

获取原文

页面导航

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

著录项

作者
Johnson, T. T.;
展开▼
作者单位

展开▼
年度 2018
页码 1-367
总页数 367
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems [J] . Bur Marton, Szilagyi Gabor, Voros Andras, International Journal on Software Tools for Technology Transfer . 2020,第1期

机译：通过models@run.time进行分布式图形查询，以监视网络物理系统
2. Formal modeling and control of cyber-physical manufacturing systems: [J] . Zhenhua Yu, Jie Ouyang, Sisi Li, Advances in Mechanical Engineering . 2017,第10期

机译：网络物理制造系统的正式建模和控制：
3. Modeling of Future Cyber–Physical Energy Systems for Distributed Sensing and Control [J] . Ilic M. D., Xie L., Khan U. A., Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on . 2010,第4期

机译：用于分布式传感和控制的未来网络-物理能源系统建模
4. Distributed Ledger Technology and Cyber-Physical Systems. Multi-agent Systems. Concepts and Trends [C] . Dmitry Arsenjev, Dmitry Baskakov, Vyacheslav Shkodyrev International Conference on Computational Science and Its Applications . 2019

机译：分布式分类帐技术和网络物理系统。多代理系统。概念与趋势
5. Formal Semantic Specification of Domain-Specific Modeling Languages for Cyber-Physical Systems. [D] . Simko, Gabor. 2014

机译：电子物理系统领域特定建模语言的形式语义规范。
6. Formal Verification of Control Modules in Cyber-Physical Systems [O] . Iwona Grobelna 2020

机译：网络物理系统中控制模块的正式验证
7. Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems [O] . Márton Búr, Gábor Szilágyi, András Vörös, 2019

机译：通过Models@run.time进行网络 - 物理系统运行时监控的分布式图

FORMAL MODELING, MONITORING, AND CONTROL OF EMERGENCE IN DISTRIBUTED CYBER PHYSICAL SYSTEMS.

著录项

引文网络

相似文献

相关主题

期刊订阅