↓ 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 Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems
  3. Altmetric Badge
    Chapter 2 Challenges in Digital Twin Development for Cyber-Physical Production Systems
  4. Altmetric Badge
    Chapter 3 Subjecting Legacy Simulink Models to Timing Specifications
  5. Altmetric Badge
    Chapter 4 Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)
  6. Altmetric Badge
    Chapter 5 A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)
  7. Altmetric Badge
    Chapter 6 Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga
  8. Altmetric Badge
    Chapter 7 CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems
  9. Altmetric Badge
    Chapter 8 Controlled Recurrence of a Biped with Torso
  10. Altmetric Badge
    Chapter 9 A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
  11. Altmetric Badge
    Chapter 10 Introducing IoT Subjects to an Existing Curriculum. An Ongoing Experience at the Faculty of the Technology Management - HIT
  12. Altmetric Badge
    Chapter 11 Computers Interacting with the Physical World: A First-Year Course
  13. Altmetric Badge
    Chapter 12 CPS/IoT Ecosystem: A Platform for Research and Education
  14. Altmetric Badge
    Chapter 13 MicroITS: A Scaled-Down ITS Platform
  15. Altmetric Badge
    Chapter 14 Further Experiences Teaching an FPGA-Based Embedded Systems Class
Attention for Chapter 11: Computers Interacting with the Physical World: A First-Year Course
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
Summary 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.
Chapter title
Computers Interacting with the Physical World: A First-Year Course
Chapter number 11
Book title
Cyber Physical Systems. Model-Based Design
Published by
Springer, Cham, October 2018
DOI 10.1007/978-3-030-23703-5_11
Book ISBNs
978-3-03-023702-8, 978-3-03-023703-5
Authors

Roger D. Chamberlain, Ron K. Cytron, Doug Shook, Bill Siever, Chamberlain, Roger D., Cytron, Ron K., Shook, Doug, Siever, Bill

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 100%
Other 1 100%
Readers by discipline Count As %
Computer Science 2 200%

This page is provided by Altmetric.