Computers can help ensure that mathematical proofs are correct, but translating traditional maths into a machine-readable ...

In this article, a recursive set-membership filtering algorithm for discrete-time nonlinear dynamical systems subject to unknown but bounded process and measurement noises is proposed. The nonlinear ...