%0 Journal Article %T Brunovsky Decomposition for Dynamic Interval Localization %+ École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne) %+ Equipe ROBotics for EXploration (Lab-STICC_ROBEX) %A Rohou, Simon %A Jaulin, Luc %@ 0018-9286 %J IEEE Transactions on Automatic Control %I Institute of Electrical and Electronics Engineers %P 1-8 %8 2023 %D 2023 %R 10.1109/TAC.2023.3246943 %K Constraint theory %K Differential equations %K Linear systems %K Mathematical operators %K Mobile robots %K Numerical methods %K Reliability analysis %K Robot programming %Z Computer Science [cs]/Automatic Control EngineeringJournal articles %X This paper proposes a new set-membership method for estimating the trajectories of dynamical systems, when the states are completely unknown and only non-linear observations are available. The first part of the proposed method is symbolic and follows the decomposition of Brunovsky, , it decomposes the set of differential equations describing the dynamical system into two blocks of constraints: one block gathers non-linear 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, that 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. %G English %L hal-04060291 %U https://ensta-bretagne.hal.science/hal-04060291 %~ UNIV-BREST %~ INSTITUT-TELECOM %~ ENSTA-BRETAGNE %~ CNRS %~ UNIV-UBS %~ ENSTA-BRETAGNE-STIC %~ ENIB %~ LAB-STICC %~ INSTITUTS-TELECOM %~ LAB-STICC_ROBEX