Celebrate the holidays with Apress Access for just $/£/€ 99!

Information Systems and Applications, incl. Internet/Web, and HCI

Cyber Physical Systems. Design, Modeling, and Evaluation

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

Editors: Chamberlain, Roger, Taha, Walid, Törngren, Martin (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-030-17910-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA
  • ISBN 978-3-030-17909-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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. 

Table of contents (11 chapters)

Table of contents (11 chapters)
  • Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid

    Pages 3-7

    Hasuo, Ichiro

  • Local Descent for Temporal Logic Falsification of Cyber-Physical Systems

    Pages 11-26

    Yaghoubi, Shakiba (et al.)

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

    Pages 27-42

    Eo, Jeongyoon (et al.)

  • Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems

    Pages 43-60

    Ingibergsson, Johann Thor Mogensen (et al.)

  • Template-Based Monte-Carlo Test Generation for Simulink Models

    Pages 63-78

    Tomita, Takashi (et al.)

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-030-17910-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA
  • ISBN 978-3-030-17909-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Cyber Physical Systems. Design, Modeling, and Evaluation
Book Subtitle
7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Editors
  • Roger Chamberlain
  • Walid Taha
  • Martin Törngren
Series Title
Information Systems and Applications, incl. Internet/Web, and HCI
Series Volume
11267
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-17910-6
DOI
10.1007/978-3-030-17910-6
Softcover ISBN
978-3-030-17909-0
Edition Number
1
Number of Pages
X, 159
Number of Illustrations
39 b/w illustrations, 31 illustrations in colour
Topics