menu 简单麦麦
account_circle

网络物理系统。基于模型的设计:第8届国际研讨会,CyPhy 2018,和第14届国际研讨会,WESE 2018,都灵,意大利,2018年10月4-5日,修订了部分论文-Cyber Physical S

帮助2571人找到了他们想要的文件
上传于 2020-03-02 9次下载 2552次围观
文件编号:6551
文件详情
标题(title):Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
网络物理系统。基于模型的设计:第8届国际研讨会,CyPhy 2018,和第14届国际研讨会,WESE 2018,都灵,意大利,2018年10月4-5日,修订了部分论文
作者(author):Roger Chamberlain, Walid Taha, Martin Törngren
出版社(publisher):Springer International Publishing
大小(size):17 MB (17915046 bytes)
格式(extension):pdf
注意:如果文件下载完成后为无法打开的格式,请修改后缀名为格式对应后缀


This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.

Table of contents :
Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems (Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani)....Pages 3-27
Challenges in Digital Twin Development for Cyber-Physical Production Systems (Heejong Park, Arvind Easwaran, Sidharta Andalam)....Pages 28-48
Front Matter ....Pages 49-49
Subjecting Legacy Simulink Models to Timing Specifications (Andreas Naderlinger)....Pages 51-70
Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations) (Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil)....Pages 71-90
A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration) (Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer)....Pages 91-110
Front Matter ....Pages 111-111
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga (Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikučionis, Jakob Haahr Taankvist)....Pages 113-133
CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems (Manuela L. Bujorianu)....Pages 134-153
Controlled Recurrence of a Biped with Torso (Adrien Le Coënt, Laurent Fribourg)....Pages 154-169
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification (Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp)....Pages 170-189
Front Matter ....Pages 191-191
Introducing IoT Subjects to an Existing Curriculum. An Ongoing Experience at the Faculty of the Technology Management - HIT (Sofia Amador Nelke, Michael Winokur)....Pages 193-196
Computers Interacting with the Physical World: A First-Year Course (Roger D. Chamberlain, Ron K. Cytron, Doug Shook, Bill Siever)....Pages 197-205
CPS/IoT Ecosystem: A Platform for Research and Education (Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch et al.)....Pages 206-213
MicroITS: A Scaled-Down ITS Platform (Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha)....Pages 214-221
Further Experiences Teaching an FPGA-Based Embedded Systems Class (Stephen A. Edwards)....Pages 222-230
Back Matter ....Pages 231-231
-到底部了哦-
微信扫码支付
网络物理系统。基于模型的设计:第8届国际研讨会,CyPhy 2018,和第14届国际研讨会,WESE 2018,都灵,意大利,2018年10月4-5日,修订了部分论文-Cyber Physical S
支付金额: 共计:¥0.0

添加收藏

创建新合集