↓ Skip to main content
What is this page? Embed badge

Cyber Physical Systems. Model-Based Design

Overview of attention for book
Cover of 'Cyber Physical Systems. Model-Based Design'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Modular SystemC RTOS Model for Uncertainty Analysis
  3. Altmetric Badge
    Chapter 2 Multicore Models of Communication for Cyber-Physical Systems
  4. Altmetric Badge
    Chapter 3 Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand
  5. Altmetric Badge
    Chapter 4 Reactors: A Deterministic Model for Composable Reactive Systems
  6. Altmetric Badge
    Chapter 5 Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
  7. Altmetric Badge
    Chapter 6 Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation
  8. Altmetric Badge
    Chapter 7 Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems
  9. Altmetric Badge
    Chapter 8 Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI
  10. Altmetric Badge
    Chapter 9 Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction
  11. Altmetric Badge
    Chapter 10 Towards Formal Co-validation of Hardware and Software Timing Models of CPSs
  12. Altmetric Badge
    Chapter 11 A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course
  13. Altmetric Badge
    Chapter 12 An Embedded Graduate Lab Course with Spirit
  14. Altmetric Badge
    Chapter 13 Competence Networks in the Era of CPS – Lessons Learnt in the ICES Cross-Disciplinary and Multi-domain Center
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
7 X users

Citations

dimensions_citation
1 Dimensions
Summary X Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Cyber Physical Systems. Model-Based Design
Published by
Springer International Publishing, April 2020
DOI 10.1007/978-3-030-41131-2
ISBNs
978-3-03-041130-5, 978-3-03-041131-2
Editors

Chamberlain, Roger, Edin Grimheden, Martin, Taha, Walid

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 7 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.