scientific article; zbMATH DE number 1440913

MaRDI QIDQ4949356zbMATH OpenFDO

Authors Klaus Musch, Günter Schumacher

Publication date 8 May 2000

zbMATH Keywords

automatic differentiationcondition analysisinterval analysisinterval arithmeticranges of valuessoftware testing

Mathematics Subject Classification ID

Numerical differentiation (65D25) General methods in interval analysis (65G40) Symbolic computation and algebraic computation (68W30)

Recommendations

• Verification of embedded systems based on interval analysis
• Dynamic interval systems analysis and design
• scientific article; zbMATH DE number 5583288
• Applied interval computation: A new approach for time-delays systems analysis
• Analysis of systems subject to parameter uncertainties: Application of interval analysis
• Approximating Behaviors in Embedded System Design
• scientific article; zbMATH DE number 865175
• Robust analysis and design of control systems using interval arithmetic

Cited in

(3)

• Verification of embedded systems based on interval analysis
• Automatic test case generation using interval arithmetic
• Testing interval arithmetic libraries, including their IEEE-1788 compliance

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4949356)