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

Numerical Software Verification

Overview of attention for book
Cover of 'Numerical Software Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Verification of Networks of Smart Energy Systems over the Cloud
  3. Altmetric Badge
    Chapter 2 Proving Properties on PWA Systems Using Copositive and Semidefinite Programming
  4. Altmetric Badge
    Chapter 3 Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory
  5. Altmetric Badge
    Chapter 4 Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest
  6. Altmetric Badge
    Chapter 5 Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
  7. Altmetric Badge
    Chapter 6 Toward a Standard Benchmark Format and Suite for Floating-Point Analysis
  8. Altmetric Badge
    Chapter 7 Falsification of Dynamical Systems – An Industrial Perspective
  9. Altmetric Badge
    Chapter 8 Model Based Automatic Code Generation for Nonlinear Model Predictive Control
  10. Altmetric Badge
    Chapter 9 Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method
Attention for Chapter 8: Model Based Automatic Code Generation for Nonlinear Model Predictive Control
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

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

2

The most recent citing publications are shown below. View all 2 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.