Brunovsky Decomposition for Dynamic Interval Localization

• 成果类型: Article
• 署名作者: Rohou, Simon; Jaulin, Luc
• 署名单位: Institut Polytechnique de Paris; ENSTA Paris; Universite de Bretagne Occidentale
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3246943
• 发表日期: 2023
• 页码: 6937-6943
• 关键词: Brunovsky; constraint programming; Differential equations; interval analysis; localization; nonlinear system.

摘要

This article proposes a new set-membership method for estimating the trajectories of dynamical systems, when the states are completely unknown and only nonlinear observations are available. The first part of the proposed method is symbolic and follows the decomposition of Brunovsky, i.e., it decomposes the set of differential equations describing the dynamical system into two blocks of constraints: one block gathers nonlinear analytical equations that do not involve differential operators, while the other block is composed of linear chains of integrators. The second part of the method, which relies on the symbolic decomposition, is numerical and based on a contractor approach. It involves a specific optimal operator for narrowing the sets of feasible solutions. This approach is shown to be efficient on a difficult problem of dynamic localization of a mobile robot, without any prior knowledge about its states.