By Topic

Use of idempotent matrices to validate linear systems software

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Kerr, T.H. ; MIT, Lincoln Lab., Lexington, MA, USA

In seeking to verify various computer implementations of Kalman filters, the extended Kalman filter (EKF), or other algorithms that rely on the same fundamental computations in a variety of different applications, it is useful to first validate software performance using low-dimensional test problems of known solution. Besides reporting the state-of-the-art in computing the critical fundamental linear system building blocks in a simple manner that is easy to understand, the author describes the easy construction of nontrivial test cases of known solution, provides a rigorous demonstration of how to augment/concatenate several low-dimensional test problems of known solution to comprise a higher-dimensional system of known solution that is also to be used in software test and validation/verification, and presents the computation of a closed-form exact optimal control solution that can also be used to validate software

Published in:

Aerospace and Electronic Systems, IEEE Transactions on  (Volume:26 ,  Issue: 6 )