Kalman filtering is a classic state estimation technique used widely in engineering applications such as statistical signal processing and control of vehicles. It is now being used to solve problems in computer systems, such as controlling the voltage and frequency of processors to minimize energy while meeting throughput requirements. Although there are many presentations of Kalman filtering i...

Visual contour tracking in complex background is a difficult task. The measurement model is often nonlinear due to clutter in images. Traditional visual tracker based on Kalman filter employs simple linear measurement model, and often collapses in tracking process. The paper presents a new contour tracker based on Unscented Kalman filter that is superior to extended Kalman filter both in theory...

In 1963, the mathematician and meteorologist Edward Lorenz published a paper (Lorenz 1963 J. Atmos. Sci. 20, 130-141) that changed the way scientists think about the prediction of geophysical systems, by introducing the ideas of chaos, attractors, sensitivity to initial conditions and the limitations to forecasting nonlinear systems. Three years earlier, the mathematician and engineer Rudolf Ka...

Kalman filtering is introduced as a rational means for developing a monitoring strategy for concrete structures. The mathematics and utility of linear Kalman filters are presented briefly, and the use of linear filters is demonstrated for Fickian diffusion. The nonlinear extended Kalman filter is introduced and its utility in estimating a transport parameter is demonstrated. The concrete servic...

Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...

Formal code certification is a rigorous approach to demonstrate software quality. Its basicidea is to require that code producers provide formal certificates, or proofs, that their codesatisfies certain quality properties. In this paper, we focus on certifying software developed forstate estimation of dynamic systems, which is an important problem found in spacecraft, aircraft,g...

In the field of motion estimation for surveillance video, various techniques have been applied. One of the common approaches is Kalman filtering technique and it is interesting to explore the extension of this technique for the prediction and estimation of motion via the image sequences. In this paper, a moving object tracking in surveillance video using Kalman filter is proposed. The typical K...

The paper put forward using BP neural network and Kalman filter to signal processing of MEMS inertial sensors. This paper uses Kalman filter value for information fusion of gyroscope and accelerometer, and the attitude angle is accurate. The state and observation equation of attitude angle measuring system with characteristic of BP neural network, and the design of the Kalman filter is simple a...

A model based fault detection and diagnosis technique for DC motor is proposed in this paper. Fault detection using Kalman filter and its different variants are compared. Only incipient faults are considered for the study. The Kalman Filter iterations and all the related computations required for fault detection and fault confirmation are presented. A second order linear state space model of DC...

The Kalman Filter and its variants have been highly successful in numerous applications in technology. However, the Kalman filter is under heavy computational burden. When suffers from big data, it becomes pretty slow. On the other hand, the GPU, a processor unit with highly parallel structure, becomes more and more popular in generous purpose computing. This paper focuses on how to make Kalman...