𝔖 Scriptorium
✦   LIBER   ✦
📁

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

✍ Scribed by Roger Chamberlain, Walid Taha, Martin Törngren

Publisher
Springer International Publishing
Year
2019
Tongue
English
Leaves
237
Series
Lecture Notes in Computer Science 11615
Edition
1st ed.
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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

✦ Subjects

Computer Science; Information Systems Applications (incl.Internet); Special Purpose and Application-Based Systems; Computer System Implementation; Computing Milieux; Control Structures and Microprogramming

📜 SIMILAR VOLUMES

Cyber Physical Systems. Design, Modeling
📁 Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
✍ Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski (eds.) 📂 Library 📅 2017 🏛 Springer International Publishing 🌐 English

<p>This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.<br>The 19 papers presented in this volume were carefully reviewed and sele

Cyber Physical Systems. Design, Modeling
📁 Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
✍ Roger Chamberlain, Walid Taha, Martin Törngren 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

<p>This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.<br>The 10 papers presented together with 1 extended and 1 invited abstrac

Cyber Physical Systems. Design, Modeling
📁 Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
✍ Mohammad Reza Mousavi, Christian Berger (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

<p><p>This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015. </p><p>The 10 papers presented in this volume were carefully reviewed

Cyber Physical Systems. Model-Based Desi
📁 Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, ... Applications, incl. Internet/Web, and HCI)
✍ Roger Chamberlain (editor), Martin Edin Grimheden (editor), Walid Taha (editor) 📂 Library 📅 2020 🏛 Springer 🌐 English

<span>This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in O

System Analysis and Modeling: About Mode
📁 System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
✍ Philipp Becker, Marc Krämer (auth.), Frank Alexander Kraemer, Peter Herrmann (ed 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improveme

System Analysis and Modeling: About Mode
📁 System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
✍ Philipp Becker, Marc Krämer (auth.), Frank Alexander Kraemer, Peter Herrmann (ed 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improveme