Set inversion via interval analysis for nonlinear bounded-error estimation
Automatica (Journal of IFAC) - Special section on fault detection, supervision and safety for technical processes
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
Technical Communique: Nonlinear bounded-error state estimation of continuous-time systems
Automatica (Journal of IFAC)
Brief paper: Rigorous parameter reconstruction for differential equations with noisy data
Automatica (Journal of IFAC)
Brief paper: Robust set-membership state estimation; application to underwater robotics
Automatica (Journal of IFAC)
A nonlinear set membership approach for the localization and map building of underwater robots
IEEE Transactions on Robotics
Reliable Robust Path Planning with Application to Mobile Robots
International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
Brief paper: Interval observer design for consistency checks of nonlinear continuous-time systems
Automatica (Journal of IFAC)
Including ordinary differential equations based constraints in the standard CP framework
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Computers and Electronics in Agriculture
Localization of an underwater robot using interval constraint propagation
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Brief paper: Set-membership state estimation with fleeting data
Automatica (Journal of IFAC)
Bounds on the reachable sets of nonlinear control systems
Automatica (Journal of IFAC)
Loop detection of mobile robots using interval analysis
Automatica (Journal of IFAC)
Hi-index | 22.16 |
This paper investigates the use of guaranteed methods to perform state and parameter estimation for nonlinear continuous-time systems, in a bounded-error context. A state estimator based on a prediction-correction approach is given, where the prediction step consists in a validated integration of an initial value problem for an ordinary differential equation (IVP for ODE) using interval analysis and high-order Taylor models, while the correction step uses a set inversion technique. The state estimator is extended to solve the parameter estimation problem. An illustrative example is presented for each part.