Fallacies in computational testing of matrix positive definiteness/semidefiniteness
- 1 March 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Aerospace and Electronic Systems
- Vol. 26 (2) , 415-421
- https://doi.org/10.1109/7.53451
Abstract
The status of computational tests for establishing matrix positive semidefiniteness and positive definiteness is reviewed. Two pervasive real-time tests that have been used for many years in varied applications to ensure that computed covariances encountered in Kalman filter applications are positive definite and discussed. Structural representations of covariance matrices are reviewed as a prelude to constructing a counterexample and demonstrating that it refutes these real-time tests. It is maintained that the latter are bogus approaches despite the fact that they are pervasive. It is suggested that such bogus tests arose as an attempt to fill the need for a quick check (over the entire mission time) of the massive number of matrices computationally encountered in real-time applications.Keywords
This publication has 15 references indexed in Scilit:
- Misstatements of the test for positive semidefinite matricesJournal of Guidance, Control, and Dynamics, 1990
- Reply by Author to J. L. TietzeJournal of Guidance, Control, and Dynamics, 1989
- Decentralized Filtering and Redundancy Management for Multisensor NavigationIEEE Transactions on Aerospace and Electronic Systems, 1987
- The principal minor test for semidefinite matricesJournal of Guidance, Control, and Dynamics, 1986
- Inverse problems in vibrationPublished by Springer Nature ,1986
- Observability Requirements for Three-Dimensional Tracking via Angle MeasurementsIEEE Transactions on Aerospace and Electronic Systems, 1985
- Modeling and Evaluating an Empirical INS Difference Monitoring Procedure Used to Sequence SSBN Navaid FixesNAVIGATION: Journal of the Institute of Navigation, 1981
- Real-time failure detection: A nonlinear optimization problem that yields a two-ellipsoid overlap testJournal of Optimization Theory and Applications, 1977
- On Sylvester's criterion for positive-semidefinite matricesIEEE Transactions on Automatic Control, 1973
- Divergence of the Kalman filterIEEE Transactions on Automatic Control, 1971