A word in response to the corona virus crisis: Your print orders will be fulfilled, even in these challenging times. If you don’t want to wait – have a look at our ebook offers and start reading immediately.

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

Cyber Physical Systems. Model-Based Design

9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

Editors: Chamberlain, Roger, Edin Grimheden, Martin, Taha, Walid (Eds.)

Free Preview

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-030-41131-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-030-41130-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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 October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.

Table of contents (13 chapters)

Table of contents (13 chapters)
  • A Modular SystemC RTOS Model for Uncertainty Analysis

    Pages 3-27

    Lazzara, Lorenzo (et al.)

  • Multicore Models of Communication for Cyber-Physical Systems

    Pages 28-43

    Schoeberl, Martin

  • Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand

    Pages 44-58

    Zandigohar, Mehrshad (et al.)

  • Reactors: A Deterministic Model for Composable Reactive Systems

    Pages 59-85

    Lohstroh, Marten (et al.)

  • Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems

    Pages 89-107

    Rousse, Paul (et al.)

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-030-41131-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-030-41130-5
  • 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. Model-Based Design
Book Subtitle
9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers
Editors
  • Roger Chamberlain
  • Martin Edin Grimheden
  • Walid Taha
Series Title
Information Systems and Applications, incl. Internet/Web, and HCI
Series Volume
11971
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-41131-2
DOI
10.1007/978-3-030-41131-2
Softcover ISBN
978-3-030-41130-5
Edition Number
1
Number of Pages
XII, 285
Number of Illustrations
113 b/w illustrations, 57 illustrations in colour
Topics