Greedy Algorithms for Optimal Measurements Selection in State Estimation Using Reduced Models
Peter Binev, Albert Cohen, Olga Mula, James Nichols
Source abstract
We consider the problem of optimal recovery of an unknown function in a Hilbert space from measurements of the form , , where the are known linear functionals on . We are motivated by the setting where is a solution to a PDE with some unknown parameters, therefore lying on a certain manifold contained in . Following the approach adopted in [Maday, Patera, Penn and Yano, Int. J. Numer. Methods Engrg., 102 (2015), pp. 933--965, Binev, Cohen, Dahmen, DeVore, Petrova, and Wojtaszczyk, SIAM J. Uncertainty Quantification, 5 (2017), pp. 1--29], the prior on the unknown function can be described in terms of its approximability by finite-dimensional reduced model spaces where . Examples of such spaces include classical approximation spaces, e.g., finite elements or trigonometric polynomials, as well as reduced basis spaces which are designed to match the solution manifold more closely. The error bounds for optimal recovery under such priors are of the form , where is the accuracy of the reduced model and is the inverse of an inf-sup constant that describe the angle between and the space spanned by the Riesz representers of . This paper addresses the problem of properly selecting the measurement functionals, in order to control at best the stability constant , for a given reduced model space . Assuming that the can be picked from a given dictionary we introduce and analyze greedy algorithms that perform a suboptimal selection in reasonable computational time. We study the particular case of dictionaries that consist either of point value evaluations or local averages, as idealized models for sensors in physical systems. Our theoretical analysis and greedy algorithms may therefore be used in order to optimize the position of such sensors.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.