首页> 外文学位 >Runtime Monitoring of Cyber-Physical Systems Using Data-driven Models

【24h】

Runtime Monitoring of Cyber-Physical Systems Using Data-driven Models

机译：使用数据驱动模型运行时监视网络物理系统

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Calvi, Michele Giovanni.;
展开▼
作者单位

University of Illinois at Chicago.;

展开▼
授予单位 University of Illinois at Chicago.;
学科
学位 M.S.
年度 2019
页码 74 p.
总页数 74
原文格式 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. Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints [J] . Medhat Ramy, Bonakdarpour Borzoo, Kumar Deepak, ACM Transactions on Embedded Computing Systems . 2015,第4期

机译：在时序和内存约束下的电子物理系统运行时监视
3. ModelPlex: verified runtime validation of verified cyber-physical system models [J] . Mitsch Stefan, Platzer Andre Formal Methods in System Design . 2016,第1a2期

机译：ModelPlex：已验证验证网络 - 物理系统模型的运行时验证
4. Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems [C] . Michael Vierhauser, Hussein Marah, Antonio Garmendia, International Conference on Software Engineering: New Ideas and Emerging Results . 2021

机译：迈向网络 - 物理系统的模型 - 集成运行时监控基础架构
5. Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis [D] . Rokka Chhetri, Sujit. 2019

机译：使用侧通道分析的网络物理系统的数据驱动建模
6. Technical Report: Towards a Systematic Threat Modeling Approach for Cyber-physical Systems [O] . Goncalo Martins, Sajal Bhatia, Xenofon Koutsoukos, -1

机译：技术报告：迈向网络物理系统的系统性威胁建模方法
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进行网络 - 物理系统运行时监控的分布式图
8. ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. [R] . Mitsch, S., Platzer, A. 2014

机译：modelplex：已验证的网络物理系统模型的运行时验证。

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号