Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Roger Chamberlain

    1. Computer Science and Engineering, Washington University, St. Louis, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Walid Taha

    1. School of Information Technology, Halmstad University, Halmstad, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Martin Törngren

    1. Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11615)

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Design

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems

      • Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
      Pages 3-27

    3. Challenges in Digital Twin Development for Cyber-Physical Production Systems

      • Heejong Park, Arvind Easwaran, Sidharta Andalam
      Pages 28-48

  3. Simulation and Tools

    1. Front Matter

      Pages 49-49
      Download chapter PDF

    2. Subjecting Legacy Simulink Models to Timing Specifications

      • Andreas Naderlinger
      Pages 51-70

    3. Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)

      • Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil
      Pages 71-90

    4. 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

  4. Formal Methods

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    2. 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

    3. CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems

      • Manuela L. Bujorianu
      Pages 134-153

    4. Controlled Recurrence of a Biped with Torso

      • Adrien Le Coënt, Laurent Fribourg
      Pages 154-169

    5. A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification

      • Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp
      Pages 170-189

  5. Workshop on Embedded and Cyber-Physical Systems Education

    1. Front Matter

      Pages 191-191
      Download chapter PDF

    2. 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

    3. Computers Interacting with the Physical World: A First-Year Course

      • Roger D. Chamberlain, Ron K. Cytron, Doug Shook, Bill Siever
      Pages 197-205

    4. 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

    5. MicroITS: A Scaled-Down ITS Platform

      • Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha
      Pages 214-221

    6. Further Experiences Teaching an FPGA-Based Embedded Systems Class

      • Stephen A. Edwards
      Pages 222-230

  6. Back Matter

    Pages 231-231
    Download chapter PDF
Back to top

Other volumes

  1. Cyber Physical Systems. Model-Based Design

Keywords

About this book

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.

Editors and Affiliations

  • Computer Science and Engineering, Washington University, St. Louis, USA

    Roger Chamberlain

  • School of Information Technology, Halmstad University, Halmstad, Sweden

    Walid Taha

  • Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden

    Martin Törngren

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation