Certifying optimality of state estimation programs.

DOI10.1007/B11831MaRDI QIDQ5900686zbMATH OpenOpenAlexFDO

Authors Grigore Roşu, Ram Prasad Venkatesan, Jon Whittle, Laurenţiu Leuştean

Publication date 20 April 2010

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Estimation and detection in stochastic control theory (93E10)

Recommendations

• Automating the implementation of Kalman filter algorithms
• Quantitative verification of Kalman filters
• Remarks on the Kalman filtering simulation and verification
• Deterministic optimal state estimation / Deterministische optimale Zustandsschätzung
• Optimization of the algorithms of guaranteed state estimation of dynamic systems

Cited in

(5)

• A rewriting logic approach to operational semantics
• Quantitative verification of Kalman filters
• The rewriting logic semantics project: a progress report
• Quantitative verification of numerical stability for Kalman filters
• The rewriting logic semantics project

Describes a project that uses

Uses Software

• SciNapse
• SIMPLIFY
• Maude
• Specware
• AutoFilter

This page was built for publication: Certifying optimality of state estimation programs.

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