Automating the implementation of Kalman filter algorithms

ACM Transactions on Mathematical Software

Volumn 30, Issue 4, 2004, Pages 434-453

  Whittle, Jon ^a   Schumann, Johann ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

Automatic programming; Code generation; Kalman filters; State estimation

Indexed keywords

CODE GENERATION; DEEP SPACE ATTITUDE ESTIMATION; KALMAN FILTER ALGORITHMS; LIBRARY FUNCTIONS;

ALGORITHMS; AUTOMATIC PROGRAMMING; AUTOMATION; DATA STRUCTURES; DECISION THEORY; DIFFERENTIAL EQUATIONS; ENCODING (SYMBOLS); FUNCTIONS; LIBRARIES; MATHEMATICAL MODELS; STATE ESTIMATION;

KALMAN FILTERING;

EID: 12744267748     PISSN: 00983500     EISSN: None     Source Type: Journal    
DOI: 10.1145/1039813.1039816     Document Type: Article

References (17)

1. AKERS, R., KANT, E., RANDALL, C., STEINBERG, S., AND YOUNG, R. 1997. SciNapse: A problem-solving environment for partial differential equations. IEEE Comp. Sci. Eng. 4, 3, 32-42.
2. BROWN, R. G. AND HWANG, P. 1997. Introduction to Random Signals and Applied Kalman Filtering. John Wiley & Sons.
3. CLOCKSIN, W. F. AND MELLISH, C. S. 1984. Programming in Prolog. Springer Verlag.
4. DOUCET, A., DE FREITAS, N., AND GORDON, N. 2001. Sequential Monte Carlo Methods in Practice. Springer Verlag.
5. ELLMAN, T., DEAK, R., AND FOTINATOS, J. 2002. Knowledge-based synthesis of numerical simulation programs for rigid-body in physics based animation. In The 17th IEEE International Conference on Automated Software Engineering. IEEE Computer Society.
6. ELLMAN, T. AND MURATA, T. 1998. Deductive synthesis of numerical simulation programs from algebraic and ordinary differential equations. In The 13th IEEE International Conference on Automated Software Engineering. IEEE Computer Society.
7. FISCHER, B., SCHUMANN, J., AND PRESSBURGER, T. 2000. Generating data analysis programs from statistical models. In Workshop on Semantics, Applications, and Implementation of Program Generation, W. Taha, Ed. Springer, 212-229.
8. GREWAL, M. AND ANDREWS, A. 1993. Kalman filtering: Theory and Practice. Prentice Hall.
9. LEFFERTS, E., MARKLEY, F., AND SHUSTER, M. 1982. Kalman filtering for spacecraft attitude estimation. J. Guidance and Control 5, 5, 417-429.
10. MURPHY, K. 2002. Kalman filter toolbox http://www.ai.mit.edu/~murphyk/ software/kalman/kalman.html.
11. NOORGAARD, M. 2002. The KALMTOOL toolbox: http://www.iau.dtu.dk/ researcli/control/kalmtool.html, Octave 2003. GNU Octave http://www.octave.org.
12. ROSU, G. AND WHITTLE, J. 2002a. Towards certifying domain specific properties of synthesized code. In Verification and Computational Logic (VCL02). Pittsburgh, PA.
13. ROSU, G. AND WHITTLE, J. 2002b. Towards certifying domain specific properties of synthesized code - extended abstract. In Proceedings of the Conference on Automated Software Engineering (ASE02). Edinburgh, UK.
14. ROUMELIOTIS, S., SUKHATME, G., AND BEKEY, G. 1998. Fault detection and isolation in a mobile robot using multiple-model estimation. In IEEE International Conference on Robotics and Automation. IEEE Computer Society, 2223-2228.
15. VAN DER MERWE, R. AND WAN, E. 2003. ReBEL: Recursive Bayesian estimation library http://choosh.ece.ogi.edu/rebel/index.html.
16. WAN, E. AND VAN DER MERWE, R. 2000. The Unscented Kalman filter for nonlinear estimation. In Proceedings of 2000 Symposium on Adaptive Systems for Signal Processing, Communication and Control (AS-SPCC).
17. WHALEN, M., SCHUMANN, J., AND FISCHER, B. 2002. Synthesizing certified code. In Formal Methods Europe. Springer, 431-450.