{"title":"A frequency domain approach to Kalman filtering on Hilbert spaces: Application to Sturm–Liouville systems with pointwise measurement","authors":"Anthony Hastir, Judicaël Mohet, Joseph J. Winkin","doi":"10.1016/j.arcontrol.2023.02.003","DOIUrl":null,"url":null,"abstract":"<div><p><span><span>The problem of optimal state estimation via deterministic Kalman filtering in the time and in the frequency domains is considered. The frequency domain method based on spectral factorization, which was developed previously for linear quadratic optimal control, is extended here to Kalman filtering. For a class of Riesz-spectral systems, it is shown that the spectral factorization problem can be solved by symmetric extraction of poles and zeros, which leads to a tractable computational method in order to calculate the optimal output injection in the </span>Kalman filter problem. Then the class of Sturm–Liouville operators is considered on the space of square integrable functions on a finite interval. According to the properties of such unbounded operators on that space, a set of interpolation Hilbert spaces is considered in a second time. Properties of Sturm–Liouville operators on these spaces are exhibited, together with properties of the </span><span><math><mrow><msub><mrow><mi>C</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>−</mo></mrow></math></span><span>semigroups that are generated by these operators. In addition, a characterization of approximate observability<span> by means of point measurement operators is established for such systems. For the aforementioned Sturm–Liouville systems with pointwise measurement, the assumptions needed for applying the symmetric extraction method are shown to be satisfied, which entails that these systems are well-adapted for Kalman filtering with a pointwise measurement observation operator which is bounded on a well-chosen Hilbert state space. The great advantage of considering a new state space is pushed forward by this optimal state estimation problem, which would not make sense in the space of square integrable functions, notably in terms of Riccati equation. The main results are applied to the Kalman filtering of a diffusion system with mixed boundary conditions and pointwise measurement.</span></span></p></div>","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":"55 ","pages":"Pages 379-389"},"PeriodicalIF":7.3000,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annual Reviews in Control","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1367578823000044","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 1
Abstract
The problem of optimal state estimation via deterministic Kalman filtering in the time and in the frequency domains is considered. The frequency domain method based on spectral factorization, which was developed previously for linear quadratic optimal control, is extended here to Kalman filtering. For a class of Riesz-spectral systems, it is shown that the spectral factorization problem can be solved by symmetric extraction of poles and zeros, which leads to a tractable computational method in order to calculate the optimal output injection in the Kalman filter problem. Then the class of Sturm–Liouville operators is considered on the space of square integrable functions on a finite interval. According to the properties of such unbounded operators on that space, a set of interpolation Hilbert spaces is considered in a second time. Properties of Sturm–Liouville operators on these spaces are exhibited, together with properties of the semigroups that are generated by these operators. In addition, a characterization of approximate observability by means of point measurement operators is established for such systems. For the aforementioned Sturm–Liouville systems with pointwise measurement, the assumptions needed for applying the symmetric extraction method are shown to be satisfied, which entails that these systems are well-adapted for Kalman filtering with a pointwise measurement observation operator which is bounded on a well-chosen Hilbert state space. The great advantage of considering a new state space is pushed forward by this optimal state estimation problem, which would not make sense in the space of square integrable functions, notably in terms of Riccati equation. The main results are applied to the Kalman filtering of a diffusion system with mixed boundary conditions and pointwise measurement.
期刊介绍:
The field of Control is changing very fast now with technology-driven “societal grand challenges” and with the deployment of new digital technologies. The aim of Annual Reviews in Control is to provide comprehensive and visionary views of the field of Control, by publishing the following types of review articles:
Survey Article: Review papers on main methodologies or technical advances adding considerable technical value to the state of the art. Note that papers which purely rely on mechanistic searches and lack comprehensive analysis providing a clear contribution to the field will be rejected.
Vision Article: Cutting-edge and emerging topics with visionary perspective on the future of the field or how it will bridge multiple disciplines, and
Tutorial research Article: Fundamental guides for future studies.