↓ 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 5: Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
Altmetric Badge

Citations

dimensions_citation
2 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
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
Chapter number 5
Book title
Numerical Software Verification
Published by
Springer, Cham, July 2016
DOI 10.1007/978-3-319-54292-8_5
Book ISBNs
978-3-31-954291-1, 978-3-31-954292-8
Authors

Alexandre Chapoutot, Julien Alexandre dit Sandretto

View on publisher site

This page is provided by Altmetric.