↓ 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 9: A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
2 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
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
Chapter number 9
Book title
Cyber Physical Systems. Model-Based Design
Published by
Springer, Cham, October 2018
DOI 10.1007/978-3-030-23703-5_9
Book ISBNs
978-3-03-023702-8, 978-3-03-023703-5
Authors

Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp

View on publisher site

This page is provided by Altmetric.