Mathematics > Optimization and Control
[Submitted on 5 May 2015 (this version), latest version 12 Apr 2016 (v2)]
Title:A stochastic interpretation of set-membership filtering: application to polynomial systems through polytopic bounding
View PDFAbstract:Set-membership estimation is in general referred in literature as the deterministic approach to state estimation, since its solution can be formulated in the context of set-valued calculus and no stochastic calculations are necessary. This turns out not to be entirely true. In this paper, we show that set-membership estimation can be equivalently formulated in the stochastic setting by employing sets of probability measures. Inferences in set-membership estimation are thus carried out by computing expectations w.r.t. the updated set of probability measures P as in the stochastic case. In particular, we show that inferences can be computed by solving a particular semi-infinite linear programming problem, which is a special case of the truncated moment problem in which only the zero-th order moment is known (i.e., the support). By writing the dual of the above semi-infinite linear programming problem, we show that, if the nonlinearities in the measurement and process equations are polynomials and if the bounding sets for initial state, process and measurement noises are described by polynomial inequalities, then an approximation of this semi-infinite linear programming problem can efficiently be obtained by using the theory of sum-of-squares polynomial optimization. We then derive a smart greedy procedure to compute a polytopic outer-approximation of the true membership-set, by computing the minimum-volume polytope that outer-bounds the set that includes all the means computed w.r.t. P.
Submission history
From: Alessio Benavoli [view email][v1] Tue, 5 May 2015 15:13:28 UTC (2,360 KB)
[v2] Tue, 12 Apr 2016 10:49:23 UTC (2,367 KB)
Current browse context:
math.OC
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.