↓ 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 5: A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 3 publications that cite this research output.

3

The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.