Digital filtering methods, with applications to satellite attitude determination in the presence of modelling errors. Part I: theory

The report reviews a number of digital filtering methods and gives examples of their application. The methods include batch processing methods and rec\irsive methods, not only in the classical formulations but also in square-root formulations. The latter formulations have the purpose to prevent certain numerical inconveniences. Much attention is...