State Estimation of Non-monotonic, Partially Non-deterministic Software with Sparse Probing using an Unscented Kalman Filter combined with Logic Reasoning
MetadataShow full item record
This report describes a technique for assessing the state of a general-purpose system using partial probing. The technique utilizes an Unscented Kalman Filter (UKF) combined with in-process and post-process reasoning. While Kalman Filters (KF) Extended Kalman Filres (EKF), and UKF are typically applied to state-space systems, where an underlying theory provides the a-priori knowledge, this report suggests the application of UKF to monitor general-purpose software systems that do not have an underlying first-principles theory. The suggested technique uses a reasoning component compute the a-priori evaluation. An important aspect differentiating state-space systems from general-purpose software is that the latter is often concurrent, with a plurality or concurrently executing threads, processes, or devices. As a result, relative execution time of these components (and the derivative state space) is for all intents and purposes non-deterministic. In addition, the suggested technique enables monitoring with probing that is sparse in time and space namely, probing that occurs only one in n cycles or probing that only probes a subset of the software-systems state-space
NPS Report NumberNPS-CS-13-004
Showing items related by title, author, creator and subject.
Sekhavat, Pooya; Ross, I. Michael; Gong, Qi (IEEE, 2007-07-11);NPSAT1 is a small satellite being built at the Naval Postgraduate School and scheduled to launch in 2007. It primarily employs magnetic sensing and actuation for attitude control. The nature of the in-house fabrication and ...
Kalman filter estimation of underwater vehicle position and attitude using a Doppler velocity aided inertial motion unit. Leader, Daniel Eugene. (Monterey, California. Naval Postgraduate School, 1994-09);This Paper explores the use of an extended Kalman filter to provide real-time estimates of underwater vehicle position and attitude. The types of previously available sensors are detailed including strapdown accelerometers, ...