Numerical Software Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer International Publishing

9783319542911, 9783319542928

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Falsification of Dynamical Systems – An Industrial Perspective

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-54292-8_7 ◽

2017 ◽

pp. 78-84

Author(s):

Thomas Heinz

Keyword(s):

Dynamical Systems

Download Full-text

Model Based Automatic Code Generation for Nonlinear Model Predictive Control

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-54292-8_8 ◽

2017 ◽

pp. 85-95

Author(s):

Behzad Samadi

Keyword(s):

Model Predictive Control ◽

Predictive Control ◽

Nonlinear Model ◽

Code Generation ◽

Nonlinear Model Predictive Control ◽

Automatic Code Generation ◽

Model Based ◽

Download Full-text

Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-54292-8_3 ◽

2017 ◽

pp. 31-46 ◽

Author(s):

Sidi Mohamed Beillahi ◽

Umair Siddique ◽

Sofiène Tahar

Keyword(s):

Graph Theory ◽

Formal Analysis ◽

Engineering Systems ◽

Signal Flow Graph ◽

Download Full-text

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-54292-8_5 ◽

2017 ◽

pp. 52-62

Author(s):

Alexandre Chapoutot ◽

Julien Alexandre dit Sandretto

Keyword(s):

Download Full-text

Verification of Networks of Smart Energy Systems over the Cloud

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-54292-8_1 ◽

2017 ◽

pp. 1-14 ◽

Author(s):

Alessandro Abate

Keyword(s):

Energy Systems ◽

Smart Energy Systems

Download Full-text

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-54292-8_6 ◽

2017 ◽

pp. 63-77 ◽

Author(s):

Nasrine Damouche ◽

Matthieu Martel ◽

Pavel Panchekha ◽

Chen Qiu ◽

Alexander Sanchez-Stern ◽

...

Keyword(s):

Floating Point ◽

Download Full-text

Proving Properties on PWA Systems Using Copositive and Semidefinite Programming

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-54292-8_2 ◽

2017 ◽

pp. 15-30

Author(s):

Assalé Adjé

Keyword(s):

Semidefinite Programming

Download Full-text

Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-54292-8_9 ◽

2017 ◽

pp. 96-104

Author(s):

Yassamine Seladji

Keyword(s):

Download Full-text

Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-54292-8_4 ◽

2017 ◽

pp. 47-51

Author(s):

Sylvie Boldo

Keyword(s):

Error Bound ◽

Download Full-text