Skip to main content
SpringerLink
Log in

Cyber Physical Systems. Design, Modeling, and Evaluation

7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Roger Chamberlain

    1. Washington University, St. Louis, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Walid Taha

    1. Halmstad University, Halmstad, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Martin Törngren

    1. 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 11267)

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

Included in the following conference series:

Conference proceedings info: CyPhy 2017.

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 (11 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  3. Design

    1. Front Matter

      Pages 9-9
      Download chapter PDF

    2. Local Descent for Temporal Logic Falsification of Cyber-Physical Systems

      • Shakiba Yaghoubi, Georgios Fainekos
      Pages 11-26

    3. Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems

      • Jeongyoon Eo, Kang-Wook Kim, Chang-Gun Lee
      Pages 27-42

    4. Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems

      • Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz
      Pages 43-60

  4. Simulation

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. Template-Based Monte-Carlo Test Generation for Simulink Models

      • Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
      Pages 63-78

    3. Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis

      • Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki
      Pages 79-82

    4. An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems

      • Hokeun Kim, Armin Wasicek, Edward A. Lee
      Pages 83-93

    5. Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles

      • Houssam Abbas, Matthew O’Kelly, Alena Rodionova, Rahul Mangharam
      Pages 94-106

  5. Formal Methods

    1. Front Matter

      Pages 107-107
      Download chapter PDF

    2. Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems

      • Kengo Kido, Sean Sedwards, Ichiro Hasuo
      Pages 109-126

    3. Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving

      • Adnan Rashid, Osman Hasan
      Pages 127-141

  6. Workshop on Embedded and Cyber-Physical Systems Education

    1. Front Matter

      Pages 143-143
      Download chapter PDF

    2. FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization

      • Chao Wang, Yuming Cheng, Lei Gong, Bo Wan, Aili Wang, Xi Li et al.
      Pages 145-158

  7. Back Matter

    Pages 159-159
    Download chapter PDF
Back to top

Other volumes

  1. Cyber Physical Systems. Design, Modeling, and Evaluation

Keywords

About this book

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. 

Editors and Affiliations

  • Washington University, St. Louis, USA

    Roger Chamberlain

  • Halmstad University, Halmstad, Sweden

    Walid Taha

  • KTH Royal Institute of Technology, Stockholm, Sweden

    Martin Törngren

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation