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

Cyber Physical Systems. Design, Modeling, and Evaluation

Overview of attention for book
Cover of 'Cyber Physical Systems. Design, Modeling, and Evaluation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid
  3. Altmetric Badge
    Chapter 2 Local Descent for Temporal Logic Falsification of Cyber-Physical Systems
  4. Altmetric Badge
    Chapter 3 Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems
  5. Altmetric Badge
    Chapter 4 Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems
  6. Altmetric Badge
    Chapter 5 Template-Based Monte-Carlo Test Generation for Simulink Models
  7. Altmetric Badge
    Chapter 6 Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis
  8. Altmetric Badge
    Chapter 7 An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems
  9. Altmetric Badge
    Chapter 8 Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles
  10. Altmetric Badge
    Chapter 9 Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems
  11. Altmetric Badge
    Chapter 10 Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving
  12. Altmetric Badge
    Chapter 11 FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X

This page is provided by Altmetric.