© 2019

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
Conference proceedings CyPhy 2017

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

Also part of the Information Systems and Applications, incl. Internet/Web, and HCI book sub series (LNISA, volume 11267)

Table of contents

  1. Front Matter
    Pages i-x
  2. Keynote

  3. Design

    1. Front Matter
      Pages 9-9
    2. Shakiba Yaghoubi, Georgios Fainekos
      Pages 11-26
    3. Jeongyoon Eo, Kang-Wook Kim, Chang-Gun Lee
      Pages 27-42
    4. Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz
      Pages 43-60
  4. Simulation

    1. Front Matter
      Pages 61-61
    2. Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
      Pages 63-78
    3. Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki
      Pages 79-82
    4. Hokeun Kim, Armin Wasicek, Edward A. Lee
      Pages 83-93
    5. Houssam Abbas, Matthew O’Kelly, Alena Rodionova, Rahul Mangharam
      Pages 94-106
  5. Formal Methods

    1. Front Matter
      Pages 107-107
    2. Kengo Kido, Sean Sedwards, Ichiro Hasuo
      Pages 109-126
  6. Workshop on Embedded and Cyber-Physical Systems Education

    1. Front Matter
      Pages 143-143
    2. Chao Wang, Yuming Cheng, Lei Gong, Bo Wan, Aili Wang, Xi Li et al.
      Pages 145-158
  7. Back Matter
    Pages 159-159

About these proceedings


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.
The 10 papers presented together  with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. 
The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. 


Modeling Simulation Verification Design Cyber-Physical Systems Embedded systems safety Real-time systems Reliability computer architecture computer vision cyber physical systems (cpss) genetic algorithms model checking robotics robots software engineering

Editors and affiliations

  1. 1.Washington UniversitySt. LouisUSA
  2. 2.Halmstad UniversityHalmstadSweden
  3. 3.KTH Royal Institute of TechnologyStockholmSweden

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment