↓ Skip to main content

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
Attention for Chapter 4: Reactors: A Deterministic Model for Composable Reactive Systems
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
14 Mendeley
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.
Chapter title
Reactors: A Deterministic Model for Composable Reactive Systems
Chapter number 4
Book title
Cyber Physical Systems. Model-Based Design
Published by
Springer, Cham, October 2019
DOI 10.1007/978-3-030-41131-2_4
Book ISBNs
978-3-03-041130-5, 978-3-03-041131-2
Authors

Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, Alberto Sangiovanni-Vincentelli, Lohstroh, Marten, Romeo, Íñigo Íncer, Goens, Andrés, Derler, Patricia, Castrillon, Jeronimo, Lee, Edward A., Sangiovanni-Vincentelli, Alberto

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 14 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 14 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 36%
Lecturer 2 14%
Student > Doctoral Student 1 7%
Student > Master 1 7%
Researcher 1 7%
Other 0 0%
Unknown 4 29%
Readers by discipline Count As %
Computer Science 9 64%
Engineering 1 7%
Unknown 4 29%