首页>外文会议>其他>Workshop on design, modeling, and evaluation of cyber physical systems

Workshop on design, modeling, and evaluation of cyber physical systems

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Christian Berger;Mohammad Reza Mousavi
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年
2.Resource-Aware Control and Dynamic Scheduling in CPS

机译：CP中的资源感知控制和动态调度
- 作者：W.P.M.H. Heemels
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年
3.A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems

机译：新型列车控制系统中速度和距离监测的参数数据流模型
- 作者：Benjamin Beichler;Thorsten Schulz;Christian Haubelt;Prank Golatowski
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年
4.Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability

机译：使用最大可靠性能量消耗行为的故障定位
- 作者：Shin Nakajima;Si-Mohamed Lamraoui
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年
5.Recharging Probably Keeps Batteries Alive

机译：充电可能让电池保持活力
- 作者：Holger Hermanns;Jan Krcal;Gilles Nies
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年
6.Core Research and Innovation Areas in Cyber-Physical Systems of Systems Initial Findings of the CPSoS Project

机译：科技系统的网络系统核心研究和创新领域CPSOS项目的初步调查结果
- 作者：S. Engell;R. Paulen;M.A. Reniers;C. Sonntag;H. Thompson
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年
7.A Modelling Framework for Cyber-Physical System Resilience

机译：网络物理系统弹性建模框架
- 作者：Manuela L. Bujorianu;Nir Piterman
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年
8.Current Challenges in the Verification of Hybrid Systems

机译：混合系统验证时的当前挑战
- 作者：Stefan Schupp;Erika Abraham;Xin Chen;Ibtissem Ben Makhlouf;Goran Frehse;Sriram Sankaranarayanan;Stefan Kowalewski
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年
- Hybrid systems;
- Verification;
- Reachability analysis;
- Tool support;
- Benchmarks;
9.Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations

机译：正式分析均匀线性微分方程建模的网络物理系统的连续方面
- 作者：Muhammad Usman Sanwal;Osman Hasan
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年
10.Hybrid Secure Data Aggregation in Wireless Sensor Networks

机译：无线传感器网络中的混合安全数据聚合
- 作者：Keyur Parmar;Devesh C. Jinwala
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年
- Wireless sensor networks;
- Security;
- Secure data aggregation;
- Privacy homomorphism;
- Communication overhead;
11.Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems

机译：平行化环境模型的建设性建模，用于自动化驾驶系统结构测试
- 作者：Sebastian Siegl;Martin Russer
- 会议名称：《Workshop on design, modeling, and evaluation of cyber physical systems》 | 2015年