Exact methodology for testing linear system software using idempotent matrices and other closed-form analytic results

Thomas Henderson Kerr III

doi:10.1117/12.492762

26 November 2001 Exact methodology for testing linear system software using idempotent matrices and other closed-form analytic results

Thomas Henderson Kerr III

Author Affiliations +

Proceedings Volume 4473, Signal and Data Processing of Small Targets 2001; (2001) https://doi.org/10.1117/12.492762
Event: International Symposium on Optical Science and Technology, 2001, San Diego, CA, United States

Abstract

We alert the reader here to a variety of structural properties associated with idempotent matrices that make them extremely useful in the verification/validation testing of general purpose control and estimation related software. A rigorous general methodology is provided here along with its rationale to justify use of idempotent matrices in conjunction with other tests (for expedient full functional coverage) as the basis of a coherent general strategy of software validation for these particular types of applications. The techniques espoused here are universal and independent of the constructs of particular computer languages and were honed from years of experience in cross-checking Kalman filter implementations in several diverse commercial and military applications. While standard Kalman implementaion equations were originally derived by Rudolf E. Kalman in 1960 using the Projection Theorem in a Hilbert Space context (with prescribed inner product related to expectations), there are now comparable Kalman filter results for systems described by partial differential equations (e.g., arising in some approaches to image restoration or with some distributed sensor situations for environmental toxic effluent monitoring) involving a type of Riccati-like PDE formulations is within a Banach Space (being norm-based) and there are generalizations of idempotent matrices similar to those offered herein for these spaces as well that allow closed-form test solutions for infinite dimensional linear systems to verify and confirm proper PDE implementations in S/W code. Other closed-form test case extensions discussed earlier by the author have been specifically tailored for S/W verification of multichannel maximum entropy power spectral estimation algorithms and of approximate nonlinear estimation implementations of Extended Kalman filtering and for Batch Least Squares (BLS) filters, respectively.

Citation Download Citation

Thomas Henderson Kerr III "Exact methodology for testing linear system software using idempotent matrices and other closed-form analytic results", Proc. SPIE 4473, Signal and Data Processing of Small Targets 2001, (26 November 2001); https://doi.org/10.1117/12.492762

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available