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...

A solution to the state estimation problem of systems with unmeasurable non-zero mean inputs/disturbances, which do not satisfy the disturbance decoupling conditions, is given using the Kalman filtering and Bayesian estimation theory. The proposed estimation algorithm, named Supervisory Kalman Filter (SKF), consists of a Kalman filter with an extra update step which is inspired by the particle ...

an air filter is a significant element of any mechanical ventilation system. however, the importance and performance evaluation of air filters have not been well publicized and related scientific reports are scarce. in this study, a transportable, off-line, air filter-testing unit (the unit) was designed and utilized to simulate the filter housing of a mechanical ventilation system. the unit wa...

We consider non-linear state space models in high-dimensional situations, where the two common tools for state space models both have difficulties. The Kalman filter variants are seriously biased due to non-Gaussianity and the particle filter suffers from the “curse of dimensionality”. Inspired by a regression perspective on the Kalman filter, a novel approach is developed by combining the Kalm...

This paper presents a new robust fault and state estimation based on recursive least square filter for linear stochastic systems with unknown disturbances. The novel elements of the algorithm are : a simple, easily implementable, square root method which is shown to solve the numerical problems affecting the unknown input filter algorithm and related information filter and smoothing algorithms;...

This paper studies the effect of targeted observations on state and parameter estimates determined with Kalman filter data assimilation (DA) techniques. We first provide an analytical result demonstrating that targeting observations within the Kalman filter for a linear model can significantly reduce state estimation error as opposed to fixed or randomly located observations. We next conduct ob...

—The so-called constrained least mean-square algorithm is one of the most commonly used linear-equality-constrained adaptive filtering algorithms. Its main advantages are adaptability and relative simplicity. In order to gain analytical insights into the performance of this algorithm, we examine its mean-square performance and derive theoretical expressions for its transient and steady-state me...

In this paper, a mechanism is designed for integration of inertial navigation system information (INS) and global positioning system information (GPS). In this type of system a series of mathematical and filtering algorithms with Tightly Coupled techniques with several objectives such as application of integrated navigation algorithms, precise calculation of flying object position, speed and at...