Compositional analysis of floating-point linear numerical filters

DOI10.1007/11513988_21MaRDI QIDQ5716559zbMATH OpenOpenAlexFDO

Authors David Monniaux

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b138445

Mathematics Subject Classification ID

Filtering in stochastic control theory (93E11) Signal theory (characterization, reconstruction, filtering, etc.) (94A12)

Recommendations

• Programming Languages and Systems
• A Coq formalization of digital filters
• Error analysis of digital filters using theorem proving
• A bit too precise? Bounded verification of quantized digital filters
• Absolute response error bounds for floating point digital filters in state space representation

Cited in

(9)

• A Coq formalization of digital filters
• A bit too precise? Bounded verification of quantized digital filters
• A generic ellipsoid abstract domain for linear time invariant systems
• Acceleration of the abstract fixpoint computation in numerical program analysis
• Deciding floating-point logic with abstract conflict driven clause learning
• Programming Languages and Systems
• Error analysis of digital filters using theorem proving
• A zonotopic framework for functional abstractions
• Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case

This page was built for publication: Compositional analysis of floating-point linear numerical filters

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